display all the ideas for this combination of texts
2 ideas
8195 | Undecidable statements result from quantifying over infinites, subjunctive conditionals, and the past tense [Dummett] |
Full Idea: I once wrote that there are three linguistic devices that make it possible for us to frame undecidable statements: quantification over infinity totalities, as expressed by word such as 'never'; the subjunctive conditional form; and the past tense. | |
From: Michael Dummett (Truth and the Past [2001], 4) | |
A reaction: Dummett now repudiates the third one. Statements containing vague concepts also appear to be undecidable. Personally I have no problems with deciding (to a fair extent) about 'never x', and 'if x were true', and 'it was x'. |
19192 | The truth definition proves semantic contradiction and excluded middle laws (not the logic laws) [Tarski] |
Full Idea: With our definition of truth we can prove the laws of contradiction and excluded middle. These semantic laws should not be identified with the related logical laws, which belong to the sentential calculus, and do not involve 'true' at all. | |
From: Alfred Tarski (The Semantic Conception of Truth [1944], 12) | |
A reaction: Very illuminating. I wish modern thinkers could be so clear about this matter. The logic contains 'P or not-P'. The semantics contains 'P is either true or false'. Critics say Tarski has presupposed 'classical' logic. |