Understanding the Difference: Propositions vs. Judgments in Logic

In everyday conversation, we often use the words “proposition” and “judgment” as if they mean the same thing. But in logic, they refer to two very different things – one belongs to the world of language and objective truth, the other to the inner workings of the mind. Getting this distinction right is not a matter of splitting hairs; it is foundational to understanding how logical reasoning actually works. Once you see the difference, a lot of what can seem confusing about logic starts to make sense.

What is a proposition? 🔗

A proposition is a declarative statement that has a definite truth value – it is either true or false, even if we don’t yet know which. This is the core criterion. Statements like “The Earth revolves around the Sun” or “All humans are mortal” are propositions because they make objective claims about the world that can, in principle, be verified or falsified.

Three features define a proposition in logic. First, it must carry a truth value: every proposition is either true or false. Following the Stoic principle of bivalence, every proposition falls on one side of this binary – there is no middle ground. Second, a proposition must be clear and precise: vague or ambiguous utterances do not qualify. “It might rain” is not a proposition in the strict logical sense; “It will rain in Kolkata tomorrow” is. Third, and crucially, a proposition is objective: its truth or falsity does not depend on who is reading or thinking it. “Water boils at 100°C at sea level” is true regardless of whether you believe it or not.

This objectivity is what gives propositions their central role in logic. Following the Platonist tradition of Bernard Bolzano and Gottlob Frege, propositions are often treated as abstract objects that exist independently of any individual mind – they would be true or false even if no human were around to think about them.

Sentences that are not propositions 🔗

It is important to note that not every sentence is a proposition. Being true or false is a property of propositions – and not all sentences carry this property. Questions, commands, and exclamations do not assert anything that can be true or false. “Close the door!” is not a proposition. “Is it raining?” is not a proposition. Only declarative sentences – those that assert or deny something – can express propositions. This distinction matters enormously in logic, where precision of language is everything.

What is a judgment? 🔗

A judgment, by contrast, is a mental act – the cognitive process by which a person affirms or denies that a proposition is true. Where a proposition is the content (the “what”), a judgment is the act (the “doing”). When you look at the proposition “All dogs are mammals” and conclude that it is true, you are making a judgment. The proposition itself sits unchanged; your judgment is your personal engagement with it.

In the Thomistic tradition, the intellect first forms propositions through composition (combining concepts, as in “Man is rational”) or division (separating them, as in “Wealth is not happiness”), and only then makes a judgment about whether that composition or division matches reality. Truth or falsity enters the picture precisely at this moment of judgment – when the mind either conforms to, or departs from, what is actually the case in the world.

This is why, as Aquinas writes in the Summa Theologiae, “Truth is in the intellect composing and dividing.” The proposition is the vehicle; the judgment is the driver.

The subjective character of judgment 🔗

The key distinguishing feature of a judgment is its subjectivity. Two people can look at the same proposition and make different judgments about it. This is especially evident in contested domains – ethics, politics, aesthetics – where the proposition might be clear but people’s assessments diverge sharply. As Frank Pfenning’s lecture notes on modal logic note, judgments carry a subjective quality that is generally set aside in purely mathematical logic, where every proposition is treated as objectively either true or false. In more complex logical contexts – involving what an agent knows, believes, or affirms – the role of judgment becomes unavoidable.

Another way to see this: a proposition is static. “The Earth is flat” is a proposition that has always been false, regardless of who considers it or when. But judgments vary. Someone in the ancient world may have judged this proposition to be true; a scientist today will judge it to be false. The proposition did not change – the judgments did.

How philosophers have drawn this distinction 🔗

The proposition-judgment distinction has been debated and refined across centuries of philosophy. According to the Internet Encyclopedia of Philosophy’s entry on Kant’s logic, Kant distinguished between the assertoric mode of a judgment – where a judgment is accepted as true – and its propositional content, which is the logical material being assessed. For Kant, modality (whether something is judged as possible, actual, or necessary) belongs to the judgment, not to the proposition itself. This was a major conceptual innovation: the same propositional content could be held with varying degrees of cognitive commitment.

