A Generalization of Hume's Thesis (2006), p. 112
by Woleński, Jan
Copyright according to our policy
Caption
- (D1)
- Aristotelian family
- Sigma-4 Graph
- Boolean complexity
- 4–16
- 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–1
- Coplanarity range
- 0
- Cospatiality range
- 0
- Representation of contradiction
- By central symmetry
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
- deontic logic
Vertex description
Edge description
- Diagram is colored
- No
- Diagram is embellished
- No
Style
Additional notes
- "The interpretation: $\alpha$ - OA, $\beta$ - FA, $\gamma$ - PA, $\delta$ - P$\neg$A." (p. 111).
"The point $\kappa$ is for A, the point $\lambda$ is for $\neg$A, the point $\nu$ for $\alpha \vee \beta$ (that is OA $\vee$ FA; normative determination, symbolically DA) and $\mu$ for $\gamma \wedge \delta$ (that is, PA $\wedge$ P$\neg$A; normative indifference; symbolically IA)." (p. 112).