Caramuel and the "Quantification of the Predicate" (2015), p. 369
by Lenzen, Wolfgang

Copyright according to our policy

Caption

Revision of Caramuel’s extended square of opposition. (For typographical reasons, the diagonal arrows symbolizing that the corresponding propositions are negations of each other are omitted here)

Logic

Aristotelian family

Classical Sigma-2

Boolean complexity

3

Number of labels per vertex (at most)

1

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

No

Mnemonic support (AEIO, purpurea ...)

No

Form

rectangular

Label type

linguistic

Language

Latin

Contains partial sentences or single words

No

Contains abbreviations

No

Edge description

Contains definitions of relations

No

Form

none

,

bands

Has arrowheads

No

Overlap

No

Curved

No

Hooked

No

As wide as vertices

No

Contains text

Yes

Label type

linguistic

Language

Latin

Contains partial sentences or single words

Yes

Contain abbreviations

Yes

Style

Diagram is colored

No

Diagram is embellished

No