Probabilistic squares and hexagons of opposition under coherence

Various semantics for studying the square of opposition and the hexagon of opposition have been proposed recently. We interpret sentences by imprecise (set-valued) probability assessments on a finite sequence of conditional events. We introduce the acceptability of a sentence within coherence-based probability theory. We analyze the relations of the square and of the hexagon in terms of acceptability. Then, we show how to construct probabilistic versions of the square and of the hexagon of opposition by forming suitable tripartitions of the set of all coherent assessments on a finite sequence of conditional events. Finally, as an application, we present new versions of the square and of the hexagon involving generalized quantifiers.

[1]  Niki Pfeifer.  Contemporary syllogistics: Comparative and quantitative syllogisms , 2006 .

[2]  Niki Pfeifer,et al.  Experiments on Aristotle’s Thesis: Towards an Experimental Philosophy of Conditionals , 2012 .

[3]  Angelo Gilio,et al.  Coherent Conditional Previsions and Proper Scoring Rules , 2012, IPMU.

[4]  A. Cohen.  Generics, Frequency Adverbs, and Probability , 1999 .

[5]  Didier Dubois,et al.  Organizing Families of Aggregation Operators into a Cube of Opposition , 2017, Granular, Soft and Fuzzy Approaches for Intelligent Systems.

[6]  Angelo Gilio,et al.  Probabilistic Reasoning Under Coherence in System P , 2002, Annals of Mathematics and Artificial Intelligence.

[7]  Jean-Yves Béziau,et al.  The Power of the Hexagon , 2012, Logica Universalis.

[8]  Angelo Gilio,et al.  Conjunction and Disjunction Among Conditional Events , 2017, IEA/AIE.

[9]  Angelo Gilio,et al.  Conditional Random Quantities and Compounds of Conditionals , 2013, Studia Logica.

[10]  Angelo Gilio,et al.  Totally coherent set-valued probability assessments , 1998, Kybernetika.

[11]  Angelo Gilio.  Precise Propagation of Upper and Lower Probability Bounds in System P , 2000 .

[12]  P. Jacoby.  A Triangle of Opposites for Types of Propositions in Aristotelian Logic , 1950 .

[13]  Giuseppe Sanfilippo,et al.  Square of Opposition Under Coherence , 2016, SMPS.

[14]  Angelo Gilio,et al.  A generalization of the fundamental theorem of de Finetti for imprecise conditional probability assessments , 2000, Int. J. Approx. Reason..

[15]  Frank Lad,et al.  Extropy: a complementary dual of entropy , 2011, ArXiv.

[16]  Niki Pfeifer,et al.  Coherence and Nonmonotonicity in Human Reasoning , 2005, Synthese.

[17]  Romano Scozzafava,et al.  Characterization of coherent Conditional Probabilities as a Tool for their Assessment and Extension , 1996, Int. J. Uncertain. Fuzziness Knowl. Based Syst..

[18]  Niki Pfeifer,et al.  Conditionals, Counterfactuals, and Rational Reasoning: An Experimental Study on Basic Principles , 2017, Minds and Machines.

[19]  Robert Blanché,et al.  Structures Intellectuelles : essai sur l'organisation systématique des concepts , 1981 .

[20]  Angelo Gilio,et al.  Some Theoretical Properties of Interval-Valued Conditional Probability Assessments , 2005, ISIPTA.

[21]  G. Kleiter,et al.  Towards a mental probability logic , 2005 .

[22]  Giulianella Coletti,et al.  Possibilistic and Probabilistic Logic under Coherence: Default Reasoning and System P , 2015 .

[23]  Giulianella Coletti,et al.  Possibilistic and probabilistic likelihood functions and their extensions: Common features and specific characteristics , 2014, Fuzzy Sets Syst..

[24]  Angelo Gilio,et al.  Generalized Probabilistic Modus Ponens , 2017, ECSQARU.

[25]  Angelo Gilio,et al.  Quasi conjunction, quasi disjunction, t-norms and t-conorms: Probabilistic aspects , 2013, Inf. Sci..

[26]  Hans Smessaert,et al.  Jean-Yves Béziau and Gillman Payette (eds.), The Square of Opposition: A General Framework for Cognition. Bern, Peter Lang, 2012. Jean-Yves Béziau and Dale Jacquette (eds.), Around and Beyond the Square of Opposition. Basel, Birkhäuser (Springer), 2012 (joint review) , 2013 .

[27]  Didier Dubois,et al.  Structures of opposition induced by relations , 2015, Annals of Mathematics and Artificial Intelligence.

[28]  Osvaldo Gervasi,et al.  Generalized Bayesian inference in a fuzzy context: From theory to a virtual reality application , 2012, Comput. Stat. Data Anal..

[29]  Angelo Gilio,et al.  Centering and Compound Conditionals Under Coherence , 2016, SMPS.

