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

Structures of Opposition and Comparisons: Boolean and Gradual Cases (2020), p. 126
by Dubois, Didier; Prade, Henri; Rico, Agnès

Caption

Moretti’s cube of opposition

Logic

Aristotelian family
Moretti-Pellissier Sigma-4
Boolean complexity
4–5
Number of labels per vertex (at most)
1
Uniqueness of the vertices up to logical equivalence
Yes
Errors in the diagram
No

Geometry

Shape
Cube (regular)
Colinearity range
0
Coplanarity range
0
Cospatiality range
0
Representation of contradiction
By central symmetry

Vertex description

Conceptual info
No
Mnemonic support (AEIO, purpurea ...)
Yes
Form
none
Label type
symbolic
,
generic placeholders
Symbolic field
logic
Contains partial formulas or symbols
Yes
Logical system
syllogistics

Edge description

Style

Diagram is colored
No
Diagram is embellished
No
↑ Back to top ↑