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

Institutiones minoris dialecticae (1599), p. 190
by Báñez, Domingo

Copyright according to our policy

Logic

Aristotelian family
Jacoby-Sesmat-Blanché Sigma-3
Boolean complexity
3
Number of labels per vertex (at most)
2
Equivalence between (some) labels of the same vertex
Yes
Analogy between (some) labels of the same vertex
No
Uniqueness of the vertices up to logical equivalence
No
Errors in the diagram
No

Geometry

Shape
Rectangle (irregular)
Colinearity range
0–2
Coplanarity range
0
Cospatiality range
0
Representation of contradiction
By central symmetry

Graph structure

Petru[m] currere, est impossibile [ve]l neces[se].
Petru[m] no[n] currere, est impossibile [ve]l neces[se].
  • Logical equivalence with Petrum currere non est contingens.
  • Contradiction with Petru[m] currere est co[n]tingens.
  • Contradiction with Petru[m] no[n] currere, no[n] est impossibile vel neces[se].
  • Implicit subcontrariety with Petru[m] currere, est possibile.
  • Subcontrariety with Petrum no[n] currere, est possibile.
  • Subalternation from Petrum currere, est necesse.
  • Subalternation from Petrum currere est impossibile.
Petrum currere est impossibile.
Petrum no[n] currere est necesse.
  • Contradiction with Petru[m] currere, est possibile.
  • Contrariety with Petrum currere, est necesse.
  • Implicit contrariety with Petru[m] currere est co[n]tingens.
  • Contrariety with Petru[m] no[n] currere, no[n] est impossibile vel neces[se].
  • Subalternation to Petrum no[n] currere, est possibile.
  • Subalternation to Petru[m] currere, est impossibile [ve]l neces[se].
  • Subalternation to Petrum currere non est contingens.
Petrum currere non est contingens.
Petru[m] non currere, no[n] est co[n]tingens.
  • Logical equivalence with Petru[m] currere, est impossibile [ve]l neces[se].
  • Contradiction with Petru[m] no[n] currere, no[n] est impossibile vel neces[se].
  • Contradiction with Petru[m] currere est co[n]tingens.
  • Subcontrariety with Petru[m] currere, est possibile.
  • Implicit subcontrariety with Petrum no[n] currere, est possibile.
  • Subalternation from Petrum currere, est necesse.
  • Subalternation from Petrum currere est impossibile.
Petrum no[n] currere, est possibile.
Petru[m] currere, no[n] est necesse.
  • Contradiction with Petrum currere, est necesse.
  • Subcontrariety with Petru[m] currere, est possibile.
  • Implicit subcontrariety with Petrum currere non est contingens.
  • Subcontrariety with Petru[m] currere, est impossibile [ve]l neces[se].
  • Subalternation from Petru[m] currere est co[n]tingens.
  • Subalternation from Petru[m] no[n] currere, no[n] est impossibile vel neces[se].
  • Subalternation from Petrum currere est impossibile.
Petru[m] no[n] currere, no[n] est impossibile vel neces[se].
Petru[m] cur[rere] no[n] est impos[sibile] [ve]l neces[se].
  • Logical equivalence with Petru[m] currere est co[n]tingens.
  • Contradiction with Petrum currere non est contingens.
  • Contradiction with Petru[m] currere, est impossibile [ve]l neces[se].
  • Implicit contrariety with Petrum currere, est necesse.
  • Contrariety with Petrum currere est impossibile.
  • Subalternation to Petru[m] currere, est possibile.
  • Subalternation to Petrum no[n] currere, est possibile.
Petru[m] currere, est possibile.
Petrum non currere, non est impossibile.
  • Contradiction with Petrum currere est impossibile.
  • Subcontrariety with Petrum no[n] currere, est possibile.
  • Subcontrariety with Petrum currere non est contingens.
  • Implicit subcontrariety with Petru[m] currere, est impossibile [ve]l neces[se].
  • Subalternation from Petru[m] currere est co[n]tingens.
  • Subalternation from Petru[m] no[n] currere, no[n] est impossibile vel neces[se].
  • Subalternation from Petrum currere, est necesse.
Petrum currere, est necesse.
Petrum no[n] currere est impossibile.
  • Contradiction with Petrum no[n] currere, est possibile.
  • Contrariety with Petru[m] currere est co[n]tingens.
  • Implicit contrariety with Petru[m] no[n] currere, no[n] est impossibile vel neces[se].
  • Contrariety with Petrum currere est impossibile.
  • Subalternation to Petru[m] currere, est impossibile [ve]l neces[se].
  • Subalternation to Petrum currere non est contingens.
  • Subalternation to Petru[m] currere, est possibile.
Petru[m] currere est co[n]tingens.
Petrum[m] no[n] currere est co[n]tinge[n]s.
  • Logical equivalence with Petru[m] no[n] currere, no[n] est impossibile vel neces[se].
  • Contradiction with Petrum currere non est contingens.
  • Contradiction with Petru[m] currere, est impossibile [ve]l neces[se].
  • Implicit contrariety with Petrum currere est impossibile.
  • Contrariety with Petrum currere, est necesse.
  • Subalternation to Petrum no[n] currere, est possibile.
  • Subalternation to Petru[m] currere, est possibile.

Vertex description

Conceptual info
No
Mnemonic support (AEIO, purpurea ...)
No
Form
rectangular
Label type
linguistic
Language
Latin
Lexical field
modalities
Contains partial sentences or single words
No
Contains abbreviations
Yes

Edge description

Contains definitions of relations
No
Form
none
,
bands
Has arrowheads
No
Overlap
Yes
Curved
No
Hooked
No
As wide as vertices
No
Contains text
Yes
Label type
linguistic
Language
Latin
Contains partial sentences or single words
Yes
Contain abbreviations
Yes

Style

Diagram is colored
No
Diagram is embellished
No
Tags
Boolean closed
↑ Back to top ↑