You're using an ancient browser to surf the modern web. Please update to the latest version (and don't use Internet Explorer!).

Leonardi.DB

a logical geometry project

On the Transformations of the Square of Opposition from the Point of View of Institution Model Theory (2022), p. 279
by Kiouvrekis, Yiannis; Stefaneas, Petros; Vandoulakis, Ioannis M.

Copyright according to our policy

Caption: Representation of the Square of Opposition in algebra of logic (Boole, Venn, and others)

Aristotelian family: Classical Sigma-2
Boolean complexity: 3
Number of labels per vertex (at most): 1
Errors in the diagram: No
Shape: Rectangle (irregular)
Colinearity range: 0
Coplanarity range: 0
Cospatiality range: 0
Representation of contradiction: By central symmetry

Conceptual info: No
Mnemonic support (AEIO, purpurea ...): Yes
Form: none
Label type: linguistic; symbolic
Language: English
Contains partial sentences or single words: No
Contains abbreviations: No
Symbolic field: logic
Contains partial formulas or symbols: Yes
Logical system: syllogistics
Contains definitions of relations: No
Form: solid lines
Has arrowheads: Yes
Overlap: No
Curved: No
Hooked: No
As wide as vertices: No
Contains text: Yes
Label type: linguistic
Language: English
Contains partial sentences or single words: Yes
Contain abbreviations: No

Diagram is colored: Yes
Diagram is embellished: No

↑ Back to top ↑