Combining and relating Aristotelian diagrams

DOI10.1007/978-3-030-86062-2_20MaRDI QIDQ2671608zbMATH OpenOpenAlexFDO

Authors Leander Vignero

Publication date 3 June 2022

Full work available at URL https://doi.org/10.1007/978-3-030-86062-2_20

zbMATH Keywords

Aristotelian diagramscategorificationcategory theorylogical diagramslogical geometrysquare of opposition

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Modal logic (including the logic of norms) (03B45)

Review text

This paper is contributing to logical geometry in the vein of Demey and Smessaert, two influential writers in the contemporary literature on Aristotelian diagrams. These diagrams analyse relations between contrarity, subcontrarity, contradiction,subalternation between objects, visual representations, classes, sets, propositions, inferences and many more. The paper presents a category theory-based method for connecting and merging Aristotelian diagrams. The paper reviews the fundamental notions in Section 2 and discusses the characteristics of structure-preserving maps between diagrams. The study uses a morphism, called infomorphism, in Section 3 to determine what the correct concepts or well-behaved category of coproduct and product of two diagrams entail. It covers a few exemplary cases in Section 4. In Section 5, the study concludes by suggesting some potential future research areas. For the entire collection see [Zbl 1487.68008].

Recommendations

• Geometric and cognitive differences between logical diagrams for the Boolean algebra \(\mathbb {B}_{4}\)
• The interaction between logic and geometry in Aristotelian diagrams
• From Euler diagrams in Schopenhauer to Aristotelian diagrams in logical geometry
• Aristotelian diagrams for semantic and syntactic consequence
• Logical and geometrical distance in polyhedral Aristotelian diagrams in knowledge representation

Cites work

• Combinatorial bitstring semantics for arbitrary logical fragments
• Generalization and composition of modal squares of oppositions
• scientific article; zbMATH DE number 5761737 (Why is no real title available?)
• Introduction to Boolean Algebras
• Logical geometries and information in the square of oppositions

Cited in

(20)

• The interaction between logic and geometry in Aristotelian diagrams
• Combinatorial bitstring semantics for arbitrary logical fragments
• Logical and geometrical distance in polyhedral Aristotelian diagrams in knowledge representation
• On the cognitive potential of derivative meaning in Aristotelian diagrams
• Aristotelian diagrams for semantic and syntactic consequence
• Metalogic, metalanguage and logical geometry
• Metalogical decorations of logical diagrams
• scientific article; zbMATH DE number 1279107 (Why is no real title available?)
• Ologisms
• Computing the maximal Boolean complexity of families of Aristotelian diagrams
• Abduction and diagrams
• Euler Diagrams Through the Looking Glass: From Extent to Intent
• A database of Aristotelian diagrams: empirical foundations for logical geometry
• From Euler diagrams to Aristotelian diagrams
• The notion of diagrammatic isomorphism in Venn-Peirce diagrams
• Generalizing Aristotelian relations and diagrams
• Logic-sensitivity and bitstring semantics in the square of opposition
• Morphisms between Aristotelian diagrams
• Varieties of cubes of opposition
• Geometric and cognitive differences between logical diagrams for the Boolean algebra \(\mathbb {B}_{4}\)

This page was built for publication: Combining and relating Aristotelian diagrams

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2671608)