Aristotelian Logic (1991), p. 169
by Parry, William T.; Hacker, Edward A.
Copyright according to our policy
- Aristotelian family
- Sigma-0 Graph
- Boolean complexity
- 1
- Number of labels per vertex (at most)
- 1
- Uniqueness of the vertices up to logical equivalence
- Yes
- Errors in the diagram
- No
- Shape
- Square (regular)
- 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
- symbolic
- Symbolic field
- logic
- Contains partial formulas or symbols
- Yes
- Logical system
- syllogistics
- Contains definitions of relations
- No
- Form
- solid lines
- Has arrowheads
- Yes
- Overlap
- No
- Curved
- No
- Hooked
- No
- As wide as vertices
- No
- Contains text
- No
- Label type
- none
Vertex description
Edge description
- Diagram is colored
- No
- Diagram is embellished
- No
- Tags
- Boolean closed ;
- non-contingent formulas
Style
Additional notes
- The assumption here is that subject and predicate term are identical. Ass and Iss are tautological (under the assumption of existential import), while Ess and Oss are contradictory (under that same assumption). Hence this diagram contains only non-contingent formulas, and is thus a sigma-0 diagram.