2 ideas
18902 | Correspondence theories can't tell you what truths correspond to [Davidson] |
Full Idea: The real objection to correspondence theories is that such theories fail to provide entities to which truth vehicles (as statements, sentence, or utterances) can be said to correspond. | |
From: Donald Davidson (The Structure and Content of Truth [1990], p.304), quoted by Fred Sommers - Intellectual Autobiography Notes 23 | |
A reaction: This is the remark which provoked Sommers to come out with Idea 18901, which strikes me as rather profound. |
18801 | Classical negation is circular, if it relies on knowing negation-conditions from truth-conditions [Dummett] |
Full Idea: Explanations of classical negation assume that knowing what it is for the truth-condition of some statement to obtain, independently of recognising it to obtain, we thereby know what it is for it NOT to obtain; but this presupposes classical negation. | |
From: Michael Dummett (The Logical Basis of Metaphysics [1991], p.299), quoted by Ian Rumfitt - The Boundary Stones of Thought 1.1 | |
A reaction: [compressed wording] This is Dummett explaining why he prefers intuitionistic logic, with its doubts about double negation. |