Combining Texts

All the ideas for 'General Facts,Phys Necessity, and Metaph of Time', 'Tarski on Truth and Logical Consequence' and 'Rationale and Maxims in Study of Concepts'

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


4 ideas

3. Truth / B. Truthmakers / 3. Truthmaker Maximalism
The truth-maker principle is that every truth has a sufficient truth-maker [Forrest]
     Full Idea: Item x is said to be a sufficient truth-maker for truth-bearer p just in case necessarily if x exists then p is true. ...Every truth has a sufficient truth-maker. Hence, I take it, the sum of all sufficient truth-makers is a universal truth-maker.
     From: Peter Forrest (General Facts,Phys Necessity, and Metaph of Time [2006], 1)
     A reaction: Note that it is not 'necessary', because something else might make p true instead.
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.
18. Thought / D. Concepts / 3. Ontology of Concepts / a. Concepts as representations
If concepts just are mental representations, what of concepts we may never acquire? [Peacocke]
     Full Idea: We might say that the concept just is the mental representation, ...but there are concepts that human beings may never acquire. ...But if concepts are individuated by their possession conditions this will not be a problem.
     From: Christopher Peacocke (Rationale and Maxims in Study of Concepts [2005], p.169), quoted by E Margolis/S Laurence - Concepts 1.3
     A reaction: I'm not sure that I understand the notion of a concept we (or any other creature) may never acquire. They no more seem to exist than buildings that were never even designed.