Combining Texts

All the ideas for 'Of Miracles', 'New Foundations for Mathematical Logic' and 'Truth-making without Truth-makers'

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

---

3 ideas

4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / a. Axioms for sets

9879	NF has no models, but just blocks the comprehension axiom, to avoid contradictions [Quine, by Dummett]

14. Science / D. Explanation / 2. Types of Explanation / a. Types of explanation

17319

There are 'conceptual' explanations, with their direction depending on complexity [Schnieder]

28. God / B. Proving God / 3. Proofs of Evidence / e. Miracles

7636	It can't be more rational to believe in natural laws than miracles if the laws are not rational [Ishaq on Hume]