18 ideas
| 10528 | Definitions concern how we should speak, not how things are [Fine,K] |
| 10304 | Very few things in set theory remain valid in intuitionist mathematics [Bernays] |
| 8195 | Undecidable statements result from quantifying over infinites, subjunctive conditionals, and the past tense [Dummett] |
| 8194 | Surely there is no exact single grain that brings a heap into existence [Dummett] |
| 10529 | If Hume's Principle can define numbers, we needn't worry about its truth [Fine,K] |
| 10530 | Hume's Principle is either adequate for number but fails to define properly, or vice versa [Fine,K] |
| 10303 | Restricted Platonism is just an ideal projection of a domain of thought [Bernays] |
| 10306 | Mathematical abstraction just goes in a different direction from logic [Bernays] |
| 8190 | Intuitionists rely on the proof of mathematical statements, not their truth [Dummett] |
| 8198 | A 'Cambridge Change' is like saying 'the landscape changes as you travel east' [Dummett] |
| 8192 | I no longer think what a statement about the past says is just what can justify it [Dummett] |
| 8199 | The existence of a universe without sentience or intelligence is an unintelligible fantasy [Dummett] |
| 10527 | An abstraction principle should not 'inflate', producing more abstractions than objects [Fine,K] |
| 8193 | Verification is not an individual but a collective activity [Dummett] |
| 8189 | Truth-condition theorists must argue use can only be described by appeal to conditions of truth [Dummett] |
| 8191 | The truth-conditions theory must get agreement on a conception of truth [Dummett] |
| 8197 | Maybe past (which affects us) and future (which we can affect) are both real [Dummett] |
| 8196 | The present cannot exist alone as a mere boundary; past and future truths are rendered meaningless [Dummett] |