Leonardi.DB - Diagrams

General

Date

Treat uncertainty ranges strict

Contributors

Exactly these contributors

Information

Has a legend
Yes No

Has a caption
Yes No

Contains errors
Yes No

Tags

Exactly these tags

Logic

Aristotelian family

Proper interpretation (see hierarchy)

Boolean complexity

Treat uncertainty ranges strict

Vertex labels

Include diagrams with a single label
Include diagrams with multiple labels

Uniqueness

Vertices are unique up to logical equivalence
Yes No

Geometry

Geometric shape

Proper interpretation (see hierarchy)

Regular
Yes No

Geometric representation of contradiction

By central symmetry

By diametric opposition (but no central symmetry)

By some other geometric feature

N.A.

Geometric complexity

Has non-zero colinearity, coplanarity or cospatiality
Yes No

Style: general

Visuals

Colored
Yes No

Embellished
Yes No

Information

Contains conceptual info
Yes No

Contains mnemonic info
Yes No

Contains definitions
Yes No

Style: vertex labels

Label type

Exactly these label types

Linguistic characteristics

Language

Exactly these languages

Lexical field

Exactly these fields

Contains abbreviations
Yes No

Contains partial sentences
Yes No

Symbolic characteristics

Symbolic field

Exactly these fields

Logical system

Exactly these systems

Mathematical branch

Exactly these branches

Contains partial formulas
Yes No

Bitstring characteristics

Contains protobitstrings
Yes No

Style: edge labels

Label type

Exactly these label types

Linguistic characteristics

Language

Exactly these languages

Contains abbreviations
Yes No

Contains single words
Yes No

Symbolic characteristics

Symbolic field

Exactly these fields

Logical system

Exactly these systems

Mathematical branch

Exactly these branches

Contains partial formulas
Yes No

Bitstring characteristics

Contains protobitstrings
Yes No

Style: diagram form

Vertex form

Exactly these forms

Edge form

Exactly these forms

Contains arrowheads
Yes No

Contains overlapping edges
Yes No

Contains curved edges
Yes No

Contains hooked edges
Yes No

Contains vertex-wide edges
Yes No

Contains text in edges
Yes No

Source	Date (min⁠–⁠max)	Aristotelian Family	B.C. (min⁠–⁠max)	Geometric Shape
Dialectica, fol. 72v, by Chainaie, Hubertus; Beauvoix, Lambert-Jean; Du Bois, Arnoldus Joseph; Vos, Georgius	1759–1764	Classical Sigma-2	3	Rectangle
Dialectica, fol. 73, by Chainaie, Hubertus; Beauvoix, Lambert-Jean; Du Bois, Arnoldus Joseph; Vos, Georgius	1759–1764	Classical Sigma-2	3	Square
Dialectica, fol. 82, by Beauvoix, Lambert-Jean	1763	Classical Sigma-2	3	Rectangle
Dialectica, fol. 61v, by van Gobbelschroije, Michael Josephus; Beauvoix, Lambert-Jean	1763	Classical Sigma-2	3	Circle
Dialectica, fol. 62, by van Gobbelschroije, Michael Josephus; Beauvoix, Lambert-Jean	1763	Classical Sigma-2	3	Circle
Institutio Logicae, p. 107, by Wallis, John	1763	Classical Sigma-2	3	Rectangle
Logica, fol. 118v, by Vanherle, Daniel; Vanham, P.	1764	Classical Sigma-2	3	Rectangle
Dialectica, fol. 53, by Vandeneunde, Petrus	1764	Classical Sigma-2	3	Square
Summulistica seu Logica parva iuxta veram mentem Ioannis Duns Scoti, fol. 14, by de Luque, Francisco	1768	Classical Sigma-2	3	Rectangle
Summulistica seu Logica parva iuxta veram mentem Ioannis Duns Scoti, fol. 15v, by de Luque, Francisco	1768	Classical Sigma-2	3	Rectangle
Logica, fol. 33v, by Chaster, Joannes Baptista; Mottin, Joannes Josephus	1776–1777	Classical Sigma-2	3	Rectangle
Ethica. Logica, fol. 193v, by Lahaye, Franciscus Josephus	1776–1777	Classical Sigma-2	3	Rectangle
Logica, fol. 31v, by Lunden, Joannes Josephus; Lunden, Joannes Baptista	1778	Classical Sigma-2	3	Rectangle
Logica, fol. 146v, by Lunden, Joannes Josephus; Lunden, Joannes Baptista	1778	Classical Sigma-2	3	Square
Logica. Ethica, fol. 86v, by Stienon, Lambertus Josephus; Zaman, Joannes Franciscus; Forgeur, Josephus	1778–1779	Classical Sigma-2	3	Rectangle
Logica, fol. 41v, by de Meulder, Franciscus; Zaman, Joannes Franciscus	1781–1782	Classical Sigma-2	3	Rectangle
Logica, fol. 144 (folded leaflet), by Bertram, Ludovicus Alexander	1781–1783	Classical Sigma-2	3	Rectangle
Logica, fol. 126r, by Van den Gheyn, Emmanuel Balthasar	1782	Classical Sigma-2	3	Rectangle
Logica, fol. 28, by Meuclet, Ph.; van Haecht, Joannes	1777–1788	Classical Sigma-2	3	Rectangle
Logica, fol. 34, by Claude, Guilielmus; Van Damme, Joannes-Theodorus	1783	Classical Sigma-2	3	Square
Logica, fol. 176r, by De Vries, Ludovicus Josephus	1783–1784	Classical Sigma-2	3	Rectangle
Logica, fol. 21r, by Billiet, Augustinus	1783–1784	Classical Sigma-2	3	Rectangle
Tractatus brevis in Logicam parvam iuxta mentem S. D. Mariani Duns Scoti, p. 12, by Camarero, José; Romero de la Encarnación, Manuel	1783–1784	Classical Sigma-2	3	Rectangle
Logica, fol. 28, by Simons, Antonius	1784–1785	Classical Sigma-2	3	Rectangle
Praelectiones logicae, p. 48, by Contzen, Adam	1785	Classical Sigma-2	3	Rectangle