Combining Texts

All the ideas for 'Philosophical Explanations', 'Reference and Generality (3rd ed)' and 'The Barcan Formula and Metaphysics'

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

---

11 ideas

4. Formal Logic / D. Modal Logic ML / 7. Barcan Formula

16186

The Barcan Formulas express how to combine modal operators with classical quantifiers [Simchen]

16187

The Barcan Formulas are orthodox, but clash with the attractive Actualist view [Simchen]

16190

BF implies that if W possibly had a child, then something is possibly W's child [Simchen]

6. Mathematics / A. Nature of Mathematics / 4. Using Numbers / d. Counting via concepts

12154

Are 'word token' and 'word type' different sorts of countable objects, or two ways of counting? [Geach, by Perry]

9. Objects / A. Existence of Objects / 6. Nihilism about Objects

8969	We should abandon absolute identity, confining it to within some category [Geach, by Hawthorne]

9. Objects / F. Identity among Objects / 3. Relative Identity

16075

Denial of absolute identity has drastic implications for logic, semantics and set theory [Wasserman on Geach]

12152

Identity is relative. One must not say things are 'the same', but 'the same A as' [Geach]

9. Objects / F. Identity among Objects / 8. Leibniz's Law

16073

Leibniz's Law is incomplete, since it includes a non-relativized identity predicate [Geach, by Wasserman]

10. Modality / E. Possible worlds / 1. Possible Worlds / d. Possible worlds actualism

16188

Serious Actualism says there are no facts at all about something which doesn't exist [Simchen]

11. Knowledge Aims / A. Knowledge / 4. Belief / c. Aim of beliefs

3570	Maybe knowledge is belief which 'tracks' the truth [Nozick, by Williams,M]

13. Knowledge Criteria / C. External Justification / 4. Tracking the Facts

2748	A true belief isn't knowledge if it would be believed even if false. It should 'track the truth' [Nozick, by Dancy,J]