65 ideas
22289 | Dedekind proved definition by recursion, and thus proved the basic laws of arithmetic [Dedekind, by Potter] |
23000 | Vicious regresses force you to another level; non-vicious imply another level [Baron/Miller] |
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] |
23024 | A traveller takes a copy of a picture into the past, gives it the artist, who then creates the original! [Baron/Miller] |
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] |
17611 | We want the essence of continuity, by showing its origin in arithmetic [Dedekind] |
10572 | A cut between rational numbers creates and defines an irrational number [Dedekind] |
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] |
18244 | I say the irrational is not the cut itself, but a new creation which corresponds to the cut [Dedekind] |
9824 | In counting we see the human ability to relate, correspond and represent [Dedekind] |
17612 | Arithmetic is just the consequence of counting, which is the successor operation [Dedekind] |
9826 | A system S is said to be infinite when it is similar to a proper part of itself [Dedekind] |
18087 | If x changes by less and less, it must approach a limit [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] |
23008 | Grounding is intended as a relation that fits dependences between things [Baron/Miller] |
9825 | A thing is completely determined by all that can be thought concerning it [Dedekind] |
23018 | How does a changing object retain identity or have incompatible properties over time? [Baron/Miller] |
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] |
7810 | The 'Eumenides' of Aeschylus shows blood feuds replaced by law [Aeschylus, by Grayling] |
23011 | Modern accounts of causation involve either processes or counterfactuals [Baron/Miller] |
23013 | The main process theory of causation says it is transference of mass, energy, momentum or charge [Baron/Miller] |
23014 | If causes are processes, what is causation by omission? (Distinguish legal from scientific causes?) [Baron/Miller] |
23015 | The counterfactual theory of causation handles the problem no matter what causes actually are [Baron/Miller] |
23016 | Counterfactual theories struggle with pre-emption by a causal back-up system [Baron/Miller] |
23009 | There is no second 'law' of thermodynamics; it just reflects probabilities of certain microstates [Baron/Miller] |
23002 | In relativity space and time depend on one's motion, but spacetime gives an invariant metric [Baron/Miller] |
22988 | The block universe theory says entities of all times exist, and time is the B-series [Baron/Miller] |
22991 | How can we know this is the present moment, if other times are real? [Baron/Miller] |
22992 | If we are actually in the past then we shouldn't experience time passing [Baron/Miller] |
22994 | Erzatz Presentism allows the existence of other times, with only the present 'actualised' [Baron/Miller] |
22998 | How do presentists explain relations between things existing at different times? [Baron/Miller] |
23017 | Presentism needs endurantism, because other theories imply most of the object doesn't exist [Baron/Miller] |
23023 | How can presentists move to the next future moment, if that doesn't exist? [Baron/Miller] |
22995 | Most of the sciences depend on the concept of time [Baron/Miller] |
22993 | For abstractionists past times might still exist, althought their objects don't [Baron/Miller] |
23001 | The error theory of time's passage says it is either a misdescription or a false inference [Baron/Miller] |
22999 | It is meaningless to measure the rate of time using time itself, and without a rate there is no flow [Baron/Miller] |
22986 | The C-series rejects A and B, and just sees times as order by betweenness, without direction [Baron/Miller] |
22996 | The A-series has to treat being past, present or future as properties [Baron/Miller] |
23007 | The B-series can have a direction, as long as it does not arise from temporal flow [Baron/Miller] |
23003 | Static theories cannot account for time's obvious asymmetry, so time must be dynamic [Baron/Miller] |
23004 | The direction of time is either primitive, or reducible to something else [Baron/Miller] |
23005 | The kaon does not seem to be time-reversal invariant, unlike the rest of nature [Baron/Miller] |
23006 | Maybe the past is just the direction of decreasing entropy [Baron/Miller] |
23010 | We could explain time's direction by causation: past is the direction of causes, future of effects [Baron/Miller] |
22989 | Static time theory presents change as one property at t1, and a different property at t2 [Baron/Miller] |
23020 | If a time traveller kills his youthful grandfather, he both exists and fails to exist [Baron/Miller] |
23022 | Presentism means there no existing past for a time traveller to visit [Baron/Miller] |
22987 | The past (unlike the future) is fixed, along with truths about it, by the existence of past objects [Baron/Miller] |
22990 | The moving spotlight says entities can have properties of being present, past or future [Baron/Miller] |
22997 | The present moment is a matter of existence, not of acquiring a property [Baron/Miller] |