13 ideas
| 9224 | Proceduralism offers a version of logicism with no axioms, or objects, or ontological commitment [Fine,K] |
| 9222 | The objects and truths of mathematics are imperative procedures for their construction [Fine,K] |
| 9223 | My Proceduralism has one simple rule, and four complex rules [Fine,K] |
| 22179 | Explanatory facts also predict, and predictive facts also explain [Hempel, by Okasha] |
| 6755 | For Hempel, explanations are deductive-nomological or probabilistic-statistical [Hempel, by Bird] |
| 17083 | The covering-law model is for scientific explanation; historical explanation is quite different [Hempel] |
| 13052 | Hempel rejects causation as part of explanation [Hempel, by Salmon] |
| 12608 | Concepts are distinguished by roles in judgement, and are thus tied to rationality [Peacocke] |
| 12605 | A sense is individuated by the conditions for reference [Peacocke] |
| 12607 | Fregean concepts have their essence fixed by reference-conditions [Peacocke] |
| 12609 | Concepts have distinctive reasons and norms [Peacocke] |
| 12604 | Any explanation of a concept must involve reference and truth [Peacocke] |
| 12610 | Encountering novel sentences shows conclusively that meaning must be compositional [Peacocke] |