Author:
De Klerck Alexander,Vignero Leander,Demey Lorenz
Abstract
AbstractIn logical geometry, Aristotelian diagrams are studied in a precise and systematic way. Although there has recently been a good amount of progress in logical geometry, it is still unknown which underlying mathematical framework is best suited for formalizing the study of these diagrams. Hence, in this paper, the main aim is to formulate such a framework, using the powerful language of category theory. We build multiple categories, which all have Aristotelian diagrams as their objects, while having different kinds of morphisms between these diagrams. The categories developed here are assessed according to their ability to generalize previous work from logical geometry as well as their interesting category-theoretical properties. According to these evaluations, the most promising category has as its morphisms those functions on fragments that increase in informativity on both the opposition and implication relations. Focusing on this category can significantly increase the effectiveness of further research in logical geometry.
Publisher
Springer Science and Business Media LLC
Subject
Applied Mathematics,Logic
Reference22 articles.
1. Awodey, S.: Category Theory, 2nd edn. Oxford University Press, Oxford (2010)
2. Ben-Yami, H.: The quantified argument calculus. Rev. Symb. Logic 7, 120–146 (2014)
3. De Klerck, A., Demey, L., Vignero, L.: The category of Aristotelian diagrams with Boolean morphisms (2023, submitted)
4. Demey, L.: Structures of oppositions for public announcement logic. In: Béziau, J.Y., Jacquette, D. (eds.) Around Beyond Square Oppos., pp. 313–339. Springer, Basel (2012)
5. Demey, L.: Interactively illustrating the context-sensitivity of Aristotelian diagrams. In: Christiansen, H., Stojanovic, I., Papadopoulos, G. (eds.) Modeling and Using Context. LNCS 9405, pp. 331–345. Springer, Berlin (2015)
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献