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'. |
17699 | Variables are auxiliary notions, and not part of the 'eternal' essence of logic [Schönfinkel] |
Full Idea: A variable in a proposition of logic ....has the status of a mere auxiliary notion that is really inappropriate to the constant, 'eternal' essence of the propositions of logic. | |
From: Moses Schönfinkel (Building Blocks of Mathematical Logic [1924], §1) | |
A reaction: He presumably thinks that what the variables stand for (and he mentions 'argument places' and 'operators') will be included in the essence. My attention was caught by the thought that he takes logic to have an essence. |
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…. |
1556 | By nature people are close to one another, but culture drives them apart [Hippias] |
Full Idea: I regard you all as relatives - by nature, not by convention. By nature like is akin to like, but convention is a tyrant over humankind and often constrains people to act contrary to nature. | |
From: Hippias (fragments/reports [c.430 BCE]), quoted by Plato - Protagoras 337c8 |