[30]  Angelo Gilio,et al.  Transitive Reasoning with Imprecise Probabilities , 2015, ECSQARU.

[31]  Pieter A. M. Seuren,et al.  The Square of Opposition in Catholic hands: a chapter in the history of 20th-century logic , 2016 .

[32]  A. Cohen,et al.  Generics as Modals , 2012 .

[33]  R. Scozzafava,et al.  Probabilistic Logic in a Coherent Setting , 2002 .

[34]  Barbara Vantaggi,et al.  Envelopes of conditional probabilities extending a strategy and a prior probability , 2016, Int. J. Approx. Reason..

[35]  Vilém Novák,et al.  Analysis of generalized square of opposition with intermediate quantifiers , 2014, Fuzzy Sets Syst..

[36]  Matthias C. M. Troffaes,et al.  Introduction to imprecise probabilities , 2014 .

[37]  P. Walley.  Statistical Reasoning with Imprecise Probabilities , 1990 .

[38]  Hiroshi Yama,et al.  Counterfactuals, indicative conditionals, and negation under uncertainty: Are there cross-cultural differences? , 2017, CogSci.

[39]  Niki Pfeifer,et al.  Framing human inference by coherence based probability logic , 2009, J. Appl. Log..

[40]  Angelo Gilio,et al.  Probabilistic Consistency of Conditional Probability Bounds , 1994, IPMU.

[41]  Vilém Novák,et al.  Graded Generalized Hexagon in Fuzzy Natural Logic , 2016, IPMU.

[42]  F. Lad,et al.  Reassessing Accuracy Rates of Median Decisions , 2007, 1709.05637.

[43]  F. Lad.  Operational Subjective Statistical Methods: A Mathematical, Philosophical, and Historical Introduction , 1996 .

[44]  Angelo Gilio,et al.  Coherent conditional probabilities and proper scoring rules , 2011 .

[45]  Patrizia Berti,et al.  On Coherent Conditional Probabilities and Disintegrations , 2002, Annals of Mathematics and Artificial Intelligence.

[46]  Vilém Novák,et al.  Syllogisms and 5-Square of Opposition with Intermediate Quantifiers in Fuzzy Natural Logic , 2016, Logica Universalis.

[47]  Angelo Gilio,et al.  Probabilistic entailment in the setting of coherence: The role of quasi conjunction and inclusion relation , 2013, Int. J. Approx. Reason..

[48]  Renato Pelessoni,et al.  2-Coherent and 2-convex conditional lower previsions , 2016, Int. J. Approx. Reason..

[49]  Frank Lad,et al.  Completing the logarithmic scoring rule for assessing probability distributions , 2012 .

[50]  Thomas Lukasiewicz,et al.  Probabilistic logic under coherence: complexity and algorithms , 2005, Annals of Mathematics and Artificial Intelligence.

[51]  B. M. Hill,et al.  Theory of Probability , 1990 .

[52]  Enrique Miranda,et al.  A survey of the theory of coherent lower previsions , 2008, Int. J. Approx. Reason..

[53]  Stephen Read,et al.  Square of Opposition: A Diagram and a Theory in Historical Perspective , 2014 .

[54]  Niki Pfeifer,et al.  Reasoning About Uncertain Conditionals , 2014, Stud Logica.

[55]  Niki Pfeifer,et al.  The new psychology of reasoning: A mental probability logical perspective , 2013 .

[56]  N. Chater,et al.  Précis of Bayesian Rationality: The Probabilistic Approach to Human Reasoning , 2009, Behavioral and Brain Sciences.

[57]  Didier Dubois,et al.  Gradual Structures of Oppositions , 2015, A Passion for Fuzzy Sets.

[58]  Claude Chabrol,et al.  Structures intellectuelles , 1967 .

[59]  Eugenio Regazzini,et al.  Finitely additive conditional probabilities , 1985 .

[60]  Angelo Gilio.  Algorithms for precise and imprecise conditional probability assessments , 1995 .

[61]  Didier Dubois,et al.  From Blanché’s Hexagonal Organization of Concepts to Formal Concept Analysis and Possibility Theory , 2012, Logica Universalis.

[62]  P. Walley,et al.  Direct algorithms for checking consistency and making inferences from conditional probability assessments , 2004 .

[63]  Angelo Gilio,et al.  Transitivity in coherence-based probability logic , 2016, J. Appl. Log..

[64]  D. Westerståhl.  The traditional square of opposition and generalized quantifiers ∗ , 2008 .

[65]  Andrea Capotorti,et al.  Standard and nonstandard representability of positive uncertainty orderings , 2014, Kybernetika.

[66]  Giulianella Coletti,et al.  Fuzzy memberships as likelihood functions in a possibilistic framework , 2017, Int. J. Approx. Reason..

[67]  Robert Blanché,et al.  QUANTITY, MODALITY, AND OTHER KINDRED SYSTEMS OF CATEGORIES , 1952 .