|
A definite description is a denoting phrase in the form of "the X" where X is a noun-phrase or a singular common noun that picks out a specific individual or object. For example: "the tallest student in the class", "the first monkey in space", "the 42nd President of the United States of America", and so forth. The phrase the present King of France, the classical example of an unsatisfied definite description, comes from an example due to Bertrand Russell, an apparent paradox raising some interesting questions about the law of excluded middle, denotation, and so on.
Russells analysis France is a republic, and has no king. Consider the statement "The present King of France is bald." Is this statement true? Is it false? Is it meaningless? It does not seem to be true, for there is no present King of France. But if it is false, then one would suppose that the negation of the statement is true, that is, "The present King of France has hair (is not bald)." But that seems no more true than the original statement. Is it meaningless, then? One might suppose so (and some philosophers have; see below), because it certainly does fail to denote in a sense, but on the other hand it seems to mean something that we can quite clearly understand. Russell, extending the work of Gottlob Frege, who had similar thoughts, proposed according to his 'theory of descriptions' that when we say "the present King of France is bald", we are making three separate assertions: Since assertion 1 is plainly false, and our statement is the conjunction of all three assertions, our statement is false. Similarly, for "the present King of France is not bald", we have the identical assertions 1 and 2 plus 4. x is not bald so "the present King of France is not bald", because it consists of a conjunction, one of whose terms is assertion 1 is also false. The law of the excluded middle is not violated because by denying both "the King of France is bald" and "the King of France is not bald," we are not asserting the existence of some x which is neither bald nor not bald, but denying the existence of some x which is the King of France. There is a second way of stating "the present King of France is not bald". Instead of substituting x in the sentence "x is not bald" as we have done above, we may negate (1) yielding "it is not the case that there exists an x and x is bald". This sentence is true as opposed to the statement obtained by the previous method and it seems more intuitive. Second, it is easier to see that it does not violate the law of excluded middle. Symbolic form When using the definite descriptor in a formal logical context, it is common to denote it by the symbol iota: ψ(ιx(φx)) ≔ ∃x(∀y(φy ↔ y = x) ∧ ψx). See also | ||||||||
|
| |||||||||
 |
|
| |