30 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. |
| 11064 | Classes can be reduced to propositional functions [Russell, by Hanna] |
| Full Idea: Russell held that classes can be reduced to propositional functions. | |
| From: report of Bertrand Russell (Mathematical logic and theory of types [1908]) by Robert Hanna - Rationality and Logic 2.4 | |
| A reaction: The exact nature of a propositional function is disputed amongst Russell scholars (though it is roughly an open sentence of the form 'x is red'). |
| 6407 | The class of classes which lack self-membership leads to a contradiction [Russell, by Grayling] |
| Full Idea: The class of teaspoons isn't a teaspoon, so isn't a member of itself; but the class of non-teaspoons is a member of itself. The class of all classes which are not members of themselves is a member of itself if it isn't a member of itself! Paradox. | |
| From: report of Bertrand Russell (Mathematical logic and theory of types [1908]) by A.C. Grayling - Russell Ch.2 | |
| A reaction: A very compressed version of Russell's famous paradox, often known as the 'barber' paradox. Russell developed his Theory of Types in an attempt to counter the paradox. Frege's response was to despair of his own theory. |
| 14775 | Numbers are just names devised for counting [Peirce] |
| Full Idea: Numbers are merely a system of names devised by men for the purpose of counting. | |
| From: Charles Sanders Peirce (Scientific Attitude and Fallibilism [1899], II) | |
| A reaction: This seems a perfectly plausible view prior to the advent of Cantor, set theory and modern mathematical logic. I suppose the modern reply to this is that Peirce may be right about origin, but that men thereby stumbled on an Aladdin's Cave of riches. |
| 14776 | That two two-eyed people must have four eyes is a statement about numbers, not a fact [Peirce] |
| Full Idea: To say that 'if' there are two persons and each person has two eyes there 'will be' four eyes is not a statement of fact, but a statement about the system of numbers which is our own creation. | |
| From: Charles Sanders Peirce (Scientific Attitude and Fallibilism [1899], II) | |
| A reaction: One eye for each arm of the people is certainly a fact. Frege uses this equivalence to build numbers. I think Peirce is wrong. If it is not a fact that these people have four eyes, I don't know what 'four' means. It's being two pairs is also a fact. |
| 10418 | Type theory seems an extreme reaction, since self-exemplification is often innocuous [Swoyer on Russell] |
| Full Idea: Russell's reaction to his paradox (by creating his theory of types) seems extreme, because many cases of self-exemplification are innocuous. The property of being a property is itself a property. | |
| From: comment on Bertrand Russell (Mathematical logic and theory of types [1908]) by Chris Swoyer - Properties 7.5 | |
| A reaction: Perhaps it is not enough that 'many cases' are innocuous. We are starting from philosophy of mathematics, where precision is essentially. General views about properties come later. |
| 10047 | Russell's improvements blocked mathematics as well as paradoxes, and needed further axioms [Russell, by Musgrave] |
| Full Idea: Unfortunately, Russell's new logic, as well as preventing the deduction of paradoxes, also prevented the deduction of mathematics, so he supplemented it with additional axioms, of Infinity, of Choice, and of Reducibility. | |
| From: report of Bertrand Russell (Mathematical logic and theory of types [1908]) by Alan Musgrave - Logicism Revisited §2 | |
| A reaction: The first axiom seems to be an empirical hypothesis, and the second has turned out to be independent of logic and set theory. |
| 23478 | Type theory means that features shared by different levels cannot be expressed [Morris,M on Russell] |
| Full Idea: Russell's theory of types avoided the paradoxes, but it had the result that features common to different levels of the hierarchy become uncapturable (since any attempt to capture them would involve a predicate which disobeyed the hierarchy restrictions). | |
| From: comment on Bertrand Russell (Mathematical logic and theory of types [1908]) by Michael Morris - Guidebook to Wittgenstein's Tractatus 2H |
| 21718 | Ramified types can be defended as a system of intensional logic, with a 'no class' view of sets [Russell, by Linsky,B] |
| Full Idea: A defence of the ramified theory of types comes in seeing it as a system of intensional logic which includes the 'no class' account of sets, and indeed the whole development of mathematics, as just a part. | |
| From: report of Bertrand Russell (Mathematical logic and theory of types [1908]) by Bernard Linsky - Russell's Metaphysical Logic 6.1 | |
| A reaction: So Linsky's basic project is to save logicism, by resting on intensional logic (rather than extensional logic and set theory). I'm not aware that Linsky has acquired followers for this. Maybe Crispin Wright has commented? |
| 18126 | A set does not exist unless at least one of its specifications is predicative [Russell, by Bostock] |
| Full Idea: The idea is that the same set may well have different canonical specifications, i.e. there may be different ways of stating its membership conditions, and so long as one of these is predicative all is well. If none are, the supposed set does not exist. | |
| From: report of Bertrand Russell (Mathematical logic and theory of types [1908]) by David Bostock - Philosophy of Mathematics 8.1 |
| 18128 | Russell is a conceptualist here, saying some abstracta only exist because definitions create them [Russell, by Bostock] |
| Full Idea: It is a conceptualist approach that Russell is relying on. ...The view is that some abstract objects ...exist only because they are definable. It is the definition that would (if permitted) somehow bring them into existence. | |
| From: report of Bertrand Russell (Mathematical logic and theory of types [1908]) by David Bostock - Philosophy of Mathematics 8.1 | |
| A reaction: I'm suddenly thinking that predicativism is rather interesting. Being of an anti-platonist persuasion about abstract 'objects', I take some story about how we generate them to be needed. Psychological abstraction seems right, but a bit vague. |
| 18124 | Vicious Circle says if it is expressed using the whole collection, it can't be in the collection [Russell, by Bostock] |
| Full Idea: The Vicious Circle Principle says, roughly, that whatever involves, or presupposes, or is only definable in terms of, all of a collection cannot itself be one of the collection. | |
| From: report of Bertrand Russell (Mathematical logic and theory of types [1908], p.63,75) by David Bostock - Philosophy of Mathematics 8.1 | |
| A reaction: This is Bostock's paraphrase of Russell, because Russell never quite puts it clearly. The response is the requirement to be 'predicative'. Bostock emphasises that it mainly concerns definitions. The Principle 'always leads to hierarchies'. |
| 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) |
| 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. |
| 14770 | Reasoning is based on statistical induction, so it can't achieve certainty or precision [Peirce] |
| Full Idea: All positive reasoning is judging the proportion of something in a whole collection by the proportion found in a sample. Hence we can never hope to attain absolute certainty, absolute exactitude, absolute universality. | |
| From: Charles Sanders Peirce (Scientific Attitude and Fallibilism [1899], II) | |
| A reaction: This is the basis of Peirce's fallibilism - that all 'positive' reasoning (whatever that it?) is based on statistical induction. I'm all in favour of fallibilism, but find Peirce's claim to be a bit too narrow. He was too mesmerised by physical science. |
| 14774 | Innate truths are very uncertain and full of error, so they certainly have exceptions [Peirce] |
| Full Idea: It seems to me there is the most historic proof that innate truths are particularly uncertain and mixed up with error, and therefore a fortiori not without exception. | |
| From: Charles Sanders Peirce (Scientific Attitude and Fallibilism [1899], II) |
| 14773 | A truth is hard for us to understand if it rests on nothing but inspiration [Peirce] |
| Full Idea: A truth which rests on the authority of inspiration only is of a somewhat incomprehensible nature; and we can never be sure that we rightly comprehend it. | |
| From: Charles Sanders Peirce (Scientific Attitude and Fallibilism [1899], II) |
| 14772 | If we decide an idea is inspired, we still can't be sure we have got the idea right [Peirce] |
| Full Idea: Even if we decide that an idea really is inspired, we cannot be sure, or nearly sure, that the statement is true. We know one of the commandments of the Bible was printed without a 'not' in it. | |
| From: Charles Sanders Peirce (Scientific Attitude and Fallibilism [1899], II) |
| 14771 | Only reason can establish whether some deliverance of revelation really is inspired [Peirce] |
| Full Idea: We never can be absolutely certain that any given deliverance [of revelation] really is inspired; for that can only be established by reasoning. | |
| From: Charles Sanders Peirce (Scientific Attitude and Fallibilism [1899], II) |
| 14769 | Only imagination can connect phenomena together in a rational way [Peirce] |
| Full Idea: We can stare stupidly at phenomena; but in the absence of imagination they will not connect themselves together in any rational way. | |
| From: Charles Sanders Peirce (Scientific Attitude and Fallibilism [1899], I) | |
| A reaction: The importance of this is its connection between imagination and 'rational' understanding. This is an important corrective to a crude traditional picture of the role of imagination. I would connect imagination with counterfactuals and best explanation. |
| 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. |
| 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) |
| 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) |