8 ideas
9470 | Modal logic is not an extensional language [Parsons,C] |
9469 | Substitutional existential quantifier may explain the existence of linguistic entities [Parsons,C] |
9468 | On the substitutional interpretation, '(∃x) Fx' is true iff a closed term 't' makes Ft true [Parsons,C] |
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] |
4366 | We can't accept Aristotle's naturalism about persons, because it is normative and unscientific [Williams,B, by Hursthouse] |
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] |