75 ideas
1798 | He studied philosophy by suspending his judgement on everything [Pyrrho, by Diog. Laertius] |
14092 | Philosophers are often too fussy about words, dismissing perfectly useful ordinary terms [Rosen] |
1800 | Sceptics say reason is only an instrument, because reason can only be attacked with reason [Pyrrho, by Diog. Laertius] |
14100 | Figuring in the definition of a thing doesn't make it a part of that thing [Rosen] |
15716 | If axioms and their implications have no contradictions, they pass my criterion of truth and existence [Hilbert] |
18851 | Pairing (with Extensionality) guarantees an infinity of sets, just from a single element [Rosen] |
18844 | You would cripple mathematics if you denied Excluded Middle [Hilbert] |
17963 | The facts of geometry, arithmetic or statics order themselves into theories [Hilbert] |
17966 | Axioms must reveal their dependence (or not), and must be consistent [Hilbert] |
14096 | Explanations fail to be monotonic [Rosen] |
12456 | I aim to establish certainty for mathematical methods [Hilbert] |
12461 | We believe all mathematical problems are solvable [Hilbert] |
8717 | Hilbert wanted to prove the consistency of all of mathematics (which realists take for granted) [Hilbert, by Friend] |
13472 | Hilbert aimed to eliminate number from geometry [Hilbert, by Hart,WD] |
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] |
17967 | To decide some questions, we must study the essence of mathematical proof itself [Hilbert] |
9546 | Euclid axioms concerns possibilities of construction, but Hilbert's assert the existence of objects [Hilbert, by Chihara] |
18742 | Hilbert's formalisation revealed implicit congruence axioms in Euclid [Hilbert, by Horsten/Pettigrew] |
18217 | Hilbert's geometry is interesting because it captures Euclid without using real numbers [Hilbert, by Field,H] |
17965 | The whole of Euclidean geometry derives from a basic equation and transformations [Hilbert] |
17964 | Number theory just needs calculation laws and rules for integers [Hilbert] |
17697 | The existence of an arbitrarily large number refutes the idea that numbers come from experience [Hilbert] |
17698 | Logic already contains some arithmetic, so the two must be developed together [Hilbert] |
10113 | The grounding of mathematics is 'in the beginning was the sign' [Hilbert] |
10115 | Hilbert substituted a syntactic for a semantic account of consistency [Hilbert, by George/Velleman] |
22293 | Hilbert said (to block paradoxes) that mathematical existence is entailed by consistency [Hilbert, by Potter] |
12459 | The subject matter of mathematics is immediate and clear concrete symbols [Hilbert] |
10116 | Hilbert aimed to prove the consistency of mathematics finitely, to show infinities won't produce contradictions [Hilbert, by George/Velleman] |
18112 | Mathematics divides in two: meaningful finitary statements, and empty idealised statements [Hilbert] |
14097 | Things could be true 'in virtue of' others as relations between truths, or between truths and items [Rosen] |
14095 | Facts are structures of worldly items, rather like sentences, individuated by their ingredients [Rosen] |
14093 | An 'intrinsic' property is one that depends on a thing and its parts, and not on its relations [Rosen] |
8915 | How we refer to abstractions is much less clear than how we refer to other things [Rosen] |
18852 | A Meinongian principle might say that there is an object for any modest class of properties [Rosen] |
18850 | 'Metaphysical' modality is the one that makes the necessity or contingency of laws of nature interesting [Rosen] |
18849 | Metaphysical necessity is absolute and universal; metaphysical possibility is very tolerant [Rosen] |
18857 | Standard Metaphysical Necessity: P holds wherever the actual form of the world holds [Rosen] |
14094 | The excellent notion of metaphysical 'necessity' cannot be defined [Rosen] |
18858 | Sets, universals and aggregates may be metaphysically necessary in one sense, but not another [Rosen] |
18856 | Non-Standard Metaphysical Necessity: when ¬P is incompatible with the nature of things [Rosen] |
18848 | Something may be necessary because of logic, but is that therefore a special sort of necessity? [Rosen] |
18855 | Combinatorial theories of possibility assume the principles of combination don't change across worlds [Rosen] |
14101 | Are necessary truths rooted in essences, or also in basic grounding laws? [Rosen] |
18853 | A proposition is 'correctly' conceivable if an ominiscient being could conceive it [Rosen] |
9636 | My theory aims at the certitude of mathematical methods [Hilbert] |
6595 | If we need a criterion of truth, we need to know whether it is the correct criterion [Pyrrho, by Fogelin] |
6593 | The Pyrrhonians attacked the dogmas of professors, not ordinary people [Pyrrho, by Fogelin] |
6592 | Academics said that Pyrrhonians were guilty of 'negative dogmatism' [Pyrrho, by Fogelin] |
1808 | Perception of things depends on their size or quantity (Mode 8) [Pyrrho, by Diog. Laertius] |
1802 | Individuals vary in responses and feelings (Mode 2) [Pyrrho, by Diog. Laertius] |
1807 | Perception varies with viewing distance and angle (Mode 7) [Pyrrho, by Diog. Laertius] |
1801 | Animals vary in their feelings and judgements (Mode 1) [Pyrrho, by Diog. Laertius] |
1805 | Judgements vary according to local culture and law (Mode 5) [Pyrrho, by Diog. Laertius] |
1809 | Perception is affected by expectations (Mode 9) [Pyrrho, by Diog. Laertius] |
1803 | Objects vary according to which sense perceives them (Mode 3) [Pyrrho, by Diog. Laertius] |
1806 | Perception of objects depends on surrounding conditions (Mode 6) [Pyrrho, by Diog. Laertius] |
1804 | Perception varies with madness or disease (Mode 4) [Pyrrho, by Diog. Laertius] |
1810 | Perception and judgement depend on comparison (Mode 10) [Pyrrho, by Diog. Laertius] |
8917 | The Way of Abstraction used to say an abstraction is an idea that was formed by abstracting [Rosen] |
8912 | Nowadays abstractions are defined as non-spatial, causally inert things [Rosen] |
8913 | Chess may be abstract, but it has existed in specific space and time [Rosen] |
8914 | Sets are said to be abstract and non-spatial, but a set of books can be on a shelf [Rosen] |
8916 | Conflating abstractions with either sets or universals is a big claim, needing a big defence [Rosen] |
8918 | Functional terms can pick out abstractions by asserting an equivalence relation [Rosen] |
8919 | Abstraction by equivalence relationships might prove that a train is an abstract entity [Rosen] |
14099 | 'Bachelor' consists in or reduces to 'unmarried' male, but not the other way around [Rosen] |
3062 | There are no causes, because they are relative, and alike things can't cause one another [Pyrrho, by Diog. Laertius] |
18854 | The MRL view says laws are the theorems of the simplest and strongest account of the world [Rosen] |
17968 | By digging deeper into the axioms we approach the essence of sciences, and unity of knowedge [Hilbert] |
3063 | Motion can't move where it is, and can't move where it isn't, so it can't exist [Pyrrho, by Diog. Laertius] |
14098 | An acid is just a proton donor [Rosen] |