SpringerLink
Log in

A Database of Aristotelian Diagrams: Empirical Foundations for Logical Geometry

  • Conference paper
  • First Online:
Diagrammatic Representation and Inference (Diagrams 2022)

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 13462))

Included in the following conference series:

  • 648 Accesses

Abstract

Aristotelian diagrams, such as the square of opposition, are among the oldest and most well-known types of logical diagrams. Within the burgeoning research program of logical geometry, we have been develo** a comprehensive database of Aristotelian diagrams that occur in the extant literature: Leonardi.DB (the Leuven Ontology for Aristotelian Diagrams, and its corresponding Database). This paper presents an (intermediate) report on this development. We describe the philosophical background and main motivations for Leonardi.DB, focusing on how the database provides a solid empirical foundation for theoretical research within logical geometry. We also discuss some of the main methodological and technical aspects of the database development. As a proof-of-concept, we provide some examples of the new kinds of research that will be facilitated by Leonardi.DB, e.g. regarding broad trends in the usage and visual properties of Aristotelian diagrams.

The first author holds a Research Professorship (BOFZAP) from KU Leuven. This research was funded through the KU Leuven research projects ‘Empirical Foundations for Logical Geometry: A Database of Aristotelian Diagrams’ (3H180236, 2018–2020) and ‘BITSHARE: Bitstring Semantics for Human and Artificial Reasoning’ (3H190254, 2019–2023).

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Subscribe and save

Springer+ Basic
EUR 32.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or Ebook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 44.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 59.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free ship** worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Similar content being viewed by others

Notes

  1. 1.

    Cf. https://leonardi.logicalgeometry.org/.

  2. 2.

    A first and very preliminary report can be found in [25].

  3. 3.

    See [13] for the broader religious-cultural context of this temporary setback.

  4. 4.

    See https://data.cerl.org/thesaurus/_search?lang=en. Note that these other datasets concern people, books, etc.; setting aside Leonardi.DB, we currently do not know of any comprehensive database which primarily consists of (logical) diagrams.

