13 ideas
13831 | Logic is based on transitions between sentences [Prawitz] |
13827 | Logical consequence isn't a black box (Tarski's approach); we should explain how arguments work [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] |
13826 | Model theory looks at valid sentences and consequence, but not how we know these things [Prawitz] |
12887 | A whole must have one characteristic, an internal relation, and a structure [Rescher/Oppenheim] |
3144 | Everything is what it is, and not another thing [Butler] |
21315 | A tree remains the same in the popular sense, but not in the strict philosophical sense [Butler] |
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] |
8066 | Butler exalts conscience, but it may be horribly misleading [Anscombe on Butler] |