Welcome back. In our last lesson, we explored the classical theory of concepts, which has its roots in Aristotle's method of definition by genus and differentia. We saw how this "essentialist" approach seeks to define concepts with a set of necessary and sufficient conditions, creating a tidy, hierarchical structure of knowledge. This provided us with a clear understanding of the first major position in the debate you're interested in.
Today, we will examine a modern, and highly original, formulation of this essentialist viewpoint: Ayn Rand's theory of concept formation. Your learning outcome is to explain this theory, which is built around the core idea of 'measurement omission'. Rand attempts to solve some of the problems that plagued the classical theory—such as how to unite particulars that are clearly different—while preserving the objectivity of concepts. Her approach, which she explicitly compares to a mathematical process, should provide a fascinating bridge between the classical philosophy we've discussed and the more technical, quantitative frameworks with which you are familiar.
From Identity to Similarity
The classical view, as we saw, struggled when faced with particulars that weren't strictly identical. Nominalists and other critics were quick to point out that there is no single, identical 'blueness' in a royal blue shirt and a sky blue one, nor is there an identical 'tableness' in a coffee table and a dining table. The attempt to find a universal by "subtracting" all the differences, a process sometimes called 'abstractionism', often leaves you with nothing.
Ayn Rand begins by rejecting this premise. She argues that the basis of a concept is not identity, but similarity. Her definition of similarity is the crucial first step to her theory.
To start, watch this segment from a lecture by Harry Binswanger. He first illustrates the problems with the older "abstraction as subtraction" model and then introduces Rand's specific definition of similarity.
Watch from the critique of the old model, where he explains the false premises Rand rejected. Pay close attention to the idea that abstraction is not subtraction. Then, watch the core segment from the definition of similarity, where he explains how Rand's view solves the "similar how?" problem by introducing the idea of a "conceptual common denominator."
As you just saw, Rand defines similarity as "the relationship between two or more existents which possess the same characteristic(s), but in different measure or degree." This is a pivotal shift. Instead of looking for an identical quality, we are looking for a shared characteristic that is commensurable—that is, it can be measured along the same axis or dimension. The different shades of blue are similar because they all possess the characteristic 'hue', but they differ in the measure of their wavelength. The different tables are similar because they all possess the characteristic 'shape' (a flat surface with supports), but differ in the measures of their height, width, and length.
This insight—that similarity is a matter of lesser difference along a quantitative continuum—is the foundation on which her entire theory is built.
The Mechanism: Measurement Omission
With this definition of similarity in hand, Rand proposes a specific mental process for forming a concept. She calls this process measurement omission. To form a concept like 'table', the mind observes several tables, focuses on their distinctive characteristic (shape), and then omits the particular measurements of that shape, along with the measurements of all other characteristics.
The following text by Allan Gotthelf, a scholar of Objectivism, provides the most precise academic explanation of this process.
[PDF] ayn rand's theory of Concepts - University of Pittsburgh Press
This excerpt explains the core of Rand's theory: the process of measurement omission, the resulting definition of a concept, and the crucial "some but any" principle that governs it.
Please read the section starting from the heading "How, then, is the perceptual..." on page 15 of the PDF. Focus on the examples of 'length' and 'table' and how the mind retains the attribute while omitting the specific measurements. Pay special attention to Rand's formal definition of a concept and the distinction between omitting measurements and regarding them as non-existent.
The key phrase to take away from this reading is: "The relevant measurements must exist in some quantity, but may exist in any quantity." This is what Gotthelf calls the "some but any" principle. A concept does not erase the measurements; it establishes a range. A table must have some height, but it can be any height within the range appropriate for tables.
This is fundamentally different from the old 'abstractionism'. You are not stripping away properties to find a blurry, non-specific "tableness." Instead, you are integrating a set of concretes by recognizing that they vary along a common, measurable dimension, and you are choosing to leave the specific value on that dimension unspecified.
This leads to Rand's formal definition:
A concept is a mental integration of two or more units possessing the same distinguishing characteristic(s), with their particular measurements omitted.
Here is a simple visual representation. The graph plots animals along two commensurable characteristics, "Size" and "Friendliness". The specific numerical values for each animal are its "measurements".

