Metalogical Decorations of Logical Diagrams (2016), p. 253
by Demey, Lorenz; Smessaert, Hans

Copyright according to our policy

Caption

a A strong JSB hexagon with elements of $\wp^\cup(\mathcal{OG})$, b its reformulation in terms of weak and strong contrariety, and c an analogous strong JSB hexagon for the unilateral and bilateral interpretations of the natural language quantifier some

Logic

Aristotelian family

Jacoby-Sesmat-Blanché Sigma-3

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

Hexagon (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

none

Label type

linguistic

Language

English

Lexical field

syllogistics

,

quantifiers

Contains partial sentences or single words

Yes

Contains abbreviations

No

Edge description

Style

Diagram is colored

No

Diagram is embellished

No

Tags

Boolean closed

;

Leuven