23 ideas
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] |
11184 | Aristotelian essentialism is about shared properties, individuating essentialism about distinctive properties [Marcus (Barcan)] |
11181 | Aristotelian essentialism involves a 'natural' or 'causal' interpretation of modal operators [Marcus (Barcan)] |
11180 | Essentialist sentences are not theorems of modal logic, and can even be false [Marcus (Barcan)] |
11186 | 'Essentially' won't replace 'necessarily' for vacuous properties like snub-nosed or self-identical [Marcus (Barcan)] |
11185 | 'Is essentially' has a different meaning from 'is necessarily', as they often cannot be substituted [Marcus (Barcan)] |
11182 | If essences are objects with only essential properties, they are elusive in possible worlds [Marcus (Barcan)] |
11183 | The use of possible worlds is to sort properties (not to individuate objects) [Marcus (Barcan)] |
11187 | In possible worlds, names are just neutral unvarying pegs for truths and predicates [Marcus (Barcan)] |
9636 | My theory aims at the certitude of mathematical methods [Hilbert] |
22049 | Transcendental idealism aims to explain objectivity through subjectivity [Bowie] |
22055 | The Idealists saw the same unexplained spontaneity in Kant's judgements and choices [Bowie] |
22054 | German Idealism tried to stop oppositions of appearances/things and receptivity/spontaneity [Bowie] |
22056 | Crucial to Idealism is the idea of continuity between receptivity and spontaneous judgement [Bowie] |
11189 | Dispositional essences are special, as if an object loses them they cease to exist [Marcus (Barcan)] |