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
Die Schriften Notkers und seiner Schule. Erster Band. Schriften philosophischen Inhalts, p. 519, by Labeo, Notker; Piper, Paul (ed.)	1882	Classical Sigma-2	3	Rectangle
The Elements of Logic. A Text-book for Schools and Colleges, p. 83, by Jevons, William Stanley; Hill, David J. (ed.)	1883	Classical Sigma-2	3	Square
Grundzüge der Logik und Encyclopedie der Philosophie, p. 31, by Lotze, Hermann	1883	Classical Sigma-2	3	Rectangle
Vrais principes de philosophie scolastique, p. 16, by Guers, Emile	1883	Classical Sigma-2	3	Square
Studies and Exercises in Formal Logic (First Edition), p. 56, by Keynes, J. N.	1884	Classical Sigma-2	3	Square
Liber peri hermeneias, qui Apulei Madaurensis esse traditur, p. 263, by Apuleius, Lucius; Goldbacher, Alois (ed.)	1885	Classical Sigma-2	3	Rectangle
Cours élémentaire de philosophie classique, p. 245, by Regnault, Ernest	1885	Classical Sigma-2	3	Rectangle
Institutes of Logic, p. 362, by Veitch, John	1885	Classical Sigma-2	3	Square
Apuleius' Peri Ermeneion, p. 18, by Apuleius, Lucius; Meiss, Ph. (ed.)	1886	Classical Sigma-2	3	Rectangle
Studies and Exercises in Formal Logic (Second Edition), p. 78, by Keynes, J. N.	1887	Classical Sigma-2	3	Square
Studies and Exercises in Formal Logic (Second Edition), p. 83, by Keynes, J. N.	1887	Classical Sigma-2	3	Square
Deductive Logic, p. 136, by Stock, George	1888	Classical Sigma-2	3	Square
Logic, p. 295, by Clarke, Richard F.	1889	Classical Sigma-2	3	Rectangle
Katechismus der Logik, p. 167, by Kirchner, Friedrich	1890	Classical Sigma-2	3	Rectangle
Précis de philosophie, p. 226, by Rabier, Élie; Worms, René (ed.)	1891	Classical Sigma-2	3	Square
A Manual of Logic. Volume 1, p. 272, by Welton, James	1891	Classical Sigma-2	3	Square
An Introduction to General Logic, p. 213, by Jones, Emily Elizabeth Constance	1892	Classical Sigma-2	3	Square
Logic Inductive and Deductive, p. 142, by Minto, William	1893	Classical Sigma-2	3	Square
Studies and Exercises in Formal Logic (Third Edition), p. 81, by Keynes, J. N.	1894	Classical Sigma-2	3	Square
Studies and Exercises in Formal Logic (Third Edition), p. 113, by Keynes, J. N.	1894	Keynes-Johnson Sigma-4	7	Octagon
Logic Inductive and Deductive, p. 142, by Minto, William	1894	Classical Sigma-2	3	Square
Elemente der Philosophie. I. Logik und Noëtik, p. 47, by Hagemann, Georg	1894	Classical Sigma-2	3	Square
The Essentials of Logic, Being Ten Lectures on Judgment and Inference, p. 127, by Bosanquet, Bernard	1895	Classical Sigma-2	3	Square
A Manual of Logic. Volume 1, p. 240, by Welton, James	1896	Classical Sigma-2	3	Square
Logic: Deductive and Inductive, p. 74, by Read, Carveth	1898	Classical Sigma-2	3	Square