# "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 four moods in the square of opposition. (A) The universal affirmative: “All of the As are Bs.” (E) The universal negative: “None of the As are Bs.” (I) The particular affirmative: “Some of the As are Bs.” (O) The universal negative: “Some of the As are not Bs.”

- Aristotelian family
- Classical Sigma-2
- 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
- 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
- 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