17 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] |
| 16062 | A necessary relation between fact-levels seems to be a further irreducible fact [Lynch/Glasgow] |
| 16061 | If some facts 'logically supervene' on some others, they just redescribe them, adding nothing [Lynch/Glasgow] |
| 16060 | Nonreductive materialism says upper 'levels' depend on lower, but don't 'reduce' [Lynch/Glasgow] |
| 16064 | The hallmark of physicalism is that each causal power has a base causal power under it [Lynch/Glasgow] |
| 7630 | Ryle's dichotomy between knowing how and knowing that is too simplistic [Maund] |
| 7632 | Perception is sensation-then-concept, or direct-concepts, or sensation-saturated-in-concepts [Maund] |
| 7635 | Sense-data have an epistemological purpose (foundations) and a metaphysical purpose (explanation) [Maund] |
| 7638 | One thesis says we are not aware of qualia, but only of objects and their qualities [Maund] |
| 7642 | The Myth of the Given claims that thought is rationally supported by non-conceptual experiences [Maund] |
| 7640 | Mountains are adverbial modifications of the earth, but still have object-characteristics [Maund] |
| 7641 | Adverbialism tries to avoid sense-data and preserve direct realism [Maund] |
| 7637 | Thought content is either satisfaction conditions, or exercise of concepts [Maund, by PG] |