Combining Texts

All the ideas for 'New Foundations for Mathematical Logic', 'Building Blocks of Mathematical Logic' and 'Freedom to Act'

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]

5. Theory of Logic / E. Structures of Logic / 4. Variables in Logic

17699

Variables are auxiliary notions, and not part of the 'eternal' essence of logic [Schönfinkel]

20. Action / C. Motives for Action / 3. Acting on Reason / c. Reasons as causes

19698

Deviant causal chain: a reason causes an action, but isn't the reason for which it was performed [Davidson, by Neta]