17 ideas
| 18073 | Dummett says classical logic rests on meaning as truth, while intuitionist logic rests on assertability [Dummett, by Kitcher] |
| 19057 | Classical quantification is an infinite conjunction or disjunction - but you may not know all the instances [Dummett] |
| 12456 | I aim to establish certainty for mathematical methods [Hilbert] |
| 12461 | We believe all mathematical problems are solvable [Hilbert] |
| 9633 | No one shall drive us out of the paradise the Cantor has created for us [Hilbert] |
| 12460 | We extend finite statements with ideal ones, in order to preserve our logic [Hilbert] |
| 12462 | Only the finite can bring certainty to the infinite [Hilbert] |
| 12455 | The idea of an infinite totality is an illusion [Hilbert] |
| 12457 | There is no continuum in reality to realise the infinitely small [Hilbert] |
| 12459 | The subject matter of mathematics is immediate and clear concrete symbols [Hilbert] |
| 18112 | Mathematics divides in two: meaningful finitary statements, and empty idealised statements [Hilbert] |
| 9100 | Our intellect only assents to what we believe to be true [William of Ockham] |
| 9636 | My theory aims at the certitude of mathematical methods [Hilbert] |
| 9101 | Abstractive cognition knows universals abstracted from many singulars [William of Ockham] |
| 19055 | Stating a sentence's truth-conditions is just paraphrasing the sentence [Dummett] |
| 19056 | If a sentence is effectively undecidable, we can never know its truth conditions [Dummett] |
| 19054 | Meaning as use puts use beyond criticism, and needs a holistic view of language [Dummett] |