7 ideas
13831 | Logic is based on transitions between sentences [Prawitz] |
13825 | Natural deduction introduction rules may represent 'definitions' of logical connectives [Prawitz] |
14235 | Saying 'they can become a set' is a tautology, because reference to 'they' implies a collection [Cargile] |
13823 | In natural deduction, inferences are atomic steps involving just one logical constant [Prawitz] |
4304 | Descartes says there are two substance, Spinoza one, and Leibniz infinitely many [Cottingham] |
4303 | The notion of substance lies at the heart of rationalist metaphysics [Cottingham] |
4306 | For rationalists, it is necessary that effects be deducible from their causes [Cottingham] |