- Abstracted universal(as what 'humanity' might be mistaken for)
- A general concept pulled out of individual things and considered on its own—like thinking about 'redness' as an idea separate from any red object you actually see.
- Aristotle / Aristotelian(as the original developer of the theory described)
- Aristotle was an ancient Greek philosopher (384-322 BCE) who studied how we learn and understand the world through observing nature and specific examples rather than pure reasoning alone.
- Composite substance(as the complete thing that Socrates is)
- A thing made up of multiple parts working together—in Aristotle's thinking, a person is made of both body and soul combined into one substance.
- 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
- Socrates
- Socrates was an ancient Greek philosopher who lived in Athens around 470-399 BCE and is considered one of the most influential thinkers in Western history. He didn't write books himself, but taught by asking people questions to help them discover truth and examine their own beliefs—a method now called the "Socratic method" that's still used in education today. He was eventually put on trial and executed by the Athenian government, becoming a martyr for free thinking and the pursuit of wisdom.
- humanity(The ultimate source of value in the argument's chain of normative grounding)
- One's rational nature, understood as the capacity for rational self-governance
- substantial form(Contrasted with Cartesian mechanism)
- A metaphysical principle that constitutes the causal and qualitative nature of a material substance, inherited from Aristotelian-scholastic ontology