Something to Reckon With. The Logic of Terms (1996), p. 133
by Englebretsen, George
Copyright according to our policy
- Aristotelian family
- Classical Sigma-2
- Boolean complexity
- 3
- Number of labels per vertex (at most)
- 1
- Uniqueness of the vertices up to logical equivalence
- No
- Errors in the diagram
- No
- Shape
- Hexagon (irregular)
- Colinearity range
- 0
- Coplanarity range
- 0
- Cospatiality range
- 0
- Representation of contradiction
- By central symmetry
Logic
Geometry
- Conceptual info
- No
- Mnemonic support (AEIO, purpurea ...)
- Yes
- Form
- none
- Label type
- linguistic
- Language
- English
- Lexical field
- syllogistics
- Contains partial sentences or single words
- No
- Contains abbreviations
- Yes
Vertex description
Edge description
- Diagram is colored
- No
- Diagram is embellished
- No
- Tags
- existential import
Style
Additional notes
- If the existential import assumption is satisfied, a and e are defined and are equivalent to A and E, respectively; consequently, the diagram is a classical sigma-2.
If the existential import assumption is not satisfied, a and e are not defined, and thus drop out of the diagram; consequently, the diagram is (again) a classical sigma-2.