Combining Texts

All the ideas for 'works', 'Mathematical Logic (revised)' and 'De Veritate (On Truth)'

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

---

4 ideas

3. Truth / A. Truth Problems / 1. Truth

4748	Anselm of Canterbury identified truth with God [Anselm, by Engel]

5. Theory of Logic / D. Assumptions for Logic / 3. Contradiction

10121

Contradiction is not a sign of falsity, nor lack of contradiction a sign of truth [Pascal]

5. Theory of Logic / E. Structures of Logic / 4. Variables in Logic

12221

'Corner quotes' (quasi-quotation) designate 'whatever these terms designate' [Quine]

5. Theory of Logic / F. Referring in Logic / 1. Naming / f. Names eliminated

19321

We might do without names, by converting them into predicates [Quine, by Kirkham]