Journal of Philosophical Logic 28 (3):223-234 (1999)
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
|Keywords||intuitionistic logic probability functions probability semantics|
|Categories||categorize this paper)|
References found in this work BETA
Conditionals, Probability, and Non-Triviality.Charles G. Morgan & Edwin D. Mares - 1995 - Journal of Philosophical Logic 24 (5):455-467.
Probabilistic Semantics for Intuitionistic Logic.C. G. Morgan & H. Leblanc - 1983 - Notre Dame Journal of Formal Logic 24 (2):161-180.
Citations of this work BETA
No citations found.
Similar books and articles
Second Order Propositional Operators Over Cantor Space.Tomasz Połacik - 1994 - Studia Logica 53 (1):93 - 105.
On the Complexity of Propositional Quantification in Intuitionistic Logic.Philip Kremer - 1997 - Journal of Symbolic Logic 62 (2):529-544.
Irreflexive Modality in the Intuitionistic Propositional Logic and Novikov Completeness.A. D. Yashin - 1999 - Journal of Philosophical Logic 28 (2):175-197.
The Logic of Bunched Implications.Peter W. O'Hearn & David J. Pym - 1999 - Bulletin of Symbolic Logic 5 (2):215-244.
Probability Functions: The Matter of Their Recursive Definability.Hugues Leblanc & Peter Roeper - 1992 - Philosophy of Science 59 (3):372-388.
Minimal Realizability of Intuitionistic Arithmetic and Elementary Analysis.Zlatan Damnjanovic - 1995 - Journal of Symbolic Logic 60 (4):1208-1241.
On Relativizing Kolmogorov's Absolute Probability Functions.Hugues Leblanc & Peter Roeper - 1989 - Notre Dame Journal of Formal Logic 30 (4):485-512.
A Syntactic Embedding of Predicate Logic Into Second-Order Propositional Logic.Morten H. Sørensen & Paweł Urzyczyn - 2010 - Notre Dame Journal of Formal Logic 51 (4):457-473.
Added to index2009-01-28
Total downloads26 ( #193,967 of 2,158,278 )
Recent downloads (6 months)1 ( #355,837 of 2,158,278 )
How can I increase my downloads?