Advertisement

Béziau’s Contributions to the Logical Geometry of Modalities and Quantifiers

  • Hans Smessaert
  • Lorenz Demey
Part of the Studies in Universal Logic book series (SUL)

Abstract

The aim of this paper is to discuss and extend some of Béziau’s (published and unpublished) results on the logical geometry of the modal logic S5 and the subjective quantifiers many and few. After reviewing some of the basic notions of logical geometry, we discuss Béziau’s work on visualising the Aristotelian relations in S5 by means of two- and three-dimensional diagrams, such as hexagons and a stellar rhombic dodecahedron. We then argue that Béziau’s analysis is incomplete, and show that it can be completed by considering another three-dimensional Aristotelian diagram, viz. a rhombic dodecahedron. Next, we discuss Béziau’s proposal to transpose his results on the logical geometry of the modal logic S5 to that of the subjective quantifiers many and few. Finally, we propose an alternative analysis of many and few, and compare it with that of Béziau’s. While the two analyses seem to fare equally well from a strictly logical perspective, we argue that the new analysis is more in line with certain linguistic desiderata.

Keywords

Logical geometry Modal logic S5 Subjective quantifiers Many/few Aristotelian diagram Stellated rhombic dodecahedron Cuboctahedron Rhombic dodecahedron 

Mathematics Subject Classification (2000)

03B45 03B65 52B10 03C80 52B05 52B15 68T30 

Notes

Acknowledgement

We thank Dany Jaspers, Alessio Moretti, Fabien Schang and Margaux Smets for their comments on earlier versions of this paper. The second author gratefully acknowledges financial support from the Research Foundation—Flanders (FWO).

References

  1. 1.
    Béziau, J.-Y.: New light on the square of oppositions and its nameless corner. Log. Invest. 10, 218–232 (2003) Google Scholar
  2. 2.
    Béziau, J.-Y.: Paraconsistent logic from a modal viewpoint. J. Appl. Log. 3, 7–14 (2005) MathSciNetCrossRefMATHGoogle Scholar
  3. 3.
    Béziau, J.-Y.: Some—geometrical representations of the quantifiers. Talk presented at Logic Now and Then (Brussels) (2008) Google Scholar
  4. 4.
    Béziau, J.-Y.: The power of the hexagon. Log. Univers. 6, 1–43 (2012) MathSciNetCrossRefMATHGoogle Scholar
  5. 5.
    Béziau, J.-Y.: The new rising of the square of opposition. In: Béziau, J.-Y., Jacquette, D. (eds.) Around and Beyond the Square of Opposition, pp. 6–23. Springer/Birkhäuser, Berlin (2012) CrossRefGoogle Scholar
  6. 6.
    Béziau, J.-Y.: The metalogical hexagon of opposition. Log. Invest. 10, 111–122 (2013) Google Scholar
  7. 7.
    Blanché, R.: Quantity, modality, and other kindred systems of categories. Mind 61, 369–375 (1952) CrossRefGoogle Scholar
  8. 8.
    Blanché, R.: Structures Intellectuelles. Essai sur l’Organisation Systématique des Concepts. Vrin, Paris (1969) Google Scholar
  9. 9.
    Coxeter, H.: Regular Polytopes. Courier Dover, New York (1973) Google Scholar
  10. 10.
    Demey, L.: Structures of oppositions for public announcement logic. In: Béziau, J.-Y., Jacquette, D. (eds.) Around and Beyond the Square of Opposition, pp. 313–339. Springer/Birkhäuser, Berlin (2012) CrossRefGoogle Scholar
  11. 11.
    Demey, L.: Believing in logic and philosophy. PhD thesis, KU Leuven (2014) Google Scholar
  12. 12.
    Demey, L., Smessaert, H.: The relationship between Aristotelian and Hasse diagrams. In: Dwyer, T., Purchase, H., Delaney, A. (eds.) Diagrammatic Representation and Inference. Lecture Notes in Computer Science, vol. 8578, pp. 213–227. Springer, Berlin (2014) CrossRefGoogle Scholar
  13. 13.
    Horn, L.: A Natural History of Negation. University of Chicago Press, Chicago (1989) Google Scholar
  14. 14.
    Hughes, G.: The modal logic of John Buridan. In: Corsi, G., Mangione, C., Mugnai, M. (eds.) Atti del Convegno Internzionale di Storia della Logica, le Teorie delle Modalità, pp. 93–111. CLUEB (1987) Google Scholar
  15. 15.
    Jacoby, P.: A triangle of opposites for types of propositions in Aristotelian logic. New Scholast. 24, 32–56 (1950) CrossRefGoogle Scholar
  16. 16.
    Keenan, E.: The semantics of determiners. In: Lappin, S. (ed.) The Handbook of Contemporary Semantic Theory, pp. 41–63. Blackwell, Oxford (1997) Google Scholar
  17. 17.
    Luke, D.: Stellations of the rhombic dodecahedron. Math. Gaz. 41, 189–194 (1957) MathSciNetCrossRefMATHGoogle Scholar
  18. 18.
    Moretti, A.: The geometry of logical opposition. PhD thesis, University of Neuchâtel (2009) Google Scholar
  19. 19.
    Moretti, A.: The critics of paraconsistency and of many-valuedness and the geometry of oppositions. Log. Log. Philos. 19, 63–94 (2010) MathSciNetMATHGoogle Scholar
  20. 20.
    Pellissier, R.: “Setting” n-opposition. Log. Univers. 2, 235–263 (2008) MathSciNetCrossRefMATHGoogle Scholar
  21. 21.
    Read, S.: John Buridan’s theory of consequence and his octagons of opposition. In: Béziau, J.-Y., Jacquette, D. (eds.) Around and Beyond the Square of Opposition, pp. 93–110. Springer/Birkhäuser, Berlin (2012) CrossRefGoogle Scholar
  22. 22.
    Sauriol, P.: Remarques sur la théorie de l’hexagone logique de Blanché. Dialogue 7, 374–390 (1968) CrossRefGoogle Scholar
  23. 23.
    Sesmat, A.: Logique II. Les Raisonnements. Hermann, Paris (1951) Google Scholar
  24. 24.
    Seuren, P.: The Logic of Language. Language from Within, vol. II. Oxford University Press, Oxford (2010) Google Scholar
  25. 25.
    Smessaert, H.: On the 3D visualisation of logical relations. Log. Univers. 3, 303–332 (2009) MathSciNetCrossRefMATHGoogle Scholar
  26. 26.
    Smessaert, H.: Boolean differences between two hexagonal extensions of the logical square of oppositions. In: Cox, P., Plimmer, B., Rodgers, P. (eds.) Diagrammatic Representation and Inference. Lecture Notes in Computer Science, vol. 7352, pp. 193–199. Springer, Berlin (2012) CrossRefGoogle Scholar
  27. 27.
    Smessaert, H., Demey, L.: Logical and geometrical complementarities between Aristotelian diagrams. In: Dwyer, T., Purchase, H., Delaney, A. (eds.) Diagrammatic Representation and Inference. Lecture Notes in Computer Science, vol. 8578, pp. 246–260. Springer, Berlin (2014) CrossRefGoogle Scholar
  28. 28.
    Smessaert, H., Demey, L.: The unreasonable usefulness of bitstrings in logical geometry. Talk presented at the Fourth World Congress on the Square of Opposition (Vatican) (2014) Google Scholar
  29. 29.
    Smessaert, H., Demey, L.: La géometrie logique du dodécaèdre rhombique des oppositions. In: Ben Aziza, H., Chatti, S. (eds.) Le Carré et ses Extensions: Aspects Théoriques, Pratiques et Historiques. Presses Universitaires, Tunis (2014) Google Scholar
  30. 30.
    Smessaert, H., Demey, L.: The Logical Geometry of the Aristotelian Rhombic Dodecahedron. Book Manuscript (2015) Google Scholar

Copyright information

© Springer International Publishing Switzerland 2015

Authors and Affiliations

  1. 1.Research Group on Formal and Computational LinguisticsKU LeuvenLeuvenBelgium
  2. 2.Center for Logic and Analytic PhilosophyKU LeuvenLeuvenBelgium

Personalised recommendations