16 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] |
| 3523 | Shadows are supervenient on their objects, but not reducible [Maslin] |
| 3517 | 'Ontology' means 'study of things which exist' [Maslin] |
| 3538 | Analogy to other minds is uncheckable, over-confident and chauvinistic [Maslin] |
| 3540 | If we are brains then we never meet each other [Maslin] |
| 3518 | I'm not the final authority on my understanding of maths [Maslin] |
| 3530 | Denial of purely mental causation will lead to epiphenomenalism [Maslin] |
| 3520 | Token-identity removes the explanatory role of the physical [Maslin] |
| 20930 | The existence of law is one thing, its merits and demerits another [Austin,J] |
| 3528 | Causality may require that a law is being followed [Maslin] |
| 3525 | Strict laws make causation logically necessary [Maslin] |
| 3527 | Strict laws allow no exceptions and are part of a closed system [Maslin] |