Gottlob Frege pushed this distinction even further. As analyzed in the journal Mind, Frege insisted that logic must separate the act of grasping a thought (engaging with a proposition) from the act of judgment (acknowledging it as true). For Frege, a proposition is the thought-content – objective and shareable. A judgment is the agent’s endorsement of that content as true. Crucially, Frege’s logical system in Begriffsschrift introduced a special “judgment stroke” symbol (⊢) to distinguish a mere propositional content from an asserted proposition – a formalization of precisely this distinction.

According to the Stanford Encyclopedia of Philosophy, Kantian judgments are neither purely psychological events nor abstract Platonic objects – they are cognitively generated mental-act structures that express propositions and are capable of truth or falsity. This makes them a bridge between the objective world of propositions and the subjective world of the knowing mind.

The relationship between propositions and judgments 🔗

Propositions and judgments are not opposites – they are complementary. A proposition provides the content; a judgment provides the attitude toward that content. In logic, we work primarily with propositions because they are the stable, objective units of reasoning. In epistemology and cognitive science, we work primarily with judgments because they describe how minds engage with those units.

Consider the proposition: “Climate change is primarily caused by human activity.” This statement has a definite truth value – it is either true or false based on the evidence. But when different people engage with this proposition, they make different judgments. A climate scientist may judge it to be true based on empirical data. A skeptic may judge it to be unproven. A policymaker may judge it to be probable enough to act on. The proposition remains the same across all these cases; the judgments differ based on individual knowledge, attitude, and context.

This is also why in propositional logic, the logician’s task is to determine whether a statement is actually true or false – which is distinct from merely entertaining the statement as a possibility. Entertaining a proposition is not the same as judging it.

Why this distinction matters in practice 🔗

In formal logic, propositions do all the heavy lifting. They are the building blocks of arguments – premises and conclusions are all propositions, and logical validity is assessed based on the truth-value relationships between them. Judgments, by contrast, are what real human reasoners do when they engage with arguments: they assess, weigh, and decide.

Understanding this distinction helps avoid a common error in reasoning: confusing the content of a claim with one’s attitude toward it. When someone says “I believe the economy will improve next year,” they are reporting a judgment, not stating a proposition about the economy. The proposition would be “The economy will improve next year” – that is the content which is either true or false. The “I believe” part is the judgment, a subjective stance toward that proposition.

This is not a minor semantic point. Much confusion in public debate, philosophy, and even science stems from failing to separate the objective content of what is being claimed from the subjective confidence or attitude with which it is being held. Logic’s insistence on the proposition-judgment distinction is, in effect, a demand for intellectual clarity: know what you are claiming, and know what you are doing when you claim it.

Propositions as the foundation of logical arguments 🔗

In any logical argument, what gets analyzed is not judgments but propositions. The argument “All humans are mortal; Socrates is human; therefore, Socrates is mortal” works entirely at the level of propositions. Whether Socrates himself, or anyone reading this syllogism, judges each premise to be true is a separate question – one that belongs to epistemology, not to formal logic. Logic evaluates whether the conclusion follows necessarily from the premises, irrespective of anyone’s psychological attitude toward those premises.

This is why as the Internet Encyclopedia of Philosophy explains in its treatment of Frege’s philosophy of language, the logician’s primary task is to separate the logical from the psychological – to identify what is being claimed (the proposition) and evaluate its inferential relationships, while setting aside how confidently or tentatively any individual mind holds that claim (the judgment).

What do you think? If two people examine the same proposition but reach opposite judgments about it, does that mean the proposition itself has no fixed truth value – or does it simply mean that one of their judgments is wrong? And in domains like ethics or aesthetics, where “truth” is contested, can propositions still retain the objectivity that logic demands of them?

References

1. https://en.wikipedia.org/wiki/Proposition
2. https://human.libretexts.org/Bookshelves/Philosophy/Critical_Reasoning_and_Writing_(Levin_et_al.)/04:_Deductive_Arguments/4.03:_Propositions_Inferences_and_Judgments
3. https://aquinasonline.com/logic-judgment/
4. https://www.cs.cmu.edu/~fp/courses/15816-s10/lectures/01-judgments.pdf
5. https://iep.utm.edu/k-logic/
6. https://academic.oup.com/mind/article/127/505/225/3852036
7. https://plato.stanford.edu/entries/frege-logic/
8. https://plato.stanford.edu/entries/kant-judgment/
9. https://iep.utm.edu/freg-lan/