Tutorial Contents Tutorial Seven: Designators - Designators, the tableau rules and individual constants -
Using Russell's theory of descriptions - An oddity
More Tutorials

Exercise 7.3



Which of the following could be formalised (translated) as formulae of the predicate calculus, using Russell's theory of descriptions to translate the underlined designators. Where it is possible, provide such a translation. (There is no need to make the translation any more detailed than is required by the use of Russell's theory.

John is not the winner.


If John is the winner, he is a rich man.


Peter thinks that John is the winner.


The Prime Minister is always the First Lord of the Treasury.


The winner of a competition is the highest scorer in it.


Father Christmas does not exist.



Print this page