50 ideas
| 21955 | My dogmatic slumber was first interrupted by David Hume [Kant] |
| 14255 | We understand things through their dependency relations [Fine,K] |
| 16931 | Metaphysics is generating a priori knowledge by intuition and concepts, leading to the synthetic [Kant] |
| 14250 | Metaphysics deals with the existence of things and with the nature of things [Fine,K] |
| 14259 | Maybe two objects might require simultaneous real definitions, as with two simultaneous terms [Fine,K] |
| 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] |
| 13023 | The Power Set Axiom is needed for, and supported by, accounts of the continuum [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] |
| 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] |
| 16918 | Mathematics cannot proceed just by the analysis of concepts [Kant] |
| 16930 | Geometry is not analytic, because a line's being 'straight' is a quality [Kant] |
| 16919 | Geometry rests on our intuition of space [Kant] |
| 16920 | Numbers are formed by addition of units in time [Kant] |
| 16929 | 7+5 = 12 is not analytic, because no analysis of 7+5 will reveal the concept of 12 [Kant] |
| 16910 | Mathematics can only start from an a priori intuition which is not empirical but pure [Kant] |
| 16917 | All necessary mathematical judgements are based on intuitions of space and time [Kant] |
| 16928 | Mathematics cannot be empirical because it is necessary, and that has to be a priori [Kant] |
| 14253 | An object's 'being' isn't existence; there's more to an object than existence, and its nature doesn't include existence [Fine,K] |
| 14261 | There is 'weak' dependence in one definition, and 'strong' dependence in all the definitions [Fine,K] |
| 14251 | A natural modal account of dependence says x depends on y if y must exist when x does [Fine,K] |
| 14257 | An object depends on another if the second cannot be eliminated from the first's definition [Fine,K] |
| 14254 | Dependency is the real counterpart of one term defining another [Fine,K] |
| 14252 | We should understand identity in terms of the propositions it renders true [Fine,K] |
| 11833 | The substance, once the predicates are removed, remains unknown to us [Kant] |
| 14256 | How do we distinguish basic from derived esssences? [Fine,K] |
| 14258 | Maybe some things have essential relationships as well as essential properties [Fine,K] |
| 14260 | An object only essentially has a property if that property follows from every definition of the object [Fine,K] |
| 21957 | 'Transcendental' concerns how we know, rather than what we know [Kant] |
| 16923 | I admit there are bodies outside us [Kant] |
| 21441 | 'Transcendental' is not beyond experience, but a prerequisite of experience [Kant] |
| 16916 | A priori synthetic knowledge is only of appearances, not of things in themselves [Kant] |
| 16915 | A priori intuitions can only concern the objects of our senses [Kant] |
| 16914 | A priori intuition of objects is only possible by containing the form of my sensibility [Kant] |
| 21447 | I can make no sense of the red experience being similar to the quality in the object [Kant] |
| 16924 | I count the primary features of things (as well as the secondary ones) as mere appearances [Kant] |
| 16913 | I can't intuit a present thing in itself, because the properties can't enter my representations [Kant] |
| 16925 | Appearance gives truth, as long as it is only used within experience [Kant] |
| 16911 | Intuition is a representation that depends on the presence of the object [Kant] |
| 16912 | Some concepts can be made a priori, which are general thoughts of objects, like quantity or cause [Kant] |
| 16926 | Analytic judgements say clearly what was in the concept of the subject [Kant] |
| 16927 | Analytic judgement rests on contradiction, since the predicate cannot be denied of the subject [Kant] |
| 16922 | Space must have three dimensions, because only three lines can meet at right angles [Kant] |
| 16921 | If all empirical sensation of bodies is removed, space and time are still left [Kant] |