9 ideas
13831 | Logic is based on transitions between sentences [Prawitz] |
13825 | Natural deduction introduction rules may represent 'definitions' of logical connectives [Prawitz] |
13823 | In natural deduction, inferences are atomic steps involving just one logical constant [Prawitz] |
22375 | Moral judgements need more than the relevant facts, if the same facts lead to 'x is good' and 'x is bad' [Foot] |
22378 | We can't affirm a duty without saying why it matters if it is not performed [Foot] |
22377 | Whether someone is rude is judged by agreed criteria, so the facts dictate the value [Foot] |
22376 | Facts and values are connected if we cannot choose what counts as evidence of rightness [Foot] |
9111 | God is not wise, but more-than-wise; God is not good, but more-than-good [William of Ockham] |
9112 | We could never form a concept of God's wisdom if we couldn't abstract it from creatures [William of Ockham] |