Combining Texts

All the ideas for 'talk', 'General Facts,Phys Necessity, and Metaph of Time' and 'Set Theory and its Logic'

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

---

3 ideas

3. Truth / B. Truthmakers / 3. Truthmaker Maximalism

17962

The truth-maker principle is that every truth has a sufficient truth-maker [Forrest]

4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / p. Axiom of Reducibility

21717

Reducibility undermines type ramification, and is committed to the existence of functions [Quine, by Linsky,B]

28. God / B. Proving God / 2. Proofs of Reason / b. Ontological Proof critique

7417	God can't have silly perfections, but how do we decide which ones are 'silly'? [Joslin]