Combining Texts

All the ideas for 'Epistemic Operators', 'Barcan Formulae' and 'Kant's Analytic'

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


3 ideas

4. Formal Logic / D. Modal Logic ML / 7. Barcan Formula
Barcan:nothing comes into existence; Converse:nothing goes out; Both:domain is unchanging [Vervloesem]
13. Knowledge Criteria / A. Justification Problems / 2. Justification Challenges / c. Knowledge closure
You have knowledge if you can rule out all the relevant alternatives to what you believe [Dretske, by DeRose]
27. Natural Reality / C. Space / 4. Substantival Space
Empty space is measurable in ways in which empty time necessarily is not [Bennett, by Shoemaker]