| ||||||||||||||||||||||||||||||
Exercise 7.3
1 |
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. | |
| (i) |
John is not the winner. |
|
| (ii) |
If John is the winner, he is a rich man. |
|
| (iii) |
Peter thinks that John is the winner. |
|
| (iv) |
The Prime Minister is always the First Lord of the Treasury. |
|
| (v) |
The winner of a competition is the highest scorer in it. |
|
| (vi) |
Father Christmas does not exist. |
|
 |
Print this page |
