Abstract
Provided here is a characterisation of absolute probability functions for intuitionistic (propositional) logic L, i.e. a set of constraints on the unary functions P from the statements of L to the reals, which insures that (i) if a statement A of L is provable in L, then P(A) = 1 for every P, L's axiomatisation being thus sound in the probabilistic sense, and (ii) if P(A) = 1 for every P, then A is provable in L, L's axiomatisation being thus complete in the probabilistic sense. As there are theorems of classical (propositional) logic that are not intuitionistic ones, there are unary probability functions for intuitionistic logic that are not classical ones. Provided here because of this is a means of singling out the classical probability functions from among the intuitionistic ones.
Similar content being viewed by others
REFERENCES
Miller, D. and Popper, K. (1986), “Deductive Dependence”, Actes IV Congrés Català de Lògica, Universitat Politècnica de Catalunya & Universitat de Barcelona, 21–29.
Morgan, C. G. and Leblanc, H. (1983), “Probabilistic Semantics for Intuitionistic Logic”, Notre Dame Journal of Formal Logic 24, 161–180.
Morgan, C. G. and Mares, E. D. (1995), “Conditionals, Probability, and Non-Triviality”, Journal of Philosophical Logic 24, 455–467.
Rasiowa, H. and Sikorski, R. (1970), The Mathematics of Metamathematics, PWN–Polish Scientific Publishers, Warszawa.
van Fraassen, B. C. (1981 I), “Probabilistic Semantics Objectified: I. Postulates and Logics”, Journal of Philosophical Logic 10, 495–510.
van Fraassen, B. C. (1981 II), “Probabilistic Semantics Objectified: II. Implication in Probabilistic Model Sets”, Journal of Philosophical Logic 10, 371–394.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Roeper, P., Leblanc, H. Absolute Probability Functions for Intuitionistic Propositional Logic. Journal of Philosophical Logic 28, 223–234 (1999). https://doi.org/10.1023/A:1004385411641
Issue Date:
DOI: https://doi.org/10.1023/A:1004385411641