Combining Texts

All the ideas for 'fragments/reports', 'A Note on the entscheidungsproblem' and '06: Romans'

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

---

3 ideas

5. Theory of Logic / K. Features of Logics / 7. Decidability

18758

Validity is provable, but invalidity isn't, because the model is infinite [Church, by McGee]

22. Metaethics / C. The Good / 2. Happiness / b. Eudaimonia

5996	Critolaus redefined Aristotle's moral aim as fulfilment instead of happiness [Critolaus, by White,SA]

28. God / B. Proving God / 3. Proofs of Evidence / b. Teleological Proof

20695

God's eternal power and deity are clearly seen in what has been created [Paul]