Intuitive Probability Logic

In literature, different deductive systems are developed for probability logics. But, for formulas, they provide essentially equivalent definitions of consistency. In this paper, we present a guided maximally consistent extension theorem which says that any probability assignment to formulas in a finite local language satisfying some constraints specified by probability formulas is consistent in probability logics, and hence connects this intuitive reasoning with formal reasoning about probabilities. Moreover, we employ this theorem to show two interesting results: - The satisfiability of a probability formula is equivalent to the solvability of the corresponding system of linear inequalities through a natural translation based on atoms, not on Hintikka sets; - the Countably Additivity Rule in Goldblatt [6] is necessary for his deductive construction of final coalgebras for functors on Meas, the category of measurable spaces.

[1]  Ronald Fagin,et al.  A logic for reasoning about probabilities , 1988, [1988] Proceedings. Third Annual Information Symposium on Logic in Computer Science.

[2]  Lawrence S. Moss,et al.  Final coalgebras for functors on measurable spaces , 2006, Inf. Comput..

[3]  A. Heifetz,et al.  Topology-Free Typology of Beliefs , 1998 .

[4]  Martin Meier,et al.  An infinitary probability logic for type spaces , 2012 .

[5]  Robert Goldblatt,et al.  Deduction Systems for Coalgebras Over Measurable Spaces , 2010, J. Log. Comput..

[6]  Robert J. Aumann,et al.  Interactive epistemology I: Knowledge , 1999, Int. J. Game Theory.

[7]  Ernst-Erich Doberkat.  Stochastic Coalgebraic Logic , 2009, Monographs in Theoretical Computer Science. An EATCS Series.

[8]  Dov Samet,et al.  Coherent beliefs are not always types , 1999 .

[9]  Chunlai Zhou,et al.  Probability Logic of Finitely Additive Beliefs , 2010, J. Log. Lang. Inf..

[10]  Aviad Heifetz,et al.  Probability Logic for Type Spaces , 2001, Games Econ. Behav..

[11]  Chunlai Zhou,et al.  A Complete Deductive System for Probability Logic , 2009, J. Log. Comput..

[12]  Robert J. Aumann,et al.  Interactive epistemology II: Probability , 1999, Int. J. Game Theory.

[13]  Ronald Fagin,et al.  Reasoning about knowledge and probability , 1988, JACM.