Combining Philosophers

Ideas for Alfred Tarski, Prodicus and P. Johnson-Laird

unexpand these ideas     |    start again     |     choose another area for these philosophers

display all the ideas for this combination of philosophers


2 ideas

5. Theory of Logic / L. Paradox / 6. Paradoxes in Language / a. The Liar paradox
Tarski avoids the Liar Paradox, because truth cannot be asserted within the object language [Tarski, by Fisher]
     Full Idea: In Tarski's account of truth, self-reference (as found in the Liar Paradox) is prevented because the truth predicate for any given object language is never a part of that object language, and so a sentence can never predicate truth of itself.
     From: report of Alfred Tarski (The Concept of Truth for Formalized Languages [1933]) by Jennifer Fisher - On the Philosophy of Logic 03.I
     A reaction: Thus we solve the Liar Paradox by ruling that 'you are not allowed to say that'. Hm. The slightly odd result is that in any conversation about whether p is true, we end up using (logically speaking) two different languages simultaneously. Hm.
The Liar makes us assert a false sentence, so it must be taken seriously [Tarski]
     Full Idea: In my judgement, it would be quite wrong and dangerous from the point of view of scientific progress to depreciate the importance of nhtinomies like the Liar Paradox, and treat them as jokes. The fact is we have been compelled to assert a false sentence.
     From: Alfred Tarski (The Semantic Conception of Truth [1944], 07)
     A reaction: This is the heartfelt cry of the perfectionist, who wants everything under control. It was the dream of the age of Frege to Hilbert, which gradually eroded after Gödel's Incompleteness proof. Short ordinary folk panic about the Liar?