Concept Formation as a Mathematical Process
Rand argued that this process is fundamentally mathematical in nature. Her designated intellectual heir, Leonard Peikoff, developed this parallel in detail.
Concept Formation as a Mathematical Process by Leonard Peikoff
In this video, Peikoff explains the deep parallels between concept formation and mathematics. This will connect directly with your quantitative background.
Watch the section from the mathematical parallels, where he lays out the similarities between measurement and conceptualization. The crucial point is that both processes relate a vast number of concretes back to a perceivable standard via quantitative means. Then, watch his explanation of commensurability, which is the technical key that makes this entire process possible.
As Peikoff explains, the key is commensurability. We can group entities into a concept because their distinguishing characteristics are measurable along a common axis, reducible to the same unit.
Rand herself drew the most famous analogy to algebra. A variable in an equation, like , doesn't stand for a specific number. It stands for some number, which could be any number (within the relevant domain). A concept, she argues, functions in the exact same way. The concept 'man' does not specify a particular height, weight, or IQ score; it holds them as variables that must have some value but can be any value within the human range.
This short clip powerfully illustrates the analogy between concepts and algebraic variables.
Watch from the analogy of algebra. This is perhaps the most elegant summary of Rand's "some but any" principle.
Given your background, we can push this mathematical analogy further. The following text explores the specific types of measurement scales implied by Rand's theory.
Universals and Measurement - Metaphysics and Epistemology - Objectivism Online Forum
This article from a forum by Stephen Boydstun provides a technical analysis of the mathematical structures underlying Rand's theory, connecting it to concepts from measurement theory that you would have encountered in statistics and econometrics.
Start by reading the section "Affordance of Ratio or Interval Measures". This part discusses how attributes like length (ratio scale) and temperature (interval scale) fit into the measurement-omission framework. Then, read the next section, "Affordance of Ordinal Measures". This is the most interesting part, as it argues that the minimal requirement for Rand's theory is merely an ordinal scale (e.g., Mohs hardness scale) and that the metaphysical structure implied is a "uniform topological lattice". This provides a rigorous mathematical interpretation of what "commensurable" means.
Nuances and Criticisms
This theory, while powerful, raises some questions.
- How can a child "omit measurements" before they can count or measure? Peikoff addresses this by distinguishing between implicit measurement (the direct perceptual grasp of "more or less" on a continuum) and explicit, numerical measurement. Concept formation relies only on the former.
- Are all differences truly quantitative? The measurement-omission model works beautifully for attributes like length, weight, or color. But what about concepts where the differences seem qualitative? Consider the concept 'book'. Books differ in page count (quantitative) but also in language (English, French, C++), genre (fiction, non-fiction), and binding (hardcover, paperback). Are these differences commensurable? Can we place 'romance novel' and 'calculus textbook' on a single continuous axis?
This second question exposes the boundary that you're keen to explore. The forum post you just read touches on this, with one author, "merjet," arguing that many differences are purely qualitative and cannot be reduced to measurement. This is a powerful critique and serves as a perfect entry point for the alternative view we will discuss next.
Conclusion
In this lesson, we have explored Ayn Rand's theory of measurement omission as a modern, sophisticated defense of the essentialist view of concepts.
Key Takeaways:
- Rand grounds concept formation in similarity, which she redefines as possessing the same characteristic(s) in different measures or degrees.
- The core mental process is measurement omission: retaining a commensurable characteristic while leaving the specific measurement unspecified.
- This is governed by the "some but any" principle: a characteristic must exist in some quantity, but may exist in any quantity within an appropriate range.
- The theory frames concepts as functioning like algebraic variables, providing a powerful tool for cognitive economy.
- The requirement of commensurability implies a specific kind of quantitative structure in reality, which can be analyzed using concepts from measurement theory, such as ordinal, interval, and ratio scales.
You now have a robust understanding of the two major essentialist theories: Aristotle's classical definition and Rand's modern, mathematical reformulation. We have also surfaced a key challenge to this view: the problem of seemingly incommensurable, qualitative differences.
In our next lesson, we will confront this challenge directly by turning to the other major pole of the debate: Ludwig Wittgenstein's theory of family resemblance. He argues that for many of our most important concepts, the search for a common essence—and by extension, a common measure—is a futile endeavor.