Combining Texts

All the ideas for 'The Varieties of Necessity', 'Universals' and 'On the General Idea of Proof Theory'

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

8 ideas

5. Theory of Logic / B. Logical Consequence / 1. Logical Consequence
13827 Logical consequence isn't a black box (Tarski's approach); we should explain how arguments work [Prawitz]
5. Theory of Logic / J. Model Theory in Logic / 1. Logical Models
13826 Model theory looks at valid sentences and consequence, but not how we know these things [Prawitz]
8. Modes of Existence / D. Universals / 1. Universals
8495 The distinction between particulars and universals is a mistake made because of language [Ramsey]
8493 We could make universals collections of particulars, or particulars collections of their qualities [Ramsey]
8. Modes of Existence / E. Nominalism / 1. Nominalism / a. Nominalism
8494 Obviously 'Socrates is wise' and 'Socrates has wisdom' express the same fact [Ramsey]
10. Modality / C. Sources of Modality / 1. Sources of Necessity
9216 Each area of enquiry, and its source, has its own distinctive type of necessity [Fine,K]
13. Knowledge Criteria / C. External Justification / 7. Testimony
9214 Unsupported testimony may still be believable [Fine,K]
26. Natural Theory / D. Laws of Nature / 8. Scientific Essentialism / a. Scientific essentialism
9215 Causation is easier to disrupt than logic, so metaphysics is part of nature, not vice versa [Fine,K]