![](/diagrams/horn_1989_a-natural-history-of-negation_1e5v4hrn1_p-252_1ejnc0gvn/images/display.jpeg?url=http%3A%2F%2Fpurl.org%2Flg%2Fdiagrams%2Fhorn_1989_a-natural-history-of-negation_1e5v4hrn1_p-252_1ejnc0gvn%2Fimages%2Fdisplay.jpeg)
A Natural History of Negation (1989), p. 252
by Horn, Laurence
![]( /diagrams/horn_1989_a-natural-history-of-negation_1e5v4hrn1_p-252_1ejnc0gvn/images/display.jpeg?url=http%3A%2F%2Fpurl.org%2Flg%2Fdiagrams%2Fhorn_1989_a-natural-history-of-negation_1e5v4hrn1_p-252_1ejnc0gvn%2Fimages%2Fdisplay.jpeg )
Copyright according to our policy
- Aristotelian family
- Contrariety 3-clique
- 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
- Shape
- Triangle (irregular)
- Colinearity range
- 0
- Coplanarity range
- 0
- Cospatiality range
- 0
- Representation of contradiction
- N.A.
Logic
Geometry
- Conceptual info
- No
- Mnemonic support (AEIO, purpurea ...)
- No
- Form
- none
- Label type
- symbolic
- Symbolic field
- logic
- Contains partial formulas or symbols
- Yes
- Logical system
- syllogistics
Vertex description
Edge description
- Diagram is colored
- No
- Diagram is embellished
- No
Style
Additional notes
- The current annotation focuses on the triangle 'in the background'. The annotation for the square 'in the foreground' can be found here.
A and C are identical to the canonical A and E, respectively. B is equivalent to I $\wedge$ O.
The negation closure of this diagram is a JSB sigma-3.