Metalogical decorations of logical diagrams

DOI10.1007/S11787-015-0136-6MaRDI QIDQ346763zbMATH OpenOpenAlexFDO

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

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)

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

Cites work

• scientific article; zbMATH DE number 5872210 (Why is no real title available?)
• scientific article; zbMATH DE number 3670430 (Why is no real title available?)
• scientific article; zbMATH DE number 2072514 (Why is no real title available?)
• scientific article; zbMATH DE number 3285167 (Why is no real title available?)
• A précis of mathematical logic. Translated from the French and German editions by Otto Bird
• Around and beyond the square of opposition
• Arrow-Hexagons
• Avicenna on possibility and necessity
• Béziau's contributions to the logical geometry of modalities and quantifiers
• Contrariety
• First-order modal logic
• Graph theory
• How to square knowledge and belief
• Hypercubes of duality
• John Buridan's theory of consequence and his octagons of opposition
• Logic and colour
• Logical Oppositions in Arabic Logic: Avicenna and Averroes
• Logical extensions of Aristotle's square
• Logical geometries and information in the square of oppositions
• Metalogical decorations of logical diagrams
• No group of opposition for constructive logics: the intuitionistic and linear cases
• On the 3D visualisation of logical relations
• Peter of Spain. Summaries of logic. Text, translation, introduction, and notes. Translated from the Latin by the authors. Dual Latin-English text
• Structures of oppositions in public announcement logic
• The algebra of opposition (and universal logic interpretations)
• The classical Aristotelian hexagon versus the modern duality hexagon
• The connectives
• The octagon of opposition
• The power of the hexagon
• The square of opposition and generalized quantifiers
• The theory of quaternialty
• Things that are right with the traditional square of opposition
• Universal logic: An anthology. From Paul Hertz to Dov Gabbay
• Why the logical hexagon?
• ``Setting \(n\)-opposition

Cited in

(16)

• Logical and geometrical distance in polyhedral Aristotelian diagrams in knowledge representation
• Why the hexagon of opposition is really a triangle: logical structures as geometric shapes
• Schopenhauer's partition diagrams and logical geometry
• Aristotelian and Boolean properties of the Keynes-Johnson octagon of opposition
• From Euler diagrams in Schopenhauer to Aristotelian diagrams in logical geometry
• Between Square and Hexagon in Oresme's Livre du Ciel et du Monde
• Combinatorial bitstring semantics for arbitrary logical fragments
• Color-coded epistemic modes in a Jungian hexagon of opposition
• scientific article; zbMATH DE number 5882130 (Why is no real title available?)
• Metalogic, metalanguage and logical geometry
• Metalogical decorations of logical diagrams
• The Vatican square
• Geometric and cognitive differences between logical diagrams for the Boolean algebra \(\mathbb {B}_{4}\)
• Aristotelian and Duality Relations Beyond the Square of Opposition
• Boolean considerations on John Buridan's octagons of opposition
• 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)