| Home | Previous | Next | Table of Contents | Abstract | Bottom |
| Identity is weakly reflexive: T1*/T12 | Yes | Yes | Yes | ||
| Identity is symmetric: T2*/T13 | Yes | Yes | Yes | ||
| Identity is transitive: T3*/T14 | Yes | Yes | Yes | ||
| Identicals are indiscernible: T4*/T15# | Yes | Yes | Yes | ||
| Self-identical indiscernibles are identical: T5*/T16# | Yes | Yes | Yes | ||
| Identity is reflexive. | Individuals | -- | Yes
T10* |
No
T10'* |
|
| Haecceities | -- | Yes
T10* |
No
T10'* |
||
| C-Complexes | -- | Yes
T26 |
No
T26' |
||
| Complexes | -- | -- | No
T28' |
||
| Indiscernibles are identical. | Individuals | -- | Yes
T11* |
No
T11'* |
|
| Haecceities | -- | Yes
T11* |
No
T11'* |
||
| C-Complexes | -- | Yes
T27# |
No
T27'# |
||
| Complexes | -- | -- | No
T29'# |
||
| Home | Previous | Next | Table of Contents | Abstract | Top |