18 ideas
| 7746 | We don't normally think of names as having senses (e.g. we don't give definitions of them) [Searle] |
| 7747 | How can a proper name be correlated with its object if it hasn't got a sense? [Searle] |
| 7748 | 'Aristotle' means more than just 'an object that was christened "Aristotle"' [Searle] |
| 7749 | Reference for proper names presupposes a set of uniquely referring descriptions [Searle] |
| 7750 | Proper names are logically connected with their characteristics, in a loose way [Searle] |
| 12456 | I aim to establish certainty for mathematical methods [Hilbert] |
| 12461 | We believe all mathematical problems are solvable [Hilbert] |
| 12462 | Only the finite can bring certainty to the infinite [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] |
| 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] |
| 9636 | My theory aims at the certitude of mathematical methods [Hilbert] |
| 17371 | Some kinds are very explanatory, but others less so, and some not at all [Devitt] |
| 17373 | Species pluralism says there are several good accounts of what a species is [Devitt] |
| 17372 | The higher categories are not natural kinds, so the Linnaean hierarchy should be given up [Devitt] |