Javascript must be enabled to continue!
Morphisms Between Aristotelian Diagrams
View through CrossRef
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.
Springer Science and Business Media LLC
Title: Morphisms Between Aristotelian Diagrams
Description:
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.
Related Results
The Modal Logic of Aristotelian Diagrams
The Modal Logic of Aristotelian Diagrams
In this paper, we introduce and study AD-logic, i.e., a system of (hybrid) modal logic that can be used to reason about Aristotelian diagrams. The language of AD-logic, LAD, is int...
Morphisms between Aristotelian Diagrams
Morphisms between Aristotelian Diagrams
In 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 ...
Leonardi.DB: A Database of Aristotelian Diagrams
Leonardi.DB: A Database of Aristotelian Diagrams
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 geome...
Opposition and Implication in Aristotelian Diagrams
Opposition and Implication in Aristotelian Diagrams
In logical geometry, Aristotelian diagrams are studied in a systematic fashion. Recent developments in this field have shown that the square of opposition generalizes in two ways, ...
Alpha-Structures and Ladders in Logical Geometry
Alpha-Structures and Ladders in Logical Geometry
AbstractAristotelian diagrams, such as the square of opposition and other, more complex diagrams, have a long history in philosophical logic. Alpha-structures and ladders are two s...
Towards a Model Theory of Venn Diagrams
Towards a Model Theory of Venn Diagrams
One of the goals of logical analysis is to construct mathematical models of various practices of deductive inference. Traditionally, this is done by means of giving semantics and r...
Drawing schematic diagrams
Drawing schematic diagrams
Schematic diagrams are invaluable in Earth Science in the communication of concepts in both publications and teaching. These diagrams can also be used during fieldwork to help deve...
Introduction
Introduction
This special issue moves beyond an understanding of diagrams as mere inscriptions of objects and processes, proposing instead to re-evaluate diagrammatic reasoning as the work that...

