A Database of Aristotelian Diagrams: Empirical Foundations for Logical Geometry (2022), p. 128
by Demey, Lorenz; Smessaert, Hans

Copyright according to our policy

Caption

A concrete diagram in Leonardi.DB, together with its annotation.

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

Vertex description

Conceptual info

Yes

Mnemonic support (AEIO, purpurea ...)

No

Form

rectangular

Label type

linguistic

Language

Latin

Lexical field

syllogistics

Contains partial sentences or single words

No

Contains abbreviations

Yes

Edge description

Contains definitions of relations

No

Form

bands

Has arrowheads

No

Overlap

Yes

Curved

No

Hooked

No

As wide as vertices

Yes

Contains text

Yes

Label type

linguistic

Language

Latin

Contains partial sentences or single words

Yes

Contain abbreviations

No

Style

Diagram is colored

Yes

Diagram is embellished

Yes

Tags

Leuven

Is a reproduction of

Boethius, Anicius Manlius Severinus. 830–870. Periermenias Aristotelis a Boetio translatas. Philadelphia, PA: University of Pennsylvania - Kislak Center for Special Collections, Rare Books and Manuscripts. (fol. 36v)