11 ideas
18261 | A simplification which is complete constitutes a definition [Kant] |
13831 | Logic is based on transitions between sentences [Prawitz] |
22275 | Logic gives us the necessary rules which show us how we ought to think [Kant] |
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] |
21315 | A tree remains the same in the popular sense, but not in the strict philosophical sense [Butler] |
18260 | If we knew what we know, we would be astonished [Kant] |
21317 | Despite consciousness fluctuating, we are aware that it belongs to one person [Butler] |
21313 | If consciousness of events makes our identity, then if we have forgotten them we didn't exist then [Butler] |
21314 | Consciousness presupposes personal identity, so it cannot constitute it [Butler] |
21318 | If the self changes, we have no responsibilities, and no interest in past or future [Butler] |