Combining Texts

All the ideas for 'Philosophical Explanations', 'Journals' and 'An Introduction to Modal Logic'

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

---

7 ideas

4. Formal Logic / B. Propositional Logic PL / 2. Tools of Propositional Logic / b. Terminology of PL

9540	A 'value-assignment' (V) is when to each variable in the set V assigns either the value 1 or the value 0 [Hughes/Cresswell]

4. Formal Logic / B. Propositional Logic PL / 2. Tools of Propositional Logic / d. Basic theorems of PL

9541	The Law of Transposition says (P→Q) → (¬Q→¬P) [Hughes/Cresswell]

4. Formal Logic / B. Propositional Logic PL / 4. Soundness of PL

9543	The rules preserve validity from the axioms, so no thesis negates any other thesis [Hughes/Cresswell]

5. Theory of Logic / K. Features of Logics / 4. Completeness

9544	A system is 'weakly' complete if all wffs are derivable, and 'strongly' if theses are maximised [Hughes/Cresswell]

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]

26. Natural Theory / A. Speculations on Nature / 7. Later Matter Theories / b. Corpuscles

16707

Cold and hot are the swiftness and slowness of corpuscular motion [Beeckman]