Combining Texts

All the ideas for 'fragments/reports', 'On Freedom' 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]
10. Modality / B. Possibility / 5. Contingency
5040 Necessary truths can be analysed into original truths; contingent truths are infinitely analysable [Leibniz]
10. Modality / D. Knowledge of Modality / 2. A Priori Contingent
13159 Only God sees contingent truths a priori [Leibniz]
10. Modality / E. Possible worlds / 3. Transworld Objects / e. Possible Objects
5039 If non-existents are possible, their existence would replace what now exists, which cannot therefore be necessary [Leibniz]
23. Ethics / C. Virtue Theory / 2. Elements of Virtue Theory / e. Character
541 Virtue comes more from habit than character [Critias]
28. God / A. Divine Nature / 3. Divine Perfections
5041 God does everything in a perfect way, and never acts contrary to reason [Leibniz]
28. God / C. Attitudes to God / 5. Atheism
542 Fear of the gods was invented to discourage secret sin [Critias]