Paracomplete Probabilities
Logic
2025-07-08 v1
Abstract
This paper presents an advance in the direction of working with probabilities in a paracomplete setting using Logics of Formal Undeterminedness (LFUs). The undeterminedness is interpreted here as missing evidence. A theorem of total paracomplete probability and a paracomplete Bayes' rule have been proved using this setup. We end with a definition of a paracomplete probability space illustrating a way to define probabilities on sets in the presence of undeterminedness.
Keywords
Cite
@article{arxiv.2507.04312,
title = {Paracomplete Probabilities},
author = {Sankha S. Basu and Esha Jain},
journal= {arXiv preprint arXiv:2507.04312},
year = {2025}
}
Comments
18 pages. The final version of this article has been submitted for publication