Every time you recognize a chair as a chair, conclude that a friend is unwell after observing symptoms, or follow a logical argument to its conclusion, you are performing an act of epistemic judgment. But this seemingly effortless cognitive move rests on two foundational pillars that philosophers have examined for centuries: concepts and propositions. Understanding how these two elements work – and how they interact – is essential to understanding what knowledge actually is and how human minds build it.
Table of Contents
What are concepts?
A concept is a mental representation of a category or class of things. In epistemology, propositional knowledge – the paradigmatic form of knowledge studied by philosophers – takes the form of mental representations involving concepts, ideas, theories, and general rules. Concepts, in other words, are not incidental to knowledge; they are its very fabric.
Consider the concept of “water.” It does not refer to a specific glass of water on a specific table. It refers to water universally – whatever its container, temperature, or location. This is what makes concepts philosophically interesting: they are general. The concept “bird” covers sparrows, eagles, and penguins, despite their differences. According to the Internet Encyclopedia of Philosophy, even simple acts of observation involve conceptual knowledge – knowing that a cat is sleeping in front of you requires the concept of “cat,” the concept of “sleeping,” and the conceptual framework to bring them together. Without concepts, raw perceptual experience would remain cognitively inert.
In philosophy, concepts are often treated as universal ideas – representations that apply across multiple individual instances of the same kind of thing. This universality is precisely what makes concepts epistemically valuable: they allow us to generalize from particular experiences and apply what we know in new situations.
What are propositions?
While a concept is a general mental representation, a proposition is a declarative statement that connects concepts to form a claim about the world – one that is either true or false. Propositions are the building blocks of epistemic judgment. When you assert “Water boils at 100°C at sea level” or “All mammals are warm-blooded,” you are expressing propositions.
Propositional knowledge, also called knowledge-that, is the primary focus of traditional epistemology. It is a form of theoretical knowledge about facts, expressible through declarative statements – for instance, “Akari knows that kangaroos hop.” This stands in contrast to procedural knowledge (knowing how to ride a bicycle) or knowledge by acquaintance (knowing a person through experience). Epistemologists concentrate on propositional knowledge precisely because propositions are truth-apt: they can be evaluated as true or false, which makes them the right kind of thing to serve as objects of knowledge.
Propositions also make logical inference possible. If you know that “all dogs are mammals” and “Fido is a dog,” you can logically deduce that “Fido is a mammal.” This capacity to generate new knowledge by chaining propositions together is, as the Internet Encyclopedia of Philosophy notes, a cornerstone of human reasoning. Through propositions, we test hypotheses, draw inferences, and engage in systematic inquiry – scientific or philosophical.
How concepts and propositions form epistemic judgment
A judgment, in the epistemological sense, is the mental act of asserting a proposition – affirming or denying something about the world. Concepts supply the content of this act; propositions provide its structure. You cannot form the judgment “This fruit is ripe” without the concept of “fruit,” the concept of “ripeness,” and the propositional form that links them. Judgment, then, is the cognitive site where concepts become active tools for generating knowledge.
Kant’s theory of judgment is perhaps the most systematic account of this relationship. For Kant, the capacity for judgment is the central cognitive faculty of the rational human mind. Judgments, in his view, are complex conscious cognitions that refer to objects via concepts, express true or false propositions, and mediate the formation of beliefs. Kant also drew a crucial distinction between analytic and synthetic judgments. In an analytic judgment like “All bachelors are unmarried,” the predicate is already contained within the subject-concept – it unpacks what is already implicit. A synthetic judgment like “This ball is red,” by contrast, adds something new: it connects the concept to an object given in experience. According to Kant, a proposition is a priori if it is necessary and universal; knowledge gained through the senses, being contingent and particular, can never carry this modal force on its own.
This distinction matters because it shows that not all epistemic judgments work the same way. Some deliver conceptual truths; others deliver empirical ones. And some – Kant’s famous synthetic a priori – do both, extending our knowledge beyond mere concept analysis while remaining independent of particular experience. Mathematical truths like “7 + 5 = 12” were Kant’s prime example.
The classical definition of knowledge and the role of propositions
The most influential account of propositional knowledge in Western philosophy is the justified true belief (JTB) theory, traceable back to Plato’s Theaetetus. On this account, you know that P if and only if: (1) P is true, (2) you believe that P, and (3) your belief is justified. As epistemologists frame it, knowledge is a mental state – it exists in one’s mind – but its content is propositional, and it must have both subjective conviction and objective grounds to count as genuine knowledge rather than lucky guessing.
The JTB account places propositions at the heart of knowledge: what you know is always a proposition, and the proposition must be true. A belief based on superstition or coincidence may happen to be true, but it does not count as knowledge because the justification is not properly connected to the truth. This is why epistemologists require that knowledge exclude “cognitive luck” – the accidental alignment of belief and truth.
The JTB account was famously challenged by Edmund Gettier in 1963, who constructed cases where someone holds a justified true belief that still intuitively does not amount to knowledge. These Gettier problems prompted decades of philosophical responses – from reliabilism (knowledge requires beliefs formed by reliable cognitive processes) to virtue epistemology (knowledge requires the exercise of intellectual virtues). Each of these alternatives retains the proposition as the object of knowledge but refines the conditions under which a propositional belief qualifies as genuine knowledge.
The problem of universals: do concepts reflect reality?
If concepts are universal representations, a deep question follows: what exactly are they representations of? Do universals – properties like “redness,” “justice,” or “humanness” – actually exist in the world, or are they constructs of the mind or language? This is the problem of universals, one of the longest-standing debates in philosophy, and it has direct implications for the epistemic value of concepts.
Realism
Realism holds that universals are genuinely real, existing independently of individual minds. Plato’s theory of Forms is the classic formulation: properties like “Beauty” or “Justice” exist in a non-physical realm, and particular beautiful things or just acts only imperfectly participate in these eternal Forms. On this view, concepts give us epistemic access to a higher-order reality. Aristotle offered a more moderate version – universals exist, but only within particular things, not in a separate realm. His position was later developed by thinkers like Thomas Aquinas, and revived in the 20th century by David Armstrong, who grounded universals in the actual findings of natural science rather than in Platonic abstraction.
Nominalism
Nominalism rejects the independent existence of universals entirely. On the nominalist account, only individual, particular things exist. What we call a “universal” is nothing more than a name – a linguistic label we apply to a group of similar things. William of Ockham, the most influential medieval nominalist, argued that universals are mental ways of referring to sets of individuals, existing only as thought-objects in the mind. John Stuart Mill summarized the spirit of this view: there is nothing general except names. For nominalism, concepts do not capture mind-independent universals; they organize our experience through the words and categories we choose to use.
Conceptualism
Between these two positions lies conceptualism, which holds that universals are neither mind-independent realities nor mere names, but rather general concepts in the mind. As the Internet Encyclopedia of Philosophy explains, conceptualists argue that qualitative identity and resemblance among particulars are explained by reference to concepts or ideas – many individuals fall under the same concept because that concept is general, not because they share a universal entity in the world. Peter Abelard and, in different ways, John Locke developed influential versions of this view. The difficulty conceptualism faces, however, is circularity: to say that a concept rightly applies to two individuals, one still needs to explain what makes those individuals similar enough to fall under the same concept – and that explanation seems to reintroduce either realism or bare resemblance.
The debate is not merely abstract. As Britannica notes, the position one takes on universals affects what counts as valid knowledge. If realism is true, concepts can genuinely track features of mind-independent reality. If nominalism is true, what concepts track is more about linguistic convention and cognitive habit than about the structure of the world as it is.
The cognitive value of concepts in knowledge formation
Regardless of where one lands on the metaphysics of universals, the cognitive role of concepts in knowledge formation is not in doubt. Humanities LibreTexts notes Bertrand Russell’s point that even direct perception is mediated by concepts: when we see a bird on a branch, we are immediately aware of a perceptual experience and then infer – swiftly and often unconsciously – that there is a bird, which is itself a conceptual act. Perception, memory, and testimony all deliver raw material; concepts organize that material into something an epistemic agent can actually work with.
Propositions then take this conceptually organized content and render it truth-evaluable. Together, concepts and propositions do the essential cognitive work of knowledge: they take in experience, classify it, connect it, and subject it to rational assessment. The Stanford Encyclopedia of Philosophy observes that those individuals who are cognitively sensitive to facts for which adequate conceptual resources have not yet been developed find that their insights are not recognized as knowledge – highlighting just how dependent the social recognition of knowledge is on having the right conceptual vocabulary available.
This insight points toward a broader theme. Concepts are not passive mirrors of reality; they are active tools that shape what we can perceive, judge, and know. The concepts available to a culture, a discipline, or an era determine the contours of its epistemic horizon. Expanding our conceptual vocabulary – as science, philosophy, and social inquiry continually do – literally expands what it is possible to know.
What do you think? If concepts are the tools through which we form knowledge, does that mean different conceptual frameworks lead to genuinely different knowledge – or only to different descriptions of the same underlying reality? And if universals do not exist independently of our minds, as nominalists claim, can any proposition about the world claim to be truly objective?
References
- https://en.wikipedia.org/wiki/Epistemology
- https://iep.utm.edu/knowledg/
- https://en.wikipedia.org/wiki/Knowledge
- https://iep.utm.edu/epistemo/
- https://plato.stanford.edu/entries/kant-judgment/
- https://en.wikipedia.org/wiki/Critique_of_Pure_Reason
- https://www.britannica.com/topic/realism-philosophy/Universals
- https://en.wikipedia.org/wiki/Nominalism
- https://iep.utm.edu/universa/
- https://human.libretexts.org/Bookshelves/Philosophy/Introduction_to_Philosophy_(OpenStax)/07:_Epistemology/7.01:_What_Epistemology_Studies
- https://plato.stanford.edu/entries/epistemology/
Leave a Reply