7 ideas
9470 | Modal logic is not an extensional language [Parsons,C] |
8920 | Equivalence relations are reflexive, symmetric and transitive, and classify similar objects [Lipschutz] |
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] |
21386 | We should accept as explanations all the plausible ways in which something could come about [Epicurus] |
14051 | A cosmos is a collection of stars and an earth, with some sort of boundary, movement and shape [Epicurus] |
1828 | God does not intervene in heavenly movements, but is beyond all action and perfectly happy [Epicurus] |