Abstract
The main objective of this paper is devoted to two main parts. First, the paper introduces logical interpretations of classical structures of opposition that are constructed as extensions of the square of opposition. Blanché’s hexagon as well as two cubes of opposition proposed by Morreti and pairs Keynes–Johnson will be introduced. The second part of this paper is dedicated to a graded extension of the Aristotle’s square and Peterson’s square of opposition with intermediate quantifiers. These quantifiers are linguistic expressions such as “most”, “many”, “a few”, and “almost all”, and they correspond to what are often called “fuzzy quantifiers” in the literature. The graded Peterson’s cube of opposition, which describes properties between two graded squares, will be discussed at the end of this paper.
Similar content being viewed by others
Notes
The quantifier “most” is understood in this paper as “close to all”. Another meaning considered in the literature is “simple most”, which is true if more than 50% of cases are positive. This meaning is standardly used in voting or elections.
Recall that, in general, a presupposition is a background belief or something that you assume to be true, in order to continue with what you are saying or thinking.
It is necessary that the universal quantifiers carry a presupposition of existential import for the entailments to their respective particular forms to hold.
Compare, e.g., somebody smoking 10 cigarettes per day with somebody who smokes 50 cigarettes per day.
It is necessary that the universal quantifiers carry a presupposition of existential import for the entailments to their respective particular forms to hold.
References
Ross, W.D.: Aristotle’s Prior and Posterior Analytics. Clarendom Press, Oxford (1949)
Miclet, L., Prade, H.: Analogical proportions and square of oppositions. In: Laurent, A. et al. (ed.) Proc. 15th Int. Conf. on Information Processing and Management of Uncertainty in Knowledge-Based Systems, July 15–19, Montpellier, CCIS, vol. 443, pp. 324–334 (2014)
Pellissier, R.: “setting” n-opposition. Log. Univ. 2, 235–263 (2008)
Afshar, M., Dartnell, Ch., Luzeaux, D., Sallantin, J., Tognetti, Y.: Aristotle’s square revisited to frame discovery science. J. Comput. 2, 54–66 (2007)
Brown, M.: Generalized quantifiers and the square of opposition. Notre Dame J. Form. Log. 25, 303–322 (1984)
Parsons, T.: Things that are right with the traditional square of opposition. Log. Univ. 2, 3–11 (2008)
Peterson, P.L.: Intermediate Quantifiers. Logic, Linguistics, and Aristotelian Semantics. Ashgate, Aldershot (2000)
Jacoby, P.: A triangle of opposites for types of propositions in Aristotelian logic. New Scholast. XXIV(1), 32–56 (1950)
Béziau, J.Y., Gan-Krzywoszyńska, K.: Handbook of Abstracts of the 2nd World Congress on the Square of Opposition, Corte, Corsica, June 17–20 (2010)
Béziau, J.Y., Gan-Krzywoszyńska, K.: Handbook of Abstracts of the 3rd World Congress on the Square of Opposition, Beirut, Lebanon, June 26–30 (2010)
Béziau, J.Y., Gan-Krzywoszyńska, K.: Handbook of Abstracts of the 4th World Congress on the Square of Opposition, Roma, Vatican, May 5–9, pp. 26–30 (2014)
Moretti, A.: The Geometry of Opposition. Ph.D. Thesis, University of Neuchâtel, Neuchâtel (2009)
Moretti, A.: Geometry for modalities? Yes: through n-opposition theory? In: Beziau, J.-Y., Costa Leite, A., Facchini, A. (eds.) Aspects of Universal Logic, pp. 102–145 (2004)
Dubois, D., Prade, H., Rico, A.: Structures of opposition and comparisons: Boolean and gradual cases. Log. Univ. (2020). https://doi.org/10.1007/s11787-020-00241-6
Moyse, G., Lesot, M., Bouchon-Meunier, B.: Oppositions in fuzzy linguistic summaries. In: FUZZ-IEEE15—IEEE International Conference on Fuzzy Systems, Turkey, pp. 1–8 (2015)
Dubois, D., Prade, H.: From blanche’s hexagonal organization of concepts to formal concepts analysis and possibility theory. Log. Univ. 6, 149–169 (2012)
Dubois, D., Prade, H.: Gradual structures of oppositions. In: Esteva, F., Magdalena, L., Verdegay, J.L.: (eds.) Enric Trillas: Passion for Fuzzy Sets, Studies in Fuzziness and Soft Computing, vol. 322, pp. 79–91 (2015)
Dubois, D., Prade, H., Rico, A.: Graded cubes of opposition and possibility theory with fuzzy events. Int. J. Approx. Reason. 84, 168–185 (2017)
Ciucci, D., Dubois, D., Prade, H.: Oppositions in rough set theory. In: Li, T., Nguyen, H.S., Wang, G., Grzymala-Busse, J.W., Janicki, R., Hassanien, A.E., Yu, H. (eds.) Proceedings of 7th International Conference on Rough Sets and Knowledge Technology (RSKT12), Chengdu, Aug. 17–20, LNCS, vol. 7414, pp. 504–513 (2012)
Ciucci, D., Dubois, D., Prade, H.: The structure of oppositions in rough set theory and formal concept analysis—toward a new bridge between the two settings. In: Beierle, C., Meghini, C. (eds.) Proceedings of 8th Interantional Symposium on Foundations of Information and Knowledge Systems (FoIKS14), Bordeaux, Mar. 3–7, LNCS, vol. 8367, pp. 154–173 (2014)
Thompson, B.E.: Syllogisms using “few”,“many” and “most”. Notre Dame J. Form. Log. 23, 75–84 (1982)
Peterson, P.: On the logic of “few”, “many” and “most”. Notre Dame J. Form. Log. 20, 155–179 (1979)
Novák, V.: A formal theory of intermediate quantifiers. Fuzzy Sets Syst. 159(10), 1229–1246 (2008)
Murinová, P., Novák, V.: A formal theory of generalized intermediate syllogisms. Fuzzy Sets Syst. 186, 47–80 (2013)
Murinová, P., Novák, V.: Analysis of generalized square of opposition with intermediate quantifiers. Fuzzy Sets Syst. 242, 89–113 (2014)
Murinová, P., Novák, V.: The theory of intermediate quantifiers in fuzzy natural logic revisited and the model of “many”. Fuzzy Sets Syst. 388, 56–89 (2020)
Murinová, P., Novák, V.: Graded generalized hexagon in fuzzy natural logic. Inf. Process. Manag. Uncertain. Knowl.-Based Syst. 611, 36–47 (2016)
Murinová, P.: Generalized intermediate syllogisms with more premises. In: Proceedings of FUZZ-IEEE 2019, New Orleands, USA (2019)
Abusch, D., Rooth, M.: Empty-domain efects for presuppositional and nonpresuppositional determiners. In: Kamp, H., Partee, B. (eds.) Context Dependency in the Analysis of Linguistic Meaning, p. 7. Elsevier, Amsterdam (2004)
Beaver, D.: Presupposition. In: van Benthem, J., ter Meulen, A. (eds.) The Handbook of Logic and Language, pp. 939–1008. Elsevier, Amsterdam (2004)
Horn, L.R.: All john’s children are as bald as the king of France: existential import and the geometry of opposition. In: CLS 33: the main Session, pp. 155–179. Chicago Linguistic Society, Chicago (1997)
Peters, S., Westerståhl, D.: Quantifiers in Language and Logic. Claredon Press, Oxford (2006)
Westerståhl, D.: The traditional square of opposition and generalized quantifiers. Stud. Logic 2, 1–18 (2008)
Peterson, P.: On the logic of “few”,“many” and “most”. Notre Dame J. Form. Log. 20, 155–179 (1979)
Béziau, J.Y.: New light on the square of oppositions and its nameless corner. Log. Investig. 10, 218–233 (2003)
Béziau, J.Y.: The power of the hexagon. Log. Univ. 6(1–2), 1–43 (2012)
Blanché, R.: Quantitiy, modality, and other kindred systems of categories. Mind LXI 243, 369–375 (1952)
Blanché, R.: Sur l’oppostion des concepts. Theoria 19, 89–130 (1953)
Smesaert, H.: The classical aristotelian hexagon versus the modern duality hexagon. Log. Univ. 6, 171–199 (2012)
Dubois, D., Prade, H.: From blanchés hexagonal organization of concepts to formal concept analysis and possibility theory. Log. Univ. 6, 149–169 (2012)
Moretti, A.: The geometry of logical oppositions and the opposition of logic to it. In: Bianchi, I., Savaradi, U. (eds.) The Perception and Cognition of Contraries, pp. 20–60 (2009)
Pellissier, R.: Setting n-opposition. Log. Univ. 2(2), 235–263 (2008)
Smessaert, H.: On the 3D-visualisationof logical relations. Log. Univ. 3(2), 303–332 (2009)
Béziau, J.Y.: There is no cube of opposition. In: Beziau, J.-Y., Basti, G. (eds.) The Square of Oppositions: A Cornerstone of Thought, Studies in Universal Logic, pp. 179–193 (2017)
Keynes, J.N.: Studies and Exercises in Formal Logic, Part II, 3rd edn, p. 144. MacMilan, New York (1894)
Ciucci, D., Dubois, D., Prade, H.: Structures of opposition induced by relations: the Boolean and the gradual cases. Ann. Math. Artif. Intell. (2016). https://doi.org/10.1007/s10472-015-9480-8
Novák, V.: A comprehensive theory of trichotomous evaluative linguistic expressions. Fuzzy Sets Syst. 159(22), 2939–2969 (2008)
Novák, V.: Evaluative linguistic expressions vs. fuzzy categories? Fuzzy Sets Syst. 281, 81–87 (2015)
Novák, V.: Fuzzy natural logic: towards mathematical logic of human reasoning. In: Seising, R., Trillas, E., Kacprzyk, J. (eds.) Fuzzy Logic: Towards the Future, pp. 137–165. Springer, Berlin (2015)
Novák, V.: On fuzzy type theory. Fuzzy Sets Syst. 149, 235–273 (2005)
Cignoli, R.L.O., D’Ottaviano, I.M.L., Mundici, D.: Algebraic Foundations of Many-valued Reasoning. Kluwer, Dordrecht (2000)
Novák, V., Perfilieva, I., Močkoř, J.: Mathematical Principles of Fuzzy Logic. Kluwer, Boston (1999)
Andrews, P.: An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof. Kluwer, Dordrecht (2002)
Novák, V., Perfilieva, I., Dvořák, A.: Insight into Fuzzy Modeling. Wiley, Hoboken (2016)
Novák, V., Murinová, P.: A formal model of the intermediate quantifiers “a few”, “several” and “a little”. In: Proceedings of IFSA-NAFIPS 2019, Lafayette, USA (2019)
Murinová, P., Burda, M., Pavliska, V.: Undefined values in fuzzy logic. In: Advances in Fuzzy Logic and Technology, pp. 604–610 (2017)
Murinová, P., Burda, M., Pavliska, V.: An algorithm for intermediate quantifiers and the graded square of opposition towards linguistic description of data. In: Advances in Fuzzy Logic and Technology, pp. 592–603 (2017)
Acknowledgements
The paper has been supported from the project “LQ1602 IT4Innovations excellence in science”. The paper relates to the project COST CA17124 Methods of fuzzy modeling in the analysis of forensic digital data (10/2018-12/2020).
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
The work was supported by the MŠMT project NPU II project LQ1602 “IT4Innovations excellence in science”.
Rights and permissions
About this article
Cite this article
Murinová, P. Graded Structures of Opposition in Fuzzy Natural Logic. Log. Univers. 14, 495–522 (2020). https://doi.org/10.1007/s11787-020-00265-y
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11787-020-00265-y