19 ideas
| 11211 | If a sound conclusion comes from two errors that cancel out, the path of the argument must matter [Rumfitt] |
| 11210 | Standardly 'and' and 'but' are held to have the same sense by having the same truth table [Rumfitt] |
| 11212 | The sense of a connective comes from primitively obvious rules of inference [Rumfitt] |
| 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] |
| 18415 | The actual world is just the world you are in [Lewis, by Cappelen/Dever] |
| 16392 | A content is a property, and believing it is self-ascribing that property [Lewis, by Recanati] |
| 9636 | My theory aims at the certitude of mathematical methods [Hilbert] |
| 18416 | Attitudes involve properties (not propositions), and belief is self-ascribing the properties [Lewis, by Solomon] |
| 16390 | Lewis's popular centred worlds approach gives an attitude an index of world, subject and time [Lewis, by Recanati] |
| 18418 | A theory of perspectival de se content gives truth conditions relative to an agent [Lewis, by Cappelen/Dever] |
| 11214 | We learn 'not' along with affirmation, by learning to either affirm or deny a sentence [Rumfitt] |