Metalogical decorations of logical diagrams

DOI10.1007/S11787-015-0136-6zbMATH Open1384.03023OpenAlexW2264275978MaRDI QIDQ346763FDOQ346763

Authors: Lorenz Demey, Hans Smessaert 

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

Recommendations

• Metalogic, metalanguage and logical geometry
• Aristotelian diagrams for semantic and syntactic consequence
• The interaction between logic and geometry in Aristotelian diagrams
• Combining and relating Aristotelian diagrams
• From Euler diagrams in Schopenhauer to Aristotelian diagrams in logical geometry

zbMATH Keywords

Aristotelian diagramcontrarietyduality diagramimplication geometrymetalogicopposition geometry

Mathematics Subject Classification ID

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

Cites Work

• Graph theory
• The connectives
• Title not available (Why is that?)
• ``Setting \(n\)-opposition
• The power of the hexagon
• Logical geometries and information in the square of oppositions
• Things that are right with the traditional square of opposition
• The octagon of opposition
• Title not available (Why is that?)
• First-order modal logic
• On the 3D visualisation of logical relations
• Why the logical hexagon?
• The classical Aristotelian hexagon versus the modern duality hexagon
• Logic and colour
• Logical extensions of Aristotle's square
• Contrariety
• Peter of Spain. Summaries of logic. Text, translation, introduction, and notes. Translated from the Latin by the authors. Dual Latin-English text
• Avicenna on possibility and necessity
• Title not available (Why is that?)
• Metalogical decorations of logical diagrams
• 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
• Title not available (Why is that?)
• The theory of quaternialty
• 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

Cited In (15)

• From Euler Diagrams in Schopenhauer to Aristotelian Diagrams in Logical Geometry
• Boolean considerations on John Buridan's octagons of opposition
• Title not available (Why is that?)
• Between Square and Hexagon in Oresme's Livre du Ciel et du Monde
• Geometric and cognitive differences between logical diagrams for the Boolean algebra \(\mathbb {B}_{4}\)
• Color-coded epistemic modes in a Jungian hexagon of opposition
• Why the hexagon of opposition is really a triangle: logical structures as geometric shapes
• Aristotelian and Boolean properties of the Keynes-Johnson octagon of opposition
• Combinatorial bitstring semantics for arbitrary logical fragments
• Schopenhauer's partition diagrams and logical geometry
• Aristotelian and Duality Relations Beyond the Square of Opposition
• Logical and geometrical distance in polyhedral Aristotelian diagrams in knowledge representation
• Metalogical decorations of logical diagrams
• The Vatican square
• Aristotelian diagrams for semantic and syntactic consequence

This page was built for publication: Metalogical decorations of logical diagrams

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