Analysis of generalized square of opposition with intermediate quantifiers

Abstract In this paper, we continue the development of a formal theory of intermediate quantifiers. These quantifiers are linguistic expressions such as “most”, “many”, “few”, and “almost all”, and they correspond to what are often called “fuzzy quantifiers” in the literature. In a previous study, we demonstrated that 105 generalized syllogisms with intermediate quantifiers are valid in our theory. In this paper, we turn our attention to another problem, which is the analysis of the generalized Aristotelian square of opposition, which, in addition to the classical quantifiers, can be extended by several selected intermediate quantifiers. We show that the expected relations can be well modeled in our theory. Our theory is developed within a special higher-order fuzzy logic, Łukasiewicz fuzzy type theory, and is very general, with a high potential for applications.

[1]  Philip L. Peterson,et al.  On the logic of "few", "many", and "most" , 1979, Notre Dame J. Formal Log..

[2]  Peter B. Andrews.  An introduction to mathematical logic and type theory - to truth through proof , 1986, Computer science and applied mathematics.

[3]  Vilém Novák,et al.  EQ-algebra-based fuzzy type theory and its extensions , 2011, Log. J. IGPL.

[4]  D. D'Alfonso.  The Square of Opposition and Generalized Quantifiers , 2012 .

[5]  D. Mundici,et al.  Algebraic Foundations of Many-Valued Reasoning , 1999 .

[6]  Vilém Novák,et al.  On fuzzy type theory , 2005, Fuzzy Sets Syst..

[7]  Vilém Novák,et al.  A comprehensive theory of trichotomous evaluative linguistic expressions , 2008, Fuzzy Sets Syst..

[8]  V. Novák,et al.  Mathematical Principles of Fuzzy Logic , 1999 .

[9]  Vilém Novák,et al.  A formal theory of intermediate quantifiers , 2008, Fuzzy Sets Syst..

[10]  Jean Sallantin,et al.  Aristotle's Square Revisited to Frame Discovery Science , 2007, J. Comput..

[11]  Vilém Novák,et al.  A formal theory of generalized intermediate syllogisms , 2012, Fuzzy Sets Syst..

[12]  Bruce E. R. Thompson.  Syllogisms using "few", "many", and "most" , 1982, Notre Dame J. Formal Log..

[13]  P. L. Peterson.  Intermediate Quantities , 2020 .

[14]  Mark A. Brown.  Generalized quantifiers and the square of opposition , 1984, Notre Dame J. Formal Log..

[15]  Terence Parsons,et al.  Things That are Right with the Traditional Square of Opposition , 2008, Logica Universalis.

[16]  George Lakoff,et al.  Hedges: A Study In Meaning Criteria And The Logic Of Fuzzy Concepts , 1973 .

[17]  Petr Hájek,et al.  Metamathematics of Fuzzy Logic , 1998, Trends in Logic.