31 ideas
192 | Only one thing can be contrary to something [Plato] |
Full Idea: To everything that admits of a contrary there is one contrary and no more. | |
From: Plato (Protagoras [c.380 BCE], 332c) | |
A reaction: The sort of thing for which a modern philosopher would demand a proof (and then reject when the proof couldn't be found), where a Greek is happy to assert it as self-evident. I can't think of a counterexample. |
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. |
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. |
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! |
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. |
1507 | We don't have time for infinite quantity, but we do for infinite divisibility, because time is also divisible [Aristotle on Zeno of Elea] |
Full Idea: Although it is impossible to make contact in a finite time with things that are infinite in quantity, it is possible to do so with things that are infinitely divisible, since the time itself is also infinite in this way. | |
From: comment on Zeno (Elea) (fragments/reports [c.450 BCE], A25) by Aristotle - Physics 233a21 |
5109 | The fast runner must always reach the point from which the slower runner started [Zeno of Elea, by Aristotle] |
Full Idea: Zeno's so-called 'Achilles' claims that the slowest runner will never be caught by the fastest runner, because the one behind has first to reach the point from which the one in front started, and so the slower one is bound always to be in front. | |
From: report of Zeno (Elea) (fragments/reports [c.450 BCE]) by Aristotle - Physics 239b14 | |
A reaction: The point is that the slower runner will always have moved on when the faster runner catches up with the starting point. We must understand how humble the early Greeks felt when they confronted arguments like this. It was like a divine revelation. |
1512 | Zeno is wrong that one grain of millet makes a sound; why should one grain achieve what the whole bushel does? [Aristotle on Zeno of Elea] |
Full Idea: Zeno is wrong in arguing that the tiniest fragment of millet makes a sound; there is no reason why the fragment should be able to move in any amount of time the air which the whole bushel moved as it fell. | |
From: comment on Zeno (Elea) (fragments/reports [c.450 BCE], A29) by Aristotle - Physics 250a16 |
1508 | Zeno's arrow paradox depends on the assumption that time is composed of nows [Aristotle on Zeno of Elea] |
Full Idea: Zeno's third argument claims that a moving arrow is still. Here the conclusion depends on assuming that time is composed of nows; if this assumption is not granted, the argument fails. | |
From: comment on Zeno (Elea) (fragments/reports [c.450 BCE], A27?) by Aristotle - Physics 239b5 |
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) |
190 | If asked whether justice itself is just or unjust, you would have to say that it is just [Plato] |
Full Idea: If someone asked me 'Is justice itself just or unjust?' I should answer that it was just, wouldn't you? I agree. | |
From: Plato (Protagoras [c.380 BCE], 330c) |
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. |
20184 | The only real evil is loss of knowledge [Plato] |
Full Idea: The only real kind of faring ill is the loss of knowledge. | |
From: Plato (Protagoras [c.380 BCE], 345b) | |
A reaction: This must crucially involve the intellectualist view (of Socrates) that virtuos behaviour results from knowledge, and moral wickedness is the result of ignorance. It is hard to see how forgetting a phone number is evil. |
20185 | The most important things in life are wisdom and knowledge [Plato] |
Full Idea: It would be shameful indeed to say that wisdom and knowledge are anything but the most powerful forces in human activity. | |
From: Plato (Protagoras [c.380 BCE], 352d) | |
A reaction: He lumps wisdom and knowledge together, and I think we can take 'knowledge' to mean something like understanding, because obviously mere atomistic propositional knowledge can be utterly trivial. |
191 | Everything resembles everything else up to a point [Plato] |
Full Idea: Everything resembles everything else up to a point. | |
From: Plato (Protagoras [c.380 BCE], 331d) |
203 | Courage is knowing what should or shouldn't be feared [Plato] |
Full Idea: Knowledge of what is and is not to be feared is courage. | |
From: Plato (Protagoras [c.380 BCE], 360d) |
202 | No one willingly and knowingly embraces evil [Plato] |
Full Idea: No one willingly goes to meet evil, or what he thinks is evil. | |
From: Plato (Protagoras [c.380 BCE], 358d) | |
A reaction: Presumably people who actively choose satanism can override this deep-seated attitude. But their adherence to evil usually seems to be rather restrained. A danger of tautology with ideas like this. |
193 | Some things are good even though they are not beneficial to men [Plato] |
Full Idea: 'Do you mean by good those things that are beneficial to men?' 'Not only those. I call some things which are not beneficial good as well'. | |
From: Plato (Protagoras [c.380 BCE], 333e) | |
A reaction: Examples needed, but this would be bad news for utilitarians. Good health is not seen as beneficial if it is taken for granted. Not being deaf. |
197 | Some pleasures are not good, and some pains are not evil [Plato] |
Full Idea: There are some pleasures which are not good, and some pains which are not evil. | |
From: Plato (Protagoras [c.380 BCE], 351d) | |
A reaction: Sadism and child birth. Though Bentham (I think) says that there is nothing good about the pain, since the event would obviously be better without it. |
200 | People tend only to disapprove of pleasure if it leads to pain, or prevents future pleasure [Plato] |
Full Idea: The only reason the common man disapproves of pleasures is if they lead to pain and deprive us of future pleasures. | |
From: Plato (Protagoras [c.380 BCE], 354a) | |
A reaction: Plato has a strong sense that some pleasures are just innately depraved and wicked. If those pleasure don't hurt anyone, it is very hard to pinpoint what is wrong with them. |
189 | If we punish wrong-doers, it shows that we believe virtue can be taught [Plato] |
Full Idea: Athenians inflict punishment on wrong-doers, which shows that they too think it possible to impart and teach goodness. | |
From: Plato (Protagoras [c.380 BCE], 324c) |
188 | Socrates did not believe that virtue could be taught [Plato] |
Full Idea: Socrates: I do not believe that virtue can be taught. | |
From: Plato (Protagoras [c.380 BCE], 320b) |
204 | Socrates is contradicting himself in claiming virtue can't be taught, but that it is knowledge [Plato] |
Full Idea: Socrates is contradicting himself by saying virtue is not teachable, and yet trying to demonstrate that every virtue is knowledge. | |
From: Plato (Protagoras [c.380 BCE], 361b) |
454 | If there are many things they must have a finite number, but there must be endless things between them [Zeno of Elea] |
Full Idea: It things are many, they can't be more or less than they are, so they must be finite, but also there must be endless things between each thing, so they must be infinite. | |
From: Zeno (Elea) (fragments/reports [c.450 BCE], B3), quoted by Simplicius - On Aristotle's 'Physics' 140.29 |
455 | That which moves, moves neither in the place in which it is, nor in that in which it is not [Zeno of Elea] |
Full Idea: That which moves, moves neither in the place in which it is, nor in that in which it is not. | |
From: Zeno (Elea) (fragments/reports [c.450 BCE], B4), quoted by (who?) - where? |
1511 | If everything is in a place, what is the place in? Place doesn't exist [Zeno of Elea, by Simplicius] |
Full Idea: If there is a place it will be in something, because everything that exists is in something. But what is in something is in a place. Therefore the place will be in a place, and so on ad infinitum. Therefore, there is no such thing as place. | |
From: report of Zeno (Elea) (fragments/reports [c.450 BCE], B3) by Simplicius - On Aristotle's 'Physics' 9.562.3 |