Combining Texts

Ideas for 'works', 'Two Dogmas of Empiricism' and 'The Semantic Conception of Truth'

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

display all the ideas for this combination of texts

1 idea

5. Theory of Logic / D. Assumptions for Logic / 2. Excluded Middle
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.