In our previous lesson, we established the three primary philosophical responses to the problem of universals: Realism, Nominalism, and Conceptualism. We saw that Aristotle’s "moderate realism"—the view that universals exist within particular things and are abstracted by the mind—provides a powerful metaphysical foundation for understanding how we can have objective knowledge of the world.
This lesson builds directly on that foundation. We will now explore the Classical Theory of Concepts, a direct epistemological application of Aristotelian realism. Your learning goal for today is to describe this theory using Aristotle's method of definition by genus and differentia. This is the original "essentialist" framework for concepts, representing the first major pillar in the debate you're interested in exploring—the one that thinkers like Wittgenstein will later challenge. Understanding this model is the first step toward analyzing the boundary between "crisp" and "fuzzy" concepts.
The Aim: Defining the Essence
The classical theory isn't just about defining words; it's about capturing essences. In the last lesson, we touched on the idea that universals (like 'humanity') exist in rebus—in the things themselves. The classical theory of concepts proposes a method for the mind to isolate and identify precisely what that universal is.
To begin, it's crucial to distinguish between a verbal definition, which merely explains how a word is used (like a dictionary entry), and a real definition, which aims to state the fundamental nature of the thing itself. The classical theory is concerned exclusively with the latter.
Let's formalize this. The Internet Encyclopedia of Philosophy provides a concise overview of the classical view, also known as "definitionism."
Classical Theory of Concepts, The
This article frames the classical theory in terms of its core logical structure. It will help formalize the intuition behind an "essentialist" definition.
Please read the following parts: Read the introductory paragraph to get the formal definition of the theory. Note the language of "necessary and jointly sufficient conditions," which should be familiar from your work in mathematics and logic. Skim the first paragraph of the section Historical Background to see how this quest for definitions originates with Socrates's search for essences. Finally, read the subsection Necessary and Sufficient Conditions. This explains the logical building blocks of a classical definition, using examples like "bachelor" and "square".
As you've just read, the central claim of the classical theory is that a concept can be analyzed into a set of conditions that are individually necessary and jointly sufficient for something to be an instance of that concept. For example, to be a SQUARE, it is necessary to be four-sided, and it is necessary to be a regular figure. Taken together, these conditions are sufficient. This approach provides a rigorous, unambiguous test for concept membership.
But how do we find these conditions? Aristotle proposed a systematic method.
The Method: Definition by Genus and Differentia
Aristotle's method, known as definition per genus et differentiam (by genus and difference), is a powerful technique for constructing real definitions. It organizes concepts into a hierarchical structure by identifying a thing's broader category and its unique distinguishing feature within that category.
Let's break down the components of this method with an article from the Philosophy Institute.
Unraveling the Nature of Definitions in Logic • Philosophy Institute
This article gives a clear, step-by-step explanation of Aristotle's method and the rules that govern it.
Please read the following sections: First, review the section on Real definitions to solidify the distinction between defining a word and defining a thing's essence. Next, read the core section, The classical method. Pay close attention to the definitions of genus and differentia and the classic example of defining man as a "rational animal." Read the list of examples to see how the method applies in various domains. Finally, review the four rules for a good definition. These are the constraints that ensure a definition is rigorous and non-trivial.
To summarize this powerful method:
- Genus: The broader class to which the concept belongs. (e.g., The genus of
triangleispolygon). - Differentia: The essential characteristic that distinguishes the concept from other members of its genus. (e.g., The differentia of
triangleishaving three sides).
The definition is the combination: Definition = Genus + Differentia.
This process is fundamentally about identifying what is essential versus what is merely accidental. An essential property is one a thing cannot lose without ceasing to be what it is. An accidental property can change. For example, your location is accidental to you, but being a human is (arguably) essential.
The following video explains this crucial distinction.
In this excerpt from a lecture by philosopher Daniel Bonevac, he explains Aristotle's distinction between essential and accidental properties and connects it directly to the act of definition.
Watch from this segment. Focus on how he defines essential properties as those a thing has "by its very nature" and how he states that a definition is "the formula of the essence of each thing." Note the classic example he gives: a human being is a rational animal.
The Structure of Knowledge
When applied systematically, the genus-and-differentia method creates a hierarchy of concepts, from the most general to the most specific. This classification tree is often called the Tree of Porphyry, named after a 3rd-century philosopher who elaborated on Aristotle's system.
This hierarchical structure is not unlike classification systems you've encountered in computer science and statistics. The relationship between a genus and a species is analogous to that of a base class and a derived class in object-oriented programming. The species Human inherits the properties of its genus Animal and adds a specific difference, rationality.
This structural parallel is made explicit in the following diagram, which models Aristotle's definitional method using a notation similar to UML (Unified Modeling Language), a standard in software engineering.
This model's appeal lies in its explanatory power and logical tidiness. It suggests that our conceptual landscape is not a chaotic mess but an orderly system where every concept has a precise address.
Limitations of the Method
As powerful as it is, the classical method has recognized limits. The rules you read about earlier imply that some things cannot be defined this way:
- The Summum Genus: The highest or most general genus (e.g., "Being" or "Substance") cannot be defined because there is no broader genus under which to place it.
- Individuals (Particulars): One cannot create a genus-and-differentia definition for a specific individual like "Socrates." Socrates belongs to the species human, but what differentia separates him from all other humans? Any property we choose (e.g., "the teacher of Plato") seems accidental—Socrates would still be Socrates even if he had never met Plato.
- Simple Concepts: Basic sensory qualities like 'red' or 'sweet' cannot be broken down into a genus and differentia. They are the simple building blocks from which other concepts might be formed.
These limitations are not necessarily flaws; rather, they delineate the boundaries of where this specific tool of definition applies. The difficulty in defining individuals hints at the complexities that later philosophical accounts will try to address.
Conclusion
In this lesson, we have dissected the classical theory of concepts, the original "essentialist" model that has shaped Western thought for centuries.
Key Takeaways:
- The classical theory holds that concepts are defined by necessary and jointly sufficient conditions that capture a thing's essence.
- Aristotle's method of genus and differentia is the primary tool for constructing these definitions, creating a hierarchical classification of knowledge.
- This method distinguishes between essential properties (which a thing must have to be what it is) and accidental properties (which can change).
- The resulting conceptual structure is highly organized, analogous to inheritance hierarchies in object-oriented programming or formal data models.
You now have a firm grasp of one of the two major poles of the debate. This classical, essentialist view posits a world of crisp conceptual boundaries. In our next lesson, we will briefly examine a modern formulation of this view in Ayn Rand's theory of "measurement omission," before turning our attention to its most famous critic, Ludwig Wittgenstein, and his argument for "family resemblance."