The Geometry of Logical Opposition (2009), p. 309
by Moretti, Alessio

Copyright according to our policy

Caption

$E = \{a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u, v\}$

Logic

Aristotelian family

Traditional Aristotelian Graph (Sigma)

Boolean complexity

22

Number of labels per vertex (at most)

1

Uniqueness of the vertices up to logical equivalence

Yes

Errors in the diagram

No

Geometry

Shape

Octagon (irregular)

Colinearity range

0–2

Coplanarity range

14

Cospatiality range

0

Representation of contradiction

By central symmetry

Vertex description

Conceptual info

No

Mnemonic support (AEIO, purpurea ...)

No

Form

none

Edge description

Contains definitions of relations

No

Form

solid lines

,

none

Has arrowheads

Yes

Overlap

No

Curved

No

Hooked

No

As wide as vertices

No

Contains text

No

Label type

none

Style

Diagram is colored

Yes

Diagram is embellished

No