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

Logicae systema harmonicum (1628), p. 369
by Alsted, Johann Heinrich

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
Rectangle (irregular)
Colinearity range
0
Coplanarity range
0
Cospatiality range
0
Representation of contradiction
By central symmetry

Graph structure

Quadam herba non sunt salubres
  • Contradiction with Omnes herba sunt salubres
  • Subcontrariety with Quadam herba sunt salubres
  • Subalternation from Nulla herba sunt salubres
Quadam herba sunt salubres
  • Contradiction with Nulla herba sunt salubres
  • Subcontrariety with Quadam herba non sunt salubres
  • Subalternation from Omnes herba sunt salubres
Nulla herba sunt salubres
  • Contradiction with Quadam herba sunt salubres
  • Contrariety with Omnes herba sunt salubres
  • Subalternation to Quadam herba non sunt salubres
Omnes herba sunt salubres
  • Contradiction with Quadam herba non sunt salubres
  • Contrariety with Nulla herba sunt salubres
  • Subalternation to Quadam herba sunt salubres

Vertex description

Conceptual info
No
Mnemonic support (AEIO, purpurea ...)
No
Form
none
Label type
linguistic
Language
Latin
Lexical field
categorical
,
quantifiers
Contains abbreviations
No

Edge description

Contains definitions of relations
No
Form
none
Has arrowheads
No
Overlap
Yes
Curved
No
Hooked
No
Label type
linguistic
Language
Latin
Contains partial sentences or single words
Yes
Contain abbreviations
No

Style

Diagram is colored
No
Tags
categorical
↑ Back to top ↑