Practical guide

Negating a Definite Description: Russell’s Outer and Inner Readings

Russell’s outer denial can hold when no unique P exists; the inner denial still requires one. Compare four complete models and make the chosen analysis explicit.

Philosophy students and independent logic learners · 5 minute read · Published

On this page

Name the analysis before choosing a negation scope

Under Russell’s analysis, outer negation and inner negation have different existence requirements. Outer negation denies the whole claim that there exists a unique P and it is Q. Inner negation says there exists a unique P and it is not Q.

If there is no unique P, the first denial is true and the second is false under this classical analysis. This is a specified account of definite descriptions, not a claim that every ordinary English speaker or every theory of language assigns these truth values.

Definitions and rules: [2].

P and Q below are one-place predicates in a nonempty domain. Identity expresses the same object. All models are constructed examples; the labels do not stand for actual officeholders, historical people or a real database.

Separate existence, uniqueness and predication

The P is Q, under the chosen analysis:
∃x(Px ∧ ∀y(Py→y=x) ∧ Qx)

Outer negation:
¬∃x(Px ∧ ∀y(Py→y=x) ∧ Qx)

Inner negation:
∃x(Px ∧ ∀y(Py→y=x) ∧ ¬Qx)

Px supplies a P witness; ∀y(Py→y=x) makes it the only P; Qx attributes Q to that witness. The outer ¬ has the entire existential formula in its scope. The inner ¬ is attached only to Qx and leaves the existence and uniqueness requirements in place.

The phrase “the P is not Q” is the label for the inner reading here. In ordinary text, a writer might intend a broader denial. Parenthesized formulas expose the distinction that word order alone may leave unclear.

Definitions and rules: [2] [1].

Evaluate four complete original interpretations

Each model has D={A,B}. The four cases vary the P and Q extensions. The two-P model deliberately makes A Q and B not Q: the failure there is uniqueness, regardless of either individual’s Q status.

On a narrow screen, scroll inside this table. Keyboard users can focus the region and use the arrow keys.

Complete predicate extensions
ModelP(A)P(B)Q(A)Q(B)
Zero PFalseFalseTrueFalse
One P, QTrueFalseTrueFalse
One P, not QTrueFalseFalseFalse
Two PTrueTrueTrueFalse

Download all memberships in the four models

On a narrow screen, scroll inside this table. Keyboard users can focus the region and use the arrow keys.

Truth values under Russell’s specified analysis
ModelThe P is QOuter negationInner negation
Zero PFalseTrueFalse
One P, QTrueFalseFalse
One P, not QFalseTrueTrue
Two PFalseTrueFalse

With zero P, no existential witness can satisfy either inner description formula; the positive claim is false and its outer negation true. With one Q-P, the positive claim is true and both denials false. With one non-Q-P, the positive claim is false and both denials true.

With two P objects, choose either candidate x and the other P object defeats the uniqueness conjunct. Neither positive nor inner-negative description succeeds. Outer negation is true because the whole positive description claim is false.

See why inner denial entails outer denial, but not conversely

Suppose the inner formula is true. There is a unique P object d and d is not Q. Any witness for the positive formula would also have to be P, and uniqueness would make it the very same d. It cannot satisfy Q. Therefore the positive formula is false and outer negation true.

That argument is general, rather than limited to the displayed two-object cases. The converse fails: the zero-P model has true outer negation but false inner negation. The two-P model gives another failure of the converse.

So the gap is not merely “Q versus not Q.” The inner reading commits to a unique referent; the outer reading can be true precisely because that commitment fails. State which commitment you intend before paraphrasing the formula.

Keep the worked analysis separate from alternative accounts

The cited description chapter also discusses objections and alternatives to treating every definite description this way, including the question whether a failed presupposition should make an utterance false at all. It also discusses differences between descriptive content and a speaker’s intended reference.

Definitions and rules: [2].

Those issues do not change the computations once we explicitly choose the Russell formulas. They do limit what we should conclude about unformalized conversation. A careful exercise can say “under Russell’s analysis” and then evaluate the supplied model; it should not announce that it has settled every account of ordinary language.

When reading a philosophical argument, first record the author’s chosen treatment of “the P.” Then distinguish the formal truth-value calculation from the interpretation of an actual speaker’s intention. If the text leaves scope open, report the competing readings instead of silently resolving them.

Try three description-scope checks

These answers use exactly the Russell formulas and complete classical models above.

Case 1

No object is P. Is the inner formula the P is not Q true?

Show answer and explanation for case 1

No.

The inner formula still requires a unique P witness. Existence fails, although outer negation of the positive description is true.

Case 2

There are two P objects and A is Q. Does that make the P is Q true?

Show answer and explanation for case 2

No.

The chosen analysis requires uniqueness, not merely some P that is Q. Either proposed witness is defeated by the other P object.

Case 3

If the inner negation is true, can the positive description also be true?

Show answer and explanation for case 3

No.

Both would require the unique P to be their witness, but one demands Q and the other ¬Q of that same object. Thus inner negation entails outer negation.

Sources and further reading

  1. forall x: Calgary, chapter 26: IdentityFormal background in S1, S3, S4, S5. The records, explanations and worked examples on this page are original additions, rather than copied textbook exercises.
  2. forall x: Calgary, chapter 28: Definite descriptionsFormal background in S2, S3, S5. The records, explanations and worked examples on this page are original additions, rather than copied textbook exercises.
  3. forall x: Calgary — credits, editions and CC BY 4.0 licenseBased on work by P. D. Magnus and Tim Button, revised and expanded by Aaron Thomas-Bolduc and Richard Zach, with further contributions credited by the textbook. Referenced HTML revision: Fall 2025, bb86fe9 (2026-10-22). No author endorsement is implied.