# 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).