Arabic Logic from al-Farabi to Averroes. A Study of the Early Arabic Categorical, Modal, and Hypothetical Syllogistics (2019), p. 32
by Chatti, Saloua

Copyright according to our policy

Caption

The square 1 with singular propositions containing opposed predicates

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

Square (regular)

Colinearity range

0

Coplanarity range

0

Cospatiality range

0

Representation of contradiction

By central symmetry

Vertex description

Conceptual info

No

Mnemonic support (AEIO, purpurea ...)

No

Form

none

Label type

linguistic

Language

English

Lexical field

singular propositions

,

adjectives

Contains partial sentences or single words

No

Contains abbreviations

No

Edge description

Style

Diagram is colored

No

Diagram is embellished

No