| Home | Previous | Next | Table of Contents | Abstract | Bottom |
| HI | HI+ | HI- | |
|---|---|---|---|
| Identity is weakly reflexive: T1* | Yes | Yes | Yes |
| Identity is symmetric: T2* | Yes | Yes | Yes |
| Identity is transitive: T3* | Yes | Yes | Yes |
| Identicals are indiscernible: T4* | Yes | Yes | Yes |
| Indiscernibles are identical if self-identical: T5* | Yes | Yes | Yes |
| There are unexemplified haecceities. | -- | No
P10 |
Yes
P10' |
| There are 'bare' individuals. | -- | No
P10,T9* |
Yes
P10',T9* |
| Identity is strongly reflexive. | -- | Yes
T10* |
No
T10'* |
| Indiscernibles are identical. | -- | Yes
T11* |
No
T11'* |
| Home | Previous | Next | Table of Contents | Abstract | Top |