Combining Texts

All the ideas for 'fragments/reports', 'Reply to Hellman' and 'Tarski on Truth and Logical Consequence'

unexpand these ideas     |    start again     |     specify just one area for these texts


4 ideas

3. Truth / F. Semantic Truth / 1. Tarski's Truth / c. Meta-language for truth
'Snow is white' depends on meaning; whether snow is white depends on snow [Etchemendy]
     Full Idea: The difference between (a) snow is white, and (b) 'snow is white' true is that the first makes a claim that only depends on the colour of snow, while the second depends both on the colour of snow and the meaning of the sentence 'snow is white'.
     From: John Etchemendy (Tarski on Truth and Logical Consequence [1988], p.61), quoted by Richard L. Kirkham - Theories of Truth: a Critical Introduction 5.7
     A reaction: This is a helpful first step for those who have reached screaming point by being continually offered this apparently vacuous equivalence. This sentence works well if that stuff is a particular colour.
3. Truth / G. Axiomatic Truth / 1. Axiomatic Truth
We can get a substantive account of Tarski's truth by adding primitive 'true' to the object language [Etchemendy]
     Full Idea: Getting from a Tarskian definition of truth to a substantive account of the semantic properties of the object language may involve as little as the reintroduction of a primitive notion of truth.
     From: John Etchemendy (Tarski on Truth and Logical Consequence [1988], p.60), quoted by Donald Davidson - Truth and Predication 1
     A reaction: This is, I think, the first stage in modern developments of axiomatic truth theories. The first problem would be to make sure you haven't reintroduced the Liar Paradox. You need axioms to give behaviour to the 'true' predicate.
10. Modality / A. Necessity / 8. Transcendental Necessity
Everything happens by reason and necessity [Leucippus]
     Full Idea: Nothing happens at random; everything happens out of reason and by necessity.
     From: Leucippus (fragments/reports [c.435 BCE], B002), quoted by (who?) - where?
12. Knowledge Sources / A. A Priori Knowledge / 2. Self-Evidence
A sentence is obvious if it is true, and any speaker of the language will instantly agree to it [Quine]
     Full Idea: A sentence is obvious if (a) it is true and (b) any speaker of the language is prepared, for any reason or none, to assent to it without hesitation, unless put off by being asked so obvious a question.
     From: Willard Quine (Reply to Hellman [1975], p.206), quoted by Paul Boghossian - Analyticity Reconsidered §III
     A reaction: This comes from someone who is keen to deny a priori knowledge, but what are we to make of the expostulations "It's obvious, you idiot!", and "Now I see it, it's obvious!", and "It seemed obvious, but I was wrong!"?