Combining Texts

All the ideas for 'Phenomenalism', 'Completeness of Axioms of Logic' and 'Transworld Heir Lines'

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

9 ideas

4. Formal Logic / C. Predicate Calculus PC / 3. Completeness of PC
17751 Gödel proved the completeness of first order predicate logic in 1930 [Gödel, by Walicki]
5. Theory of Logic / C. Ontology of Logic / 1. Ontology of Logic
11970 Logicians like their entities to exhibit a maximum degree of purity [Kaplan]
9. Objects / C. Structure of Objects / 7. Substratum
11969 Models nicely separate particulars from their clothing, and logicians often accept that metaphysically [Kaplan]
10. Modality / E. Possible worlds / 3. Transworld Objects / a. Transworld identity
11971 The simplest solution to transworld identification is to adopt bare particulars [Kaplan]
10. Modality / E. Possible worlds / 3. Transworld Objects / c. Counterparts
11973 Unusual people may have no counterparts, or several [Kaplan]
11972 Essence is a transworld heir line, rather than a collection of properties [Kaplan]
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]
19. Language / A. Nature of Meaning / 8. Synonymy
11967 Sentences might have the same sense when logically equivalent - or never have the same sense [Kaplan]