Combining Texts

All the ideas for 'Reportatio', 'Moral Arguments' and 'Gentzen's Analysis of First-Order Proofs'

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


9 ideas

5. Theory of Logic / A. Overview of Logic / 1. Overview of Logic
Logic is based on transitions between sentences [Prawitz]
5. Theory of Logic / E. Structures of Logic / 2. Logical Connectives / a. Logical connectives
Natural deduction introduction rules may represent 'definitions' of logical connectives [Prawitz]
5. Theory of Logic / H. Proof Systems / 4. Natural Deduction
In natural deduction, inferences are atomic steps involving just one logical constant [Prawitz]
22. Metaethics / A. Ethics Foundations / 2. Source of Ethics / k. Ethics from nature
Moral judgements need more than the relevant facts, if the same facts lead to 'x is good' and 'x is bad' [Foot]
22. Metaethics / B. Value / 1. Nature of Value / b. Fact and value
We can't affirm a duty without saying why it matters if it is not performed [Foot]
Whether someone is rude is judged by agreed criteria, so the facts dictate the value [Foot]
Facts and values are connected if we cannot choose what counts as evidence of rightness [Foot]
28. God / A. Divine Nature / 3. Divine Perfections
God is not wise, but more-than-wise; God is not good, but more-than-good [William of Ockham]
28. God / C. Attitudes to God / 4. God Reflects Humanity
We could never form a concept of God's wisdom if we couldn't abstract it from creatures [William of Ockham]