References

  1. Béziau, J.Y., Jacquette, D. (eds.): Around and Beyond the Square of Opposition. Springer, Basel (2012). https://doi.org/10.1007/978-3-0348-0379-3

    Book  MATH  Google Scholar 

  2. Béziau, J.Y., Vandoulakis, I. (eds.): The Exoteric Square of Opposition. Springer, Basel (2022)

    Google Scholar 

  3. Ciucci, D., Dubois, D., Prade, H.: Structures of opposition induced by relations. The Boolean and the gradual cases. Ann. Math. Artif. Intell. 76, 351–373 (2016)

    Article  MathSciNet  Google Scholar 

  4. Demey, L.: Algebraic aspects of duality diagrams. In: Cox, P., Plimmer, B., Rodgers, P. (eds.) Diagrams 2012. LNCS (LNAI), vol. 7352, pp. 300–302. Springer, Heidelberg (2012). https://doi.org/10.1007/978-3-642-31223-6_32

    Chapter  Google Scholar 

  5. Demey, L.: Boolean considerations on John Buridan’s octagons of opposition. Hist. Philos. Logic 40(2), 116–134 (2019)

    Article  MathSciNet  Google Scholar 

  6. Demey, L., Smessaert, H.: The relationship between Aristotelian and Hasse diagrams. In: Dwyer, T., Purchase, H., Delaney, A. (eds.) Diagrams 2014. LNCS (LNAI), vol. 8578, pp. 213–227. Springer, Heidelberg (2014). https://doi.org/10.1007/978-3-662-44043-8_23

    Chapter  MATH  Google Scholar 

  7. Demey, L., Smessaert, H.: The interaction between logic and geometry in Aristotelian diagrams. In: Jamnik, M., Uesaka, Y., Elzer Schwartz, S. (eds.) Diagrams 2016. LNCS (LNAI), vol. 9781, pp. 67–82. Springer, Cham (2016). https://doi.org/10.1007/978-3-319-42333-3_6

    Chapter  MATH  Google Scholar 

  8. Demey, L., Smessaert, H.: Logical and geometrical distance in polyhedral Aristotelian diagrams in knowledge representation. Symmetry 9(10), 204 (2017)

    Article  Google Scholar 

  9. Demey, L., Smessaert, H.: Aristotelian and duality relations beyond the square of opposition. In: Chapman, P., Stapleton, G., Moktefi, A., Perez-Kriz, S., Bellucci, F. (eds.) Diagrams 2018. LNCS (LNAI), vol. 10871, pp. 640–656. Springer, Cham (2018). https://doi.org/10.1007/978-3-319-91376-6_57

    Chapter  MATH  Google Scholar 

  10. Demey, L., Smessaert, H.: Using multigraphs to study the interaction between opposition, implication and duality relations in logical squares. In: Pietarinen, A.-V., Chapman, P., Bosveld-de Smet, L., Giardino, V., Corter, J., Linker, S. (eds.) Diagrams 2020. LNCS (LNAI), vol. 12169, pp. 385–393. Springer, Cham (2020). https://doi.org/10.1007/978-3-030-54249-8_30

    Chapter  Google Scholar 

  11. Demey, L., Smessaert, H.: From Euler diagrams to Aristotelian diagrams. In: V. Giardino et al. (eds.) Diagrams 2022. LNCS (LNAI), vol. 13462, pp. 279–295. Springer, Cham (2022). https://doi.org/10.1007/978-3-031-15146-0_24

  12. García Cruz, J.D.: What kind of opposition-forming operator is privation? In: Basu, A., Stapleton, G., Linker, S., Legg, C., Manalo, E., Viana, P. (eds.) Diagrams 2021. LNCS (LNAI), vol. 12909, pp. 118–131. Springer, Cham (2021). https://doi.org/10.1007/978-3-030-86062-2_11

    Chapter  Google Scholar 

  13. Jaspers, D., Seuren, P.: The square of opposition in Catholic hands: a chapter in the history of 20th-century logic. Logique et Anal. (N.S.) 59(233), 1–35 (2016)

    MathSciNet  MATH  Google Scholar 

  14. Lemanski, J., Demey, L.: Schopenhauer’s partition diagrams and logical geometry. In: Basu, A., Stapleton, G., Linker, S., Legg, C., Manalo, E., Viana, P. (eds.) Diagrams 2021. LNCS (LNAI), vol. 12909, pp. 149–165. Springer, Cham (2021). https://doi.org/10.1007/978-3-030-86062-2_13

    Chapter  Google Scholar 

  15. Li, W.: Zipf’s law everywhere. Glottometrics 5, 14–21 (2002)

    Google Scholar 

  16. Pascucci, M., Sileno, G.: The search for symmetry in Hohfeldian modalities. In: Basu, A., Stapleton, G., Linker, S., Legg, C., Manalo, E., Viana, P. (eds.) Diagrams 2021. LNCS (LNAI), vol. 12909, pp. 87–102. Springer, Cham (2021). https://doi.org/10.1007/978-3-030-86062-2_9

    Chapter  Google Scholar 

  17. Risse, W.: Bibliographia Logica. 4 vols., esp. I: 1472–1800 and II: 1801–1969. Georg Olms, Hildesheim (1965–1979)

    Google Scholar 

  18. Smessaert, H.: Boolean differences between two hexagonal extensions of the logical square of oppositions. In: Cox, P., Plimmer, B., Rodgers, P. (eds.) Diagrams 2012. LNCS (LNAI), vol. 7352, pp. 193–199. Springer, Heidelberg (2012). https://doi.org/10.1007/978-3-642-31223-6_21

    Chapter  Google Scholar 

  19. Smessaert, H., Demey, L.: Logical and geometrical complementarities between Aristotelian diagrams. In: Dwyer, T., Purchase, H., Delaney, A. (eds.) Diagrams 2014. LNCS (LNAI), vol. 8578, pp. 246–260. Springer, Heidelberg (2014). https://doi.org/10.1007/978-3-662-44043-8_26

    Chapter  MATH  Google Scholar 

  20. Smessaert, H., Demey, L.: Logical geometries and information in the square of opposition. J. Logic Lang. Inform. 23, 527–565 (2014)

    Article  MathSciNet  Google Scholar 

  21. Smessaert, H., Demey, L.: Visualising the Boolean Algebra \(\mathbb {B}_{4}\) in 3D. In: Jamnik, M., Uesaka, Y., Elzer Schwartz, S. (eds.) Diagrams 2016. LNCS (LNAI), vol. 9781, pp. 289–292. Springer, Cham (2016). https://doi.org/10.1007/978-3-319-42333-3_26

    Chapter  MATH  Google Scholar 

  22. Smessaert, H., Shimojima, A., Demey, L.: Free rides in logical space diagrams versus Aristotelian diagrams. In: Pietarinen, A.-V., Chapman, P., Bosveld-de Smet, L., Giardino, V., Corter, J., Linker, S. (eds.) Diagrams 2020. LNCS (LNAI), vol. 12169, pp. 419–435. Springer, Cham (2020). https://doi.org/10.1007/978-3-030-54249-8_33

    Chapter  Google Scholar 

  23. Smessaert, H., Shimojima, A., Demey, L.: On the cognitive potential of derivative meaning in Aristotelian diagrams. In: Basu, A., Stapleton, G., Linker, S., Legg, C., Manalo, E., Viana, P. (eds.) Diagrams 2021. LNCS (LNAI), vol. 12909, pp. 495–511. Springer, Cham (2021). https://doi.org/10.1007/978-3-030-86062-2_51

    Chapter  Google Scholar 

  24. Sørensen, H.K., Johansen, M.W.: Counting mathematical diagrams with machine learning. In: Pietarinen, A.-V., Chapman, P., Bosveld-de Smet, L., Giardino, V., Corter, J., Linker, S. (eds.) Diagrams 2020. LNCS (LNAI), vol. 12169, pp. 26–33. Springer, Cham (2020). https://doi.org/10.1007/978-3-030-54249-8_3

    Chapter  Google Scholar 

  25. Termont, W., Demey, L., Smessaert, H.: First steps toward a Digital Access to Textual Cultural Heritage. In: Poster presentation at the third international conference on digital access to textual cultural heritage (DATeCH 2019) (2019)

    Google Scholar 

  26. Vignero, L.: Combining and relating Aristotelian diagrams. In: Basu, A., Stapleton, G., Linker, S., Legg, C., Manalo, E., Viana, P. (eds.) Diagrams 2021. LNCS (LNAI), vol. 12909, pp. 221–228. Springer, Cham (2021). https://doi.org/10.1007/978-3-030-86062-2_20

    Chapter  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Center for Logic and Philosophy of Science, KU Leuven Kardinaal Mercierplein 2, 3000, Leuven, Belgium

    Lorenz Demey

  2. Department of Linguistics, KU Leuven Blijde-Inkomststraat 21, 3000, Leuven, Belgium

    Hans Smessaert

Authors
  1. Lorenz Demey
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Hans Smessaert
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Lorenz Demey .

Editor information

Editors and Affiliations

  1. CNRS, Ecole Normale Supérieure, Paris, France

    Valeria Giardino

  2. Lancaster University in Leipzig, Leipzig, Germany

    Sven Linker

  3. West Chester University, West Chester, PA, USA

    Richard Burns

  4. Universitá di Bologna, Bologna, Italy

    Francesco Bellucci

  5. Université Bourgogne Franche-Comté, Dijon, France

    Jean-Michel Boucheix

  6. Universidade Federal Fluminense, Niterói, Brazil

    Petrucio Viana

Rights and permissions

Reprints and permissions

Copyright information

© 2022 Springer Nature Switzerland AG

About this paper

Check for updates. Verify currency and authenticity via CrossMark

Cite this paper

Demey, L., Smessaert, H. (2022). A Database of Aristotelian Diagrams: Empirical Foundations for Logical Geometry. In: Giardino, V., Linker, S., Burns, R., Bellucci, F., Boucheix, JM., Viana, P. (eds) Diagrammatic Representation and Inference. Diagrams 2022. Lecture Notes in Computer Science(), vol 13462. Springer, Cham. https://doi.org/10.1007/978-3-031-15146-0_10

Download citation

  • DOI: https://doi.org/10.1007/978-3-031-15146-0_10

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-031-15145-3

  • Online ISBN: 978-3-031-15146-0

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation