Metalogical decorations of logical diagrams

DOI10.1007/s11787-015-0136-6zbMath1384.03023OpenAlexW2264275978MaRDI QIDQ346763

Hans Smessaert, Lorenz Demey

Publication date: 30 November 2016

Published in: Logica Universalis (Search for Journal in Brave)

Full work available at URL: https://lirias.kuleuven.be/handle/123456789/517371

zbMATH Keywords

contrarietymetalogicAristotelian diagramduality diagramimplication geometryopposition geometry

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Philosophical and critical aspects of logic and foundations (03A05) Logic of natural languages (03B65) Other applications of logic (03B80)

Related Items

The Vatican square ⋮ Metalogical decorations of logical diagrams ⋮ Schopenhauer's partition diagrams and logical geometry ⋮ Aristotelian diagrams for semantic and syntactic consequence ⋮ From Euler Diagrams in Schopenhauer to Aristotelian Diagrams in Logical Geometry ⋮ Combinatorial bitstring semantics for arbitrary logical fragments ⋮ Geometric and cognitive differences between logical diagrams for the Boolean algebra \(\mathbb {B}_{4}\) ⋮ Boolean considerations on John Buridan's octagons of opposition ⋮ Logical and geometrical distance in polyhedral Aristotelian diagrams in knowledge representation ⋮ Between Square and Hexagon in Oresme's Livre du Ciel et du Monde ⋮ Aristotelian and Duality Relations Beyond the Square of Opposition

Cites Work

• Metalogical decorations of logical diagrams
• Around and beyond the square of opposition
• Universal logic: An anthology. From Paul Hertz to Dov Gabbay
• A précis of mathematical logic. Translated from the French and German editions by Otto Bird
• ``Setting \(n\)-opposition
• First-order modal logic
• On the 3D visualisation of logical relations
• The power of the hexagon
• Why the logical hexagon?
• The classical Aristotelian hexagon versus the modern duality hexagon
• Logic and colour
• Logical geometries and information in the square of oppositions
• Things that are right with the traditional square of opposition
• Logical extensions of Aristotle's square
• Contrariety
• The octagon of opposition
• Avicenna on Possibility and Necessity
• Logical Oppositions in Arabic Logic: Avicenna and Averroes
• John Buridan’s Theory of Consequence and His Octagons of Opposition
• No Group of Opposition for Constructive Logics: The Intuitionistic and Linear Cases
• The Square of Opposition and Generalized Quantifiers
• Hypercubes of Duality
• How to Square Knowledge and Belief
• Structures of Oppositions in Public Announcement Logic
• The Algebra of Opposition (and Universal Logic Interpretations)
• Béziau’s Contributions to the Logical Geometry of Modalities and Quantifiers
• Arrow-Hexagons
• The theory of quaternialty
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item