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

Czeżowski on wild quantity (1986), p. 64
by Englebretsen, George

Logic

Aristotelian family
Classical Sigma-2
Boolean complexity
3
Number of labels per vertex (at most)
1
Uniqueness of the vertices up to logical equivalence
Yes
Errors in the diagram
No

Geometry

Shape
Square (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 ...)
No
Form
none
Label type
linguistic
Language
English
Lexical field
syllogistics
,
singular propositions
Contains partial sentences or single words
No
Contains abbreviations
Yes

Edge description

Style

Diagram is colored
No
Diagram is embellished
No

Additional notes

'S' is a singular term, i.e. it has an extension of at most one object. E.g. 'Socrates'.
↑ Back to top ↑