109 ideas
17016 | Philosophy must abstract from the senses [Newton] |
18194 | 'Forcing' can produce new models of ZFC from old models [Maddy] |
18195 | A Large Cardinal Axiom would assert ever-increasing stages in the hierarchy [Maddy] |
13011 | New axioms are being sought, to determine the size of the continuum [Maddy] |
13013 | The Axiom of Extensionality seems to be analytic [Maddy] |
13014 | Extensional sets are clearer, simpler, unique and expressive [Maddy] |
13021 | The Axiom of Infinity states Cantor's breakthrough that launched modern mathematics [Maddy] |
13022 | Infinite sets are essential for giving an account of the real numbers [Maddy] |
18191 | Axiom of Infinity: completed infinite collections can be treated mathematically [Maddy] |
13023 | The Power Set Axiom is needed for, and supported by, accounts of the continuum [Maddy] |
18193 | The Axiom of Foundation says every set exists at a level in the set hierarchy [Maddy] |
13024 | Efforts to prove the Axiom of Choice have failed [Maddy] |
13025 | Modern views say the Choice set exists, even if it can't be constructed [Maddy] |
13026 | A large array of theorems depend on the Axiom of Choice [Maddy] |
17610 | The Axiom of Choice paradoxically allows decomposing a sphere into two identical spheres [Maddy] |
18169 | Axiom of Reducibility: propositional functions are extensionally predicative [Maddy] |
13019 | The Iterative Conception says everything appears at a stage, derived from the preceding appearances [Maddy] |
13018 | Limitation of Size is a vague intuition that over-large sets may generate paradoxes [Maddy] |
17824 | The master science is physical objects divided into sets [Maddy] |
8755 | Maddy replaces pure sets with just objects and perceived sets of objects [Maddy, by Shapiro] |
10594 | Henkin semantics is more plausible for plural logic than for second-order logic [Maddy] |
17620 | Critics of if-thenism say that not all starting points, even consistent ones, are worth studying [Maddy] |
18168 | 'Propositional functions' are propositions with a variable as subject or predicate [Maddy] |
17605 | Hilbert's geometry and Dedekind's real numbers were role models for axiomatization [Maddy] |
17625 | If two mathematical themes coincide, that suggest a single deep truth [Maddy] |
18079 | Newton developed a kinematic approach to geometry [Newton, by Kitcher] |
13152 | We can talk of 'innumerable number', about the infinite points on a line [Newton] |
13151 | Not all infinites are equal [Newton] |
18190 | Completed infinities resulted from giving foundations to calculus [Maddy] |
18171 | Cantor and Dedekind brought completed infinities into mathematics [Maddy] |
17615 | Every infinite set of reals is either countable or of the same size as the full set of reals [Maddy] |
18172 | Infinity has degrees, and large cardinals are the heart of set theory [Maddy] |
18175 | For any cardinal there is always a larger one (so there is no set of all sets) [Maddy] |
18196 | An 'inaccessible' cardinal cannot be reached by union sets or power sets [Maddy] |
18082 | Quantities and ratios which continually converge will eventually become equal [Newton] |
18187 | Theorems about limits could only be proved once the real numbers were understood [Maddy] |
17783 | A number is not a multitude, but a unified ratio between quantities [Newton] |
18182 | The extension of concepts is not important to me [Maddy] |
18177 | In the ZFC hierarchy it is impossible to form Frege's set of all three-element sets [Maddy] |
18164 | Frege solves the Caesar problem by explicitly defining each number [Maddy] |
17825 | Set theory (unlike the Peano postulates) can explain why multiplication is commutative [Maddy] |
17826 | Standardly, numbers are said to be sets, which is neat ontology and epistemology [Maddy] |
17828 | Numbers are properties of sets, just as lengths are properties of physical objects [Maddy] |
10718 | A natural number is a property of sets [Maddy, by Oliver] |
18184 | Making set theory foundational to mathematics leads to very fruitful axioms [Maddy] |
18185 | Unified set theory gives a final court of appeal for mathematics [Maddy] |
18183 | Set theory brings mathematics into one arena, where interrelations become clearer [Maddy] |
18163 | Mathematics rests on the logic of proofs, and on the set theoretic axioms [Maddy] |
18186 | Identifying geometric points with real numbers revealed the power of set theory [Maddy] |
18188 | The line of rationals has gaps, but set theory provided an ordered continuum [Maddy] |
17618 | Set-theory tracks the contours of mathematical depth and fruitfulness [Maddy] |
17830 | Number theory doesn't 'reduce' to set theory, because sets have number properties [Maddy] |
17827 | Sets exist where their elements are, but numbers are more like universals [Maddy] |
17823 | If mathematical objects exist, how can we know them, and which objects are they? [Maddy] |
8756 | Intuition doesn't support much mathematics, and we should question its reliability [Maddy, by Shapiro] |
17733 | We know mind-independent mathematical truths through sets, which rest on experience [Maddy, by Jenkins] |
18204 | Scientists posit as few entities as possible, but set theorist posit as many as possible [Maddy] |
18207 | Maybe applications of continuum mathematics are all idealisations [Maddy] |
17614 | The connection of arithmetic to perception has been idealised away in modern infinitary mathematics [Maddy] |
17829 | Number words are unusual as adjectives; we don't say 'is five', and numbers always come first [Maddy] |
18167 | We can get arithmetic directly from HP; Law V was used to get HP from the definition of number [Maddy] |
18205 | The theoretical indispensability of atoms did not at first convince scientists that they were real [Maddy] |
16643 | Accidents always remain suited to a subject [Bonaventura] |
17011 | I suspect that each particle of bodies has attractive or repelling forces [Newton] |
17028 | Particles mutually attract, and cohere at short distances [Newton] |
17014 | The place of a thing is the sum of the places of its parts [Newton] |
16696 | Successive things reduce to permanent things [Bonaventura] |
17546 | If you changed one of Newton's concepts you would destroy his whole system [Heisenberg on Newton] |
17027 | Science deduces propositions from phenomena, and generalises them by induction [Newton] |
17022 | We should admit only enough causes to explain a phenomenon, and no more [Newton] |
17021 | Natural effects of the same kind should be assumed to have the same causes [Newton] |
17026 | From the phenomena, I can't deduce the reason for the properties of gravity [Newton] |
18206 | Science idealises the earth's surface, the oceans, continuities, and liquids [Maddy] |
6421 | Newton's four fundamentals are: space, time, matter and force [Newton, by Russell] |
13470 | Mass is central to matter [Newton, by Hart,WD] |
17020 | An attraction of a body is the sum of the forces of their particles [Newton] |
23012 | Newtonian causation is changes of motion resulting from collisions [Newton, by Baron/Miller] |
15863 | The principles of my treatise are designed to fit with a belief in God [Newton] |
16746 | Principles of things are not hidden features of forms, but the laws by which they were formed [Newton] |
8340 | I do not pretend to know the cause of gravity [Newton] |
17008 | You have discovered that elliptical orbits result just from gravitation and planetary movement [Newton, by Leibniz] |
17010 | We have given up substantial forms, and now aim for mathematical laws [Newton] |
17023 | I am not saying gravity is essential to bodies [Newton] |
17009 | I won't object if someone shows that gravity consistently arises from the action of matter [Newton] |
13150 | The motions of the planets could only derive from an intelligent agent [Newton] |
12178 | That gravity should be innate and essential to matter is absurd [Newton] |
15866 | Newton reclassified vertical motion as violent, and unconstrained horizontal motion as natural [Newton, by Harré] |
15958 | Inertia rejects the Aristotelian idea of things having natural states, to which they return [Newton, by Alexander,P] |
17017 | 1: Bodies rest, or move in straight lines, unless acted on by forces [Newton] |
17018 | 2: Change of motion is proportional to the force [Newton] |
17019 | 3: All actions of bodies have an equal and opposite reaction [Newton] |
20968 | Newton's Third Law implies the conservation of momentum [Newton, by Papineau] |
17547 | Newton's idea of force acting over a long distance was very strange [Heisenberg on Newton] |
20966 | Newton introduced forces other than by contact [Newton, by Papineau] |
20967 | Newton's laws cover the effects of forces, but not their causes [Newton, by Papineau] |
16708 | Newton's forces were accused of being the scholastics' real qualities [Pasnau on Newton] |
13153 | I am studying the quantities and mathematics of forces, not their species or qualities [Newton] |
12724 | The aim is to discover forces from motions, and use forces to demonstrate other phenomena [Newton] |
13593 | Newton showed that falling to earth and orbiting the sun are essentially the same [Newton, by Ellis] |
20969 | Early Newtonians could not formulate conservation of energy, having no concept of potential energy [Newton, by Papineau] |
17013 | Absolute space is independent, homogeneous and immovable [Newton] |
22915 | Newton needs intervals of time, to define velocity and acceleration [Newton, by Le Poidevin] |
22893 | Newton thought his laws of motion needed absolute time [Newton, by Bardon] |
17012 | Time exists independently, and flows uniformly [Newton] |
14012 | Absolute time, from its own nature, flows equably, without relation to anything external [Newton] |
22954 | Newtonian mechanics does not distinguish negative from positive values of time [Newton, by Coveney/Highfield] |
17015 | If there is no uniform motion, we cannot exactly measure time [Newton] |
17025 | If a perfect being does not rule the cosmos, it is not God [Newton] |
17024 | The elegance of the solar system requires a powerful intellect as designer [Newton] |