39 ideas
1749 | If all laws were abolished, philosophers would still live as they do now [Aristippus elder] |
22289 | Dedekind proved definition by recursion, and thus proved the basic laws of arithmetic [Dedekind, by Potter] |
10183 | An infinite set maps into its own proper subset [Dedekind, by Reck/Price] |
22288 | We have the idea of self, and an idea of that idea, and so on, so infinite ideas are available [Dedekind, by Potter] |
10706 | Dedekind originally thought more in terms of mereology than of sets [Dedekind, by Potter] |
9823 | Numbers are free creations of the human mind, to understand differences [Dedekind] |
10090 | Dedekind defined the integers, rationals and reals in terms of just the natural numbers [Dedekind, by George/Velleman] |
17452 | Ordinals can define cardinals, as the smallest ordinal that maps the set [Dedekind, by Heck] |
7524 | Order, not quantity, is central to defining numbers [Dedekind, by Monk] |
14131 | Dedekind's ordinals are just members of any progression whatever [Dedekind, by Russell] |
14437 | Dedekind's axiom that his Cut must be filled has the advantages of theft over honest toil [Dedekind, by Russell] |
18094 | Dedekind says each cut matches a real; logicists say the cuts are the reals [Dedekind, by Bostock] |
9824 | In counting we see the human ability to relate, correspond and represent [Dedekind] |
9826 | A system S is said to be infinite when it is similar to a proper part of itself [Dedekind] |
13508 | Dedekind gives a base number which isn't a successor, then adds successors and induction [Dedekind, by Hart,WD] |
18096 | Zero is a member, and all successors; numbers are the intersection of sets satisfying this [Dedekind, by Bostock] |
18841 | Categoricity implies that Dedekind has characterised the numbers, because it has one domain [Rumfitt on Dedekind] |
14130 | Induction is proved in Dedekind, an axiom in Peano; the latter seems simpler and clearer [Dedekind, by Russell] |
8924 | Dedekind originated the structuralist conception of mathematics [Dedekind, by MacBride] |
9153 | Dedekindian abstraction talks of 'positions', where Cantorian abstraction talks of similar objects [Dedekind, by Fine,K] |
23664 | Powers are quite distinct and simple, and so cannot be defined [Reid] |
23669 | Thinkers say that matter has intrinsic powers, but is also passive and acted upon [Reid] |
23666 | It is obvious that there could not be a power without a subject which possesses it [Reid] |
9825 | A thing is completely determined by all that can be thought concerning it [Dedekind] |
23665 | Consciousness is the power of mind to know itself, and minds are grounded in powers [Reid] |
23668 | Our own nature attributes free determinations to our own will [Reid] |
9189 | Dedekind said numbers were abstracted from systems of objects, leaving only their position [Dedekind, by Dummett] |
9827 | We derive the natural numbers, by neglecting everything of a system except distinctness and order [Dedekind] |
9979 | Dedekind has a conception of abstraction which is not psychologistic [Dedekind, by Tait] |
20051 | Reid said that agent causation is a unique type of causation [Reid, by Stout,R] |
3558 | Only the Cyrenaics reject the idea of a final moral end [Aristippus elder, by Annas] |
5835 | The road of freedom is the surest route to happiness [Aristippus elder, by Xenophon] |
3018 | People who object to extravagant pleasures just love money [Aristippus elder, by Diog. Laertius] |
1751 | Pleasure is the good, because we always seek it, it satisfies us, and its opposite is the most avoidable thing [Aristippus elder, by Diog. Laertius] |
1755 | Errors result from external influence, and should be corrected, not hated [Aristippus elder, by Diog. Laertius] |
8383 | Day and night are constantly conjoined, but they don't cause one another [Reid, by Crane] |
23667 | Regular events don't imply a cause, without an innate conviction of universal causation [Reid] |
23670 | Scientists don't know the cause of magnetism, and only discover its regulations [Reid] |
23671 | Laws are rules for effects, but these need a cause; rules of navigation don't navigate [Reid] |