7 ideas
23295 | Truth cannot be reduced to anything simpler [Davidson] |
Full Idea: We cannot hope to underpin the concept of truth with something more transparent or easier to grasp. | |
From: Donald Davidson (The Folly of Trying to Define Truth [1999], p.21) | |
A reaction: I suppose precise accounts of correspondence or coherence are offered as replacements for truth, but neither of those ever seem to be possible. I agree with accepting truth as a primitive. |
23298 | Neither Aristotle nor Tarski introduce the facts needed for a correspondence theory [Davidson] |
Full Idea: Neither Aristotle's formula nor Tarski's truth definitions are sympathetic to the correspondence theory, because they don't introduce entities like facts or states of affairs for sentences to correspond. | |
From: Donald Davidson (The Folly of Trying to Define Truth [1999], p.25) | |
A reaction: This seems convincing, although it is often claimed that both theories offer a sort of correspondence. |
23297 | The language to define truth needs a finite vocabulary, to make the definition finite [Davidson] |
Full Idea: If the definition of the truth predicate is to be finite (Tarski insisted on this), the definition must take advantage of the fact that sentences, though potentially infinite in number, are constructed from a finite vocabulary. | |
From: Donald Davidson (The Folly of Trying to Define Truth [1999], p.23) | |
A reaction: Not sure whether this is in the object language or the meta-language, though I guess the former. |
23296 | We can elucidate indefinable truth, but showing its relation to other concepts [Davidson] |
Full Idea: We can still say revealing things about truth, by relating it to other concepts like belief, desire, cause and action. | |
From: Donald Davidson (The Folly of Trying to Define Truth [1999], p.21) | |
A reaction: The trickiest concept to link it to is meaning. I think Davidson's view points to the Axiomatic account of truth, which flourished soon after Davidson wrote this. We can give rules for the correct use of 'true'. |
10247 | We have no adequate logic at the moment, so mathematicians must create one [Veblen] |
Full Idea: Formal logic has to be taken over by mathematicians. The fact is that there does not exist an adequate logic at the present time, and unless the mathematicians create one, no one else is likely to do so. | |
From: Oswald Veblen (Presidential Address of Am. Math. Soc [1924], 141), quoted by Stewart Shapiro - Philosophy of Mathematics | |
A reaction: This remark was made well after Frege, but before the advent of Gödel and Tarski. That implies that he was really thinking of meta-logic. |
23294 | It is common to doubt truth when discussing it, but totally accept it when discussing knowledge [Davidson] |
Full Idea: You are following Plato's lead if you worry about the concept of truth when it is the focus of your attention, but you pretend you understand it when trying to cope with knowledge (or belief, memory, perception etc.). | |
From: Donald Davidson (The Folly of Trying to Define Truth [1999], p.20) | |
A reaction: Nice to find someone pointing out this absurdity. He says Hume does the same with doubts about the external world, which he ignores when discussing other minds. Belief is holding true; only truths are actually remembered…. |
7825 | The politics of Leibniz was the reunification of Christianity [Stewart,M] |
Full Idea: The politics of Leibniz may be summed up in one word: theocracy. The specific agenda motivating much of his work was to reunite the Protestant and Catholic churches | |
From: Matthew Stewart (The Courtier and the Heretic [2007], Ch. 5) | |
A reaction: This would be a typical project for a rationalist philosopher, who thinks that good reasoning will gradually converge on the one truth. |