33 ideas
| 354 | Wisdom makes virtue and true goodness possible [Plato] |
| Full Idea: It is wisdom that makes possible courage and self-control and integrity or, in a word, true goodness. | |
| From: Plato (Phaedo [c.382 BCE], 069b) | |
| A reaction: Aristotle also says that prudence (phronesis) makes virtue possible. |
| 370 | Philosophy is a purification of the soul ready for the afterlife [Plato] |
| Full Idea: Souls which have purified themselves sufficiently by philosophy will live after death without bodies. | |
| From: Plato (Phaedo [c.382 BCE], 114b) | |
| A reaction: Purifying it of what? Error, or desire, or narrow-mindedness, or the physical? |
| 350 | In investigation the body leads us astray, but the soul gets a clear view of the facts [Plato] |
| Full Idea: When philosophers investigate with the help of the body they are led astray, but through reflection the soul gets a clear view of the facts. | |
| From: Plato (Phaedo [c.382 BCE], 065c) |
| 362 | The greatest misfortune for a person is to develop a dislike for argument [Plato] |
| Full Idea: No greater misfortune could happen to anyone than developing a dislike for argument. | |
| From: Plato (Phaedo [c.382 BCE], 089d) |
| 10807 | Mathematics reduces to set theory, which reduces, with some mereology, to the singleton function [Lewis] |
| Full Idea: It is generally accepted that mathematics reduces to set theory, and I argue that set theory in turn reduces, with some aid of mereology, to the theory of the singleton function. | |
| From: David Lewis (Mathematics is Megethology [1993], p.03) |
| 10809 | We can accept the null set, but not a null class, a class lacking members [Lewis] |
| Full Idea: In my usage of 'class', there is no such things as the null class. I don't mind calling some memberless thing - some individual - the null set. But that doesn't make it a memberless class. Rather, that makes it a 'set' that is not a class. | |
| From: David Lewis (Mathematics is Megethology [1993], p.05) | |
| A reaction: Lewis calls this usage 'idiosyncratic', but it strikes me as excellent. Set theorists can have their vital null class, and sensible people can be left to say, with Lewis, that classes of things must have members. |
| 10812 | The null set is not a little speck of sheer nothingness, a black hole in Reality [Lewis] |
| Full Idea: Should we accept the null set as a most extraordinary individual, a little speck of sheer nothingness, a sort of black hole in the fabric of Reality itself? Not that either, I think. | |
| From: David Lewis (Mathematics is Megethology [1993], p.09) | |
| A reaction: Correct! |
| 10811 | The null set plays the role of last resort, for class abstracts and for existence [Lewis] |
| Full Idea: The null set serves two useful purposes. It is a denotation of last resort for class abstracts that denote no nonempty class. And it is an individual of last resort: we can count on its existence, and fearlessly build the hierarchy of sets from it. | |
| From: David Lewis (Mathematics is Megethology [1993], p.09) | |
| A reaction: This passage assuages my major reservation about the existence of the null set, but at the expense of confirming that it must be taken as an entirely fictional entity. |
| 10813 | What on earth is the relationship between a singleton and an element? [Lewis] |
| Full Idea: A new student of set theory has just one thing, the element, and he has another single thing, the singleton, and not the slightest guidance about what one thing has to do with the other. | |
| From: David Lewis (Mathematics is Megethology [1993], p.12) |
| 10814 | Are all singletons exact intrinsic duplicates? [Lewis] |
| Full Idea: Are all singletons exact intrinsic duplicates? | |
| From: David Lewis (Mathematics is Megethology [1993], p.13) |
| 10806 | Megethology is the result of adding plural quantification to mereology [Lewis] |
| Full Idea: Megethology is the result of adding plural quantification, as advocated by George Boolos, to the language of mereology. | |
| From: David Lewis (Mathematics is Megethology [1993], p.03) |
| 10816 | We can use mereology to simulate quantification over relations [Lewis] |
| Full Idea: We can simulate quantification over relations using megethology. Roughly, a quantifier over relations is a plural quantifier over things that encode ordered pairs by mereological means. | |
| From: David Lewis (Mathematics is Megethology [1993], p.18) | |
| A reaction: [He credits this idea to Burgess and Haven] The point is to avoid second-order logic, which quantifies over relations as ordered n-tuple sets. |
| 13155 | If you add one to one, which one becomes two, or do they both become two? [Plato] |
| Full Idea: I cannot convince myself that when you add one to one either the first or the second one becomes two, or they both become two by the addition of the one to the other, ...or that when you divide one, the cause of becoming two is now the division. | |
| From: Plato (Phaedo [c.382 BCE], 097d) | |
| A reaction: Lovely questions, all leading to the conclusion that two consists of partaking in duality, to which you can come by several different routes. |
| 10808 | Mathematics is generalisations about singleton functions [Lewis] |
| Full Idea: We can take the theory of singleton functions, and hence set theory, and hence mathematics, to consist of generalisations about all singleton functions. | |
| From: David Lewis (Mathematics is Megethology [1993], p.03) | |
| A reaction: At first glance this sounds like a fancy version of the somewhat discredited Greek idea that mathematics is built on the concept of a 'unit'. |
| 10815 | We don't need 'abstract structures' to have structural truths about successor functions [Lewis] |
| Full Idea: We needn't believe in 'abstract structures' to have general structural truths about all successor functions. | |
| From: David Lewis (Mathematics is Megethology [1993], p.16) |
| 21347 | If Simmias is taller than Socrates, that isn't a feature that is just in Simmias [Plato] |
| Full Idea: When you say Simmias is taller than Socrates but shorter than Phaedo, so you mean there is in Simmias both tallness and shortness? - I do. ...But surely he is not taller than Socrates because he is Simmias but because of the tallness he happens to have? | |
| From: Plato (Phaedo [c.382 BCE], 102b-c) | |
| A reaction: He adds that both people must be cited. This appears to be what we now call a rejection relative height as an 'internal' relation, which is it would presumably be if it was a feature of one or of both men. |
| 360 | We must have a prior knowledge of equality, if we see 'equal' things and realise they fall short of it [Plato] |
| Full Idea: We must have some previous knowledge of equality, before the time when we saw equal things, but realised that they fell short of it. | |
| From: Plato (Phaedo [c.382 BCE], 075a) |
| 1 | There is only one source for all beauty [Plato] |
| Full Idea: If anything is beautiful other than beauty itself, it is beautiful for no other reason but because it participates in that beautiful. | |
| From: Plato (Phaedo [c.382 BCE], 100c) | |
| A reaction: The Greek word will be 'kalon' (beautiful, fine, noble). Like Aristotle, I find it baffling that such diversity could have a single source. Beautiful things have diverse aims. |
| 368 | Other things are named after the Forms because they participate in them [Plato] |
| Full Idea: The reason why other things are called after the forms is that they participate in the forms. | |
| From: Plato (Phaedo [c.382 BCE], 102a) |
| 10810 | I say that absolutely any things can have a mereological fusion [Lewis] |
| Full Idea: I accept the principle of Unrestricted Composition: whenever there are some things, no matter how many or how unrelated or how disparate in character they may be, they have a mereological fusion. ...The trout-turkey is part fish and part fowl. | |
| From: David Lewis (Mathematics is Megethology [1993], p.07) | |
| A reaction: This nicely ducks the question of when things form natural wholes and when they don't, but I would have thought that that might be one of the central issues of metaphysicals, so I think I'll give Lewis's principle a miss. |
| 16516 | The ship which Theseus took to Crete is now sent to Delos crowned with flowers [Plato] |
| Full Idea: The day before the trial the prow of the ship that the Athenians send to Delos had been crowned with garlands. - Which ship is that? - It is the ship in which, the Athenians say, Theseus once sailed to Crete, taking the victims. | |
| From: Plato (Phaedo [c.382 BCE], 058a) | |
| A reaction: Not philosophical, but this is the Ship of Theseus whose subsequent identity, Plutarch tells us, became a matter of dispute. |
| 357 | People are obviously recollecting when they react to a geometrical diagram [Plato] |
| Full Idea: The way in which people react to a geometrical diagram or anything like that is unmistakable proof of the theory of recollection. | |
| From: Plato (Phaedo [c.382 BCE], 073a) |
| 359 | If we feel the inadequacy of a resemblance, we must recollect the original [Plato] |
| Full Idea: If someone sees a resemblance, but feels that it falls far short of the original, they must therefore have a recollection of the original. | |
| From: Plato (Phaedo [c.382 BCE], 074e) |
| 9343 | To achieve pure knowledge, we must get rid of the body and contemplate things with the soul [Plato] |
| Full Idea: We are convinced that if we are ever to have pure knowledge of anything, we must get rid of the body and contemplate things by themselves with the soul by itself. | |
| From: Plato (Phaedo [c.382 BCE], 066c) | |
| A reaction: This seems to be the original ideal which motivates the devotion to a priori knowledge - that it will lead to a 'pure' knowledge, which in Plato's case will be eternal and necessary knowledge, like taking lessons from the gods. Wrong. |
| 3061 | Anaxarchus said that he was not even sure that he knew nothing [Anaxarchus, by Diog. Laertius] |
| Full Idea: Anaxarchus said that he was not even sure that he knew nothing. | |
| From: report of Anaxarchus (fragments/reports [c.340 BCE]) by Diogenes Laertius - Lives of Eminent Philosophers 09.10.1 |
| 15859 | To investigate the causes of things, study what is best for them [Plato] |
| Full Idea: If one wished to know the cause of each thing, why it comes to be or perishes or exists, one had to find what was the best way for it to be, or to be acted upon, or to act. Then it befitted a man to investigate only ...what is best. | |
| From: Plato (Phaedo [c.382 BCE], 097d) | |
| A reaction: A reversal of the modern idea of 'best explanation'. Socrates is citing Anaxagoras's proposal to understand things by interpreting the workings of a supreme Mind. It is the religious version of best explanation. |
| 13154 | Do we think and experience with blood, air or fire, or could it be our brain? [Plato] |
| Full Idea: Is it with the blood that we think, or with the air or the fire that is in us? Or is it none of these, but the brain that supplies our senses of hearing and sight and smell. | |
| From: Plato (Phaedo [c.382 BCE], 097a) | |
| A reaction: In retrospect it seems surprising that such clever people hadn't worked this one out, given the evidence of anatomy, in animals and people, and given brain injuries. By the time of Galen they appear to have got the answer. |
| 364 | One soul can't be more or less of a soul than another [Plato] |
| Full Idea: Is one soul, even minutely, more or less of a soul than another? Not in the least. | |
| From: Plato (Phaedo [c.382 BCE], 093b) | |
| A reaction: This idea is attractive because unconsciousness and death seem to be abrupt procedures, and so appear to be all-or-nothing, but I would personally view extreme Alzheimer's as an erasing of the soul, though a minimum level of it seems all-or-nothing. |
| 361 | It is a mistake to think that the most violent pleasure or pain is therefore the truest reality [Plato] |
| Full Idea: When anyone's soul feels a keen pleasure or pain it cannot help supposing that whatever causes the most violent emotion is the plainest and truest reality - which it is not. | |
| From: Plato (Phaedo [c.382 BCE], 084c) | |
| A reaction: Do people think that? Most people distinguish subjective from objective. Wounded soldiers are also aware of victory or defeat. |
| 351 | War aims at the acquisition of wealth, because we are enslaved to the body [Plato] |
| Full Idea: All wars are undertaken for the acquisition of wealth, and we want this because of the body, to which we are slave. | |
| From: Plato (Phaedo [c.382 BCE], 066c) |
| 13156 | Fancy being unable to distinguish a cause from its necessary background conditions! [Plato] |
| Full Idea: Fancy being unable to distinguish between the cause of a thing, and the condition without which it could not be a cause. | |
| From: Plato (Phaedo [c.382 BCE], 099c) | |
| A reaction: Not as simple as he thinks. It seems fairly easy to construct a case where the immediately impacting event remains constant, and the background condition is changed. Even worse when negligence is held to be the cause. |
| 369 | If the Earth is spherical and in the centre, it is kept in place by universal symmetry, not by force [Plato] |
| Full Idea: If the earth is spherical and in the middle of the heavens, it needs neither air nor force to keep it from falling. The uniformity of heaven and equilibrium of earth are sufficient support. | |
| From: Plato (Phaedo [c.382 BCE], 108e) |
| 363 | Whether the soul pre-exists our body depends on whether it contains the ultimate standard of reality [Plato] |
| Full Idea: The theory that our soul exists even before it enters the body surely stands or falls with the soul's possession of the ultimate standard of reality. | |
| From: Plato (Phaedo [c.382 BCE], 092d) |