On a Combination of Truth and Probability: Probabilistic Independence-Friendly Logic

I present a probabilistic interpretation of Independence-Friendly Logic. IF logic, its model-theoretical properties, its significance for the foundations of mathematics, and its applications to the analysis of natural language phenomena have been extensively studied. Recently, a probabilistic semantics for indeterminate IF sentences has emerged. I offer here a systematic comparison of probabilistic IF logic with other probabilistic semantics.

[1]  H. Gaifman.  Concerning measures in first order calculi , 1964 .

[2]  J. Neumann.  Zur Theorie der Gesellschaftsspiele , 1928 .

[3]  Merlijn Sevenster,et al.  Independence-Friendly Logic - a Game-Theoretic Approach , 2011, London Mathematical Society lecture note series.

[4]  A. Kolmogoroff.  Grundbegriffe der Wahrscheinlichkeitsrechnung , 1933 .

[5]  Fahiem Bacchus,et al.  Lp, a logic for representing and reasoning with statistical knowledge , 1990, Comput. Intell..

[6]  Jaakko Hintikka,et al.  Quantifiers vs. Quantification Theory , 1973 .

[7]  David Lewis.  Convention: A Philosophical Study , 1986 .

[8]  Merlijn Sevenster,et al.  Branches of imperfect information : logic, games, and computation , 2002 .

[9]  Karl R. Popper,et al.  Two Autonomous Axiom Systems for the Calculus of Probabilities , 1955 .

[10]  Merlijn Sevenster,et al.  Equilibrium semantics of languages of imperfect information , 2010, Ann. Pure Appl. Log..

[11]  Wilfrid Hodges,et al.  Compositional Semantics for a Language of Imperfect Information , 1997, Log. J. IGPL.

[12]  J. Hintikka.  The Principles of Mathematics Revisited: Introduction , 1996 .

[13]  Andreas Blass,et al.  Henkin quantifiers and complete problems , 1986, Ann. Pure Appl. Log..

[14]  Gabriel Sandu,et al.  Independendly‐Friendly Logic: Dependence and Independence of Quantifiers in Logic , 2012 .

[15]  Gabriel Sandu,et al.  Languages for Imperfect Information , 2015, Models of Strategic Reasoning.

[17]  Joseph Y. Halpern.  An Analysis of First-Order Logics of Probability , 1989, IJCAI.

[18]  H. Leblanc.  POPPER'S 1955 AXIOMATIZATION OF ABSOLUTE PROBABILITY , 1982 .

[19]  Gabriel Sandu,et al.  Signalling in independence-friendly logic , 2014, Log. J. IGPL.

[20]  J. Hintikka,et al.  Game-Theoretical Semantics , 1997 .

[21]  J. Hintikka,et al.  Informational Independence as a Semantical Phenomenon , 1989 .