Exploring the Boundaries: The Limits of Definitions in Logic

In logic, a definition is not merely a dictionary entry – it is a precise statement of what a term essentially means, constructed by identifying a term’s genus (its broader category) and its differentia (the specific feature that distinguishes it from others in that category). Aristotle’s classical method of defining through genus and differentia has guided logicians for millennia. Yet even this powerful tool has edges where it breaks down. Not every term in our language can be neatly boxed into a definition. Three categories of terms stand out as particularly resistant: the summum genus, singular abstract names, and proper names. Understanding why these resist definition is not a footnote in logic – it reveals something fundamental about the relationship between language, thought, and meaning.

How definition works – and where it begins to fail 🔗

The classical rule of definition is that it must be per genus et differentiam – a statement identifying the nearest genus and the specific difference. To define “human,” for instance, we say: a human is a rational (differentia) animal (genus). The definition works because “human” fits within the broader class of animals, and rationality marks it off from other animals. This method succeeds brilliantly for most concrete and general terms because there is always a higher category to which the term can be assigned, and a distinguishing feature that sets it apart within that category.

But the method depends on one critical condition: the term being defined must have a genus above it. In term logic, a genus is a broader universal under which a species is subsumed – it is that part of a definition which is also predicable of other things different from the term being defined. Remove the genus, and the entire machinery of definition collapses. This is precisely what happens with three types of terms, each for a different reason.

The summum genus: the highest category that cannot be defined 🔗

In any hierarchy of categories, genus and species are relative terms. “Animal” is a genus with respect to “dog,” but it is itself a species of “living being.” “Living being” is in turn a species of “body,” and “body” a species of “substance.” As logicians recognize, when subdivisions have reached a point where no further division into species is possible, we have the lowest species; and insofar as there is a highest genus that cannot itself be a species of anything broader, we have the summum genus – the highest genus.

Merriam-Webster defines it plainly as a genus that can undergo logical division – that is, a genus that cannot be classed as a species of anything above it. Aristotle identified ten such highest categories – substance, quantity, quality, relation, and others – each of which falls under no other genus and is completely separate from the others. “Being” or “existence” itself is perhaps the most familiar candidate for a summum genus.

The problem is stark: to define any term, you must place it within a broader genus. But the summum genus, by definition, has no broader genus above it. As the standard account in classical logic puts it, the summum genus, being the highest genus, cannot be brought under a still higher genus and therefore cannot be defined. There is nowhere higher to go. You cannot say “being is a type of X” because there is no X that subsumes all of being. Any attempt to define a summum genus ends up being either circular – restating the term in different words – or hopelessly vague. This is not a failure of cleverness; it is a structural impossibility built into the logic of categories itself.

The Porphyrian tree, the classic diagram from the 3rd-century logician Porphyry used to illustrate the hierarchy of categories, makes this visual. The tree proceeds downward from the summum genus through intermediate genera and species all the way to individuals. Definition by genus and differentia works at every level of the tree – except at the very top, where the chain of genera simply stops.

Singular abstract names: elementary attributes that resist further analysis 🔗

The second limit of definition concerns singular abstract names – names that refer to elementary or primitive attributes considered in isolation, such as “whiteness,” “redness,” or “squareness.” These are not the same as general abstract terms like “virtue,” which is broad enough to include justice, prudence, and temperance as sub-types. Singular abstract names pick out one specific, irreducible attribute.

The difficulty here is different from the summum genus problem. Singular abstract names are not undefinable because they sit at the top of a hierarchy. They are undefinable because there is nothing simpler or more elementary than what they are. As the classical logical account states, singular abstract names – which are names of elementary attributes – cannot be defined because there is nothing simpler or more elementary than what they signify. A definition is supposed to unfold the meaning of a term into its component parts. But if a term names something truly simple and indivisible, there are no components to unfold.

Consider “whiteness.” You cannot define it by saying it is “a type of color that is light and achromatic” without already presupposing that the listener has some grasp of what whiteness looks like. The word points to a basic datum of experience. Abstraction in philosophy involves the process of recognizing common features across individuals and forming a concept of that feature – so “whiteness” is formed by abstracting the quality of being white from white things. But once that abstract concept is formed, it stands as a simple, unanalyzable unit. Trying to break it down further produces either a circular definition or a description that relies on what you are trying to define.

This connects to a broader point about abstract objects in philosophy: in many cases, when we struggle to define an abstract term with precision, we have simply not settled on how the term is to be understood, and what we need is not a definition of what the term already means but a framework for how it might be usefully applied. For elementary attributes, no such framework can substitute for direct acquaintance with the attribute itself.

Why connotation is the key 🔗

The issue with singular abstract names becomes clearer when we think in terms of connotation and denotation. Connotation refers to the attributes implied by a term; denotation refers to the things the term names. For most general terms, connotation is what makes a definition possible – we define “human” by stating the attributes (rational, animal) it connotes. But singular abstract names present an unusual case: as the scholastic tradition recognized, abstract terms signify an attribute as though it were an independent entity, a mode of representation that has no direct parallel in the real order. Their connotation and denotation collapse into one. You cannot step outside the attribute to describe it from a neutral vantage point, because any description of it already uses the very attribute in question.

Proper names: referring without describing 🔗

The third limit of definition involves proper names – names like “Socrates,” “London,” or “the Ganges.” Unlike general terms, proper names do not describe the things they name. They simply point to them.

This insight was most clearly articulated by John Stuart Mill, who distinguished between names that connote attributes and those that do not. General terms like “human” or “animal” connote specific properties – rationality, animality – and these properties form the basis of a definition. Proper names, by contrast, denote an individual without connoting any properties of that individual. “Dartmouth” names a town; it does not describe anything about that town. As Mill argued in his System of Logic, the meaning of sentences involving proper names is determined by denotation rather than connotation – proper names are the one exception to the rule that meaning is carried by connotation.

Since definition works by unfolding connotation – by stating the essential attributes a term implies – a term with no connotation simply has nothing to define. A proper name gives you no attributes to list; it just picks out a particular individual. If you try to define “Socrates,” you end up producing a description of Socrates, not a definition of the name. And that description could change – Socrates could have been a general rather than a philosopher, could have been born elsewhere – without the name “Socrates” ceasing to refer to the same individual.

Kripke and the rigidity of proper names 🔗

This aspect of proper names was dramatically reinforced in modern philosophy of language. Saul Kripke’s Naming and Necessity argued that proper names are rigid designators – they refer to the same individual across all possible worlds in which that individual exists. A description like “the first Chancellor of the German Empire” might pick out Bismarck in this world but could have picked out someone else had history gone differently. The name “Bismarck,” however, always refers to that particular person, regardless of what properties he happened to have. As Kripke argued, no definite description could give the meaning of a proper name, although a description might be used to explain who a name refers to. This asymmetry between names and descriptions reinforces why proper names resist definition: they function differently from the descriptive terms that definitions are designed to analyze.

Gottlob Frege had earlier drawn a related distinction: the relation of a proper name to the object it designates is direct, whereas a common term like “planet” does not relate directly to the Earth but rather to a concept under which the Earth falls. This direct, concept-bypassing reference is precisely what makes proper names impossible to define in the classical sense.

What these limits reveal about definition itself 🔗

The three limits – summum genus, singular abstract names, and proper names – each expose a different structural constraint on what definition can do. The summum genus shows that definition requires a ladder of genera, and every ladder must have a top rung that the ladder cannot reach above. Singular abstract names show that definition requires complexity – something to be unpacked – and certain elementary concepts simply have no further structure to reveal. Proper names show that definition requires connotation, and some terms are designed specifically to refer without describing.

Together, these limits are a reminder that logical language is not a perfect mirror of thought. The philosophy of logic has long recognized that natural language contains many types of expressions that do not fit neatly into the scheme of classes and sub-classes that classical logic assumes. Definitions are indispensable tools for reasoning, but they are tools built for a specific job. When we push them beyond that job – trying to define what is indefinable by its very nature – we are not exposing a failure of language. We are discovering something true about the limits of conceptual analysis itself.

These limits do not undermine logic. On the contrary, recognizing them makes logical reasoning sharper. A logician who knows which terms resist definition will not waste effort trying to define them and will instead use them more carefully – pointing to a summum genus, acquainting the listener directly with an elementary attribute, or simply naming an individual without pretending to describe the essence behind the name.

What do you think? If proper names carry no connotation and elementary abstract attributes resist unpacking, does that mean some of the most fundamental things we talk about – existence, identity, individuality – are ultimately beyond the reach of precise definition? And does that limitation weaken logical reasoning, or does acknowledging it actually make our reasoning more honest?

References

1. https://plato.stanford.edu/entries/aristotle-logic/
2. https://en.wikipedia.org/wiki/Genus_(philosophy)
3. https://amateurlogician.com/predicables/
4. https://www.merriam-webster.com/dictionary/summum%20genus
5. https://egyankosh.ac.in/bitstream/123456789/37952/1/Unit-3.pdf
6. https://en.wikipedia.org/wiki/Porphyrian_tree
7. https://en.wikipedia.org/wiki/Abstraction
8. https://plato.stanford.edu/entries/abstract-objects/
9. http://www.logicmuseum.com/joyce/LOGIC-Chapter-II.HTM
10. https://devrijmetselaar.nl/en/john-stuart-mills-of-names-and-propositions-foundations-of-language-and-logic/
11. https://www.rep.routledge.com/articles/biographical/mill-john-stuart-1806-73/v-1/sections/language-and-logic
12. https://en.wikipedia.org/wiki/Naming_and_Necessity
13. https://en.wikipedia.org/wiki/Rigid_designator
14. https://en.wikipedia.org/wiki/Sense_and_reference
15. https://en.wikipedia.org/wiki/Philosophy_of_logic