Combining Texts

All the ideas for 'Phenomenalism', 'On the General Idea of Proof Theory' and 'Mathematical Logic (revised)'

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

6 ideas

5. Theory of Logic / B. Logical Consequence / 1. Logical Consequence
13827 Logical consequence isn't a black box (Tarski's approach); we should explain how arguments work [Prawitz]
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]
5. Theory of Logic / J. Model Theory in Logic / 1. Logical Models
13826 Model theory looks at valid sentences and consequence, but not how we know these things [Prawitz]
11. Knowledge Aims / C. Knowing Reality / 2. Phenomenalism
2614 Modern phenomenalism holds that objects are logical constructions out of sense-data [Ayer]
12. Knowledge Sources / B. Perception / 4. Sense Data / a. Sense-data theory
2615 The concept of sense-data allows us to discuss appearances without worrying about reality [Ayer]