# "At least one" problem with "some" formal reasoning paradigms (2008), p. 219

by Schmidt, James R.; Thompson, Valerie A.

Copyright according to our policy

### Caption

- There are three moods in the triangle of opposition. (A) The universal affirmative: “All of the As are Bs.” (E) The universal negative: “None of the As are Bs.” (U) The partition: “Some but not all of the As are Bs,” which is assumed to be equivalent pragmatically to “Some of the As are Bs” and “Some of the As are not Bs.”

- Aristotelian family
- Contrariety 3-clique
- Boolean complexity
- 3
- Number of labels per vertex (at most)
- 2
- Equivalence between (some) labels of the same vertex
- No
- Analogy between (some) labels of the same vertex
- No
- Uniqueness of the vertices up to logical equivalence
- Yes
- Errors in the diagram
- No
- Shape
- Triangle (regular)
- Colinearity range
- 0
- Coplanarity range
- 0
- Cospatiality range
- 0
- Representation of contradiction
- N.A.

### Logic

### Geometry

- Conceptual info
- No
- Mnemonic support (AEIO, purpurea ...)
- Yes
- Form
- none
- Label type
- linguistic ,
- symbolic
- Language
- English
- Lexical field
- syllogistics
- Contains partial sentences or single words
- Yes
- Contains abbreviations
- No
- 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 negation closure of this diagram is a JSB sigma-3.