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

Dialectica (1759), fol. 75v
by Vrancken, Joannes Antonius; Beauvoix, Lambert-Jean

Logic

Aristotelian family
Non-Sigma
Boolean complexity
5
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
N.A.

Vertex description

Conceptual info
No
Mnemonic support (AEIO, purpurea ...)
No
Form
square
,
intersections
Label type
generic placeholders

Edge description

Style

Diagram is colored
No
Diagram is embellished
No
Tags
Leuven
;
Magister Dixit

Additional notes

The negation closure of this diagram is a Lenzen sigma-4.
↑ Back to top ↑