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] |
13163 | Circles must be bounded, so cannot be infinite [Leibniz] |
13162 | Sloth's Syllogism: either it can't happen, or it is inevitable without my effort [Leibniz] |
5121 | Basing ethics on flourishing makes it consequentialist, as actions are judged by contributing to it [Harman] |
5120 | What counts as 'flourishing' must be relative to various sets of values [Harman] |
19339 | Evil is a negation of good, which arises from non-being [Leibniz] |
13164 | God only made sin possible because a much greater good can be derived from it [Leibniz] |