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

Aristotelian Diagrams for the Proportional Quantifier 'Most' (2023), p. 3
by Smessaert, Hans; Demey, Lorenz

Copyright according to our policy

Caption

Degenerate Aristotelian square for the Aristotelian quantifiers, relative to FOL.

Logic

Aristotelian family
Classical Sigma-2
Boolean complexity
3
Number of labels per vertex (at most)
1
Errors in the diagram
No

Geometry

Shape
Rectangle (irregular)
Colinearity range
0
Coplanarity range
0
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
No
Overlap
No
Curved
No
Hooked
No
As wide as vertices
No
Label type
none

Style

Diagram is colored
Yes
Diagram is embellished
No
Tags
Leuven
↑ Back to top ↑