display all the ideas for this combination of texts
8 ideas
| 8726 | Geometry can lead the mind upwards to truth and philosophy [Plato] |
| Full Idea: Geometry can attract the mind towards truth. It can produce philosophical thought, in the sense that it can reverse the midguided downwards tendencies we currently have. | |
| From: Plato (The Republic [c.374 BCE], 527b) | |
| A reaction: Hence the Academy gate bore the inscription "Let no one enter here who is ignorant of geometry". He's not necessarily wrong. Something in early education must straighten out some of the kinks in the messy human mind. |
| 10491 | Infinite natural numbers is as obvious as infinite sentences in English [Boolos] |
| Full Idea: The existence of infinitely many natural numbers seems to me no more troubling than that of infinitely many computer programs or sentences of English. There is, for example, no longest sentence, since any number of 'very's can be inserted. | |
| From: George Boolos (Must We Believe in Set Theory? [1997], p.129) | |
| A reaction: If you really resisted an infinity of natural numbers, presumably you would also resist an actual infinity of 'very's. The fact that it is unclear what could ever stop a process doesn't guarantee that the process is actually endless. |
| 10483 | Mathematics and science do not require very high orders of infinity [Boolos] |
| Full Idea: To the best of my knowledge nothing in mathematics or science requires the existence of very high orders of infinity. | |
| From: George Boolos (Must We Believe in Set Theory? [1997], p.122) | |
| A reaction: He is referring to particular high orders of infinity implied by set theory. Personally I want to wield Ockham's Razor. Is being implied by set theory a sufficient reason to accept such outrageous entities into our ontology? |
| 9863 | We aim for elevated discussion of pure numbers, not attaching them to physical objects [Plato] |
| Full Idea: Our discussion of numbers leads the soul forcibly upward and compels it to discuss the numbers themselves, never permitting anyone to propose for discussion numbers attached to visible or tangible bodies. | |
| From: Plato (The Republic [c.374 BCE], 525d) | |
| A reaction: This strikes me as very important, because it shows that the platonist view of numbers places little or no importance on counting, inviting the question of whether they could be understood in complete ignorance of the process of counting. |
| 9864 | In pure numbers, all ones are equal, with no internal parts [Plato] |
| Full Idea: With those numbers that can be grasped only in thought, ..each one is equal to every other, without the least difference and containing no internal parts. | |
| From: Plato (The Republic [c.374 BCE], 526a) | |
| A reaction: [Two voices in the conversation are elided] Intriguing and tantalising. Does 13 have internal parts, in the platonist view? If so, is it more than the sum of its parts? Is Plato committed to numbers being built from indistinguishable abstract units/ |
| 8727 | Geometry is not an activity, but the study of unchanging knowledge [Plato] |
| Full Idea: Geometers talk as if they were actually doing something, and the point of their theorems is to have some effect (like 'squaring'). ...But the sole purpose is knowledge, of things which exist forever, not coming into existence and passing away. | |
| From: Plato (The Republic [c.374 BCE], 527a) | |
| A reaction: Modern Constructivism defends the view which Plato is attacking. The existence of real infinities can be doubted simply because we have not got enough time to construct them. |
| 10490 | Mathematics isn't surprising, given that we experience many objects as abstract [Boolos] |
| Full Idea: It is no surprise that we should be able to reason mathematically about many of the things we experience, for they are already 'abstract'. | |
| From: George Boolos (Must We Believe in Set Theory? [1997], p.129) | |
| A reaction: He has just given a list of exemplary abstract objects (Idea 10489), but I think there is a more interesting idea here - that our experience of actual physical objects is to some extent abstract, as soon as it is conceptualised. |
| 9861 | The same thing is both one and an unlimited number at the same time [Plato] |
| Full Idea: We see the same thing to be both one and an unlimited number at the same time. | |
| From: Plato (The Republic [c.374 BCE], 525a) | |
| A reaction: Frege makes the same point, that a pair of boots is both two and one. The point is at its strongest in opposition to empirical accounts of arithmetic. However, Mill observes that pebbles can be both 5 and 3+2, without contradiction. |