Combining Texts

All the ideas for 'fragments/reports', 'Roman Law' and 'New Foundations for Mathematical Logic'

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


3 ideas

1. Philosophy / D. Nature of Philosophy / 3. Philosophy Defined
Even pointing a finger should only be done for a reason [Epictetus]
4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / a. Axioms for sets
NF has no models, but just blocks the comprehension axiom, to avoid contradictions [Quine, by Dummett]
25. Social Practice / D. Justice / 3. Punishment / a. Right to punish
No crime and no punishment without a law [Roman law]