Combining Texts

All the ideas for 'Logicism, Some Considerations (PhD)', 'Mathematical Logic (revised)' and 'The Folly of Trying to Define Truth'

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


11 ideas

3. Truth / A. Truth Problems / 2. Defining Truth
Truth cannot be reduced to anything simpler [Davidson]
3. Truth / C. Correspondence Truth / 3. Correspondence Truth critique
Neither Aristotle nor Tarski introduce the facts needed for a correspondence theory [Davidson]
3. Truth / F. Semantic Truth / 1. Tarski's Truth / c. Meta-language for truth
The language to define truth needs a finite vocabulary, to make the definition finite [Davidson]
3. Truth / G. Axiomatic Truth / 1. Axiomatic Truth
We can elucidate indefinable truth, but showing its relation to other concepts [Davidson]
5. Theory of Logic / E. Structures of Logic / 4. Variables in Logic
'Corner quotes' (quasi-quotation) designate 'whatever these terms designate' [Quine]
5. Theory of Logic / F. Referring in Logic / 1. Naming / f. Names eliminated
We might do without names, by converting them into predicates [Quine, by Kirkham]
6. Mathematics / A. Nature of Mathematics / 3. Nature of Numbers / a. Numbers
Obtaining numbers by abstraction is impossible - there are too many; only a rule could give them, in order [Benacerraf]
We must explain how we know so many numbers, and recognise ones we haven't met before [Benacerraf]
6. Mathematics / A. Nature of Mathematics / 3. Nature of Numbers / c. Priority of numbers
If numbers are basically the cardinals (Frege-Russell view) you could know some numbers in isolation [Benacerraf]
6. Mathematics / B. Foundations for Mathematics / 7. Mathematical Structuralism / a. Structuralism
An adequate account of a number must relate it to its series [Benacerraf]
13. Knowledge Criteria / A. Justification Problems / 1. Justification / a. Justification issues
It is common to doubt truth when discussing it, but totally accept it when discussing knowledge [Davidson]