Combining Texts

All the ideas for 'Philosophical Explanations', 'Pacidius Philalethi dialogue' and 'Model Theory for Modal Logic I'

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


4 ideas

4. Formal Logic / D. Modal Logic ML / 3. Modal Logic Systems / h. System S5
S5 provides the correct logic for necessity in the broadly logical sense [Fine,K]
9. Objects / C. Structure of Objects / 8. Parts of Objects / a. Parts of objects
Indivisibles are not parts, but the extrema of parts [Leibniz]
11. Knowledge Aims / A. Knowledge / 4. Belief / c. Aim of beliefs
Maybe knowledge is belief which 'tracks' the truth [Nozick, by Williams,M]
13. Knowledge Criteria / C. External Justification / 4. Tracking the Facts
A true belief isn't knowledge if it would be believed even if false. It should 'track the truth' [Nozick, by Dancy,J]