- Identity(Adams treats identity statements as a variety of atomic formula rather than a logical truth exempt from existence presuppositions)
- A relation between an object and itself, expressed as an atomic formula (a=a), subject to the same existence-entailment conditions as other atomic predicates under GSA
- dilemma(Used in classical rhetoric and logic; discussed by Valla in the context of the Protagoras–Euathlus lawsuit.)
- An argument structured so that two mutually exhaustive alternatives each independently entail the same conclusion, leaving the opponent no escape.
- numerically distinct(Used to characterize the parts of the Form that must exist separately in each participant)
- Being distinct in the sense of being different individual tokens, not merely different in kind or quality.
- property-instances(in trope theory)
- Individual examples of a quality or characteristic—like one specific occurrence of 'redness' in one particular apple.
- qualitatively unified(in describing property-instances)
- Having the same qualities or characteristics throughout, so they seem like the same kind of thing even if they're technically separate.
- strictly plural(describing a type of identity)
- Multiple separate things, each distinct and countable as individual items.
- strictly singular(describing a type of identity)
- Exactly one thing, with no parts or divisions—completely unified as a single unit.
- trope theory(in metaphysics)
- A philosophical view that the world is made up of particular instances of properties (like 'this specific shade of red') rather than just general categories or individual objects.