23 ideas
| 12452 | Our dislike of contradiction in logic is a matter of psychology, not mathematics [Brouwer] |
| Full Idea: Not to the mathematician, but to the psychologist, belongs the task of explaining why ...we are averse to so-called contradictory systems in which the negative as well as the positive of certain propositions are valid. | |
| From: Luitzen E.J. Brouwer (Intuitionism and Formalism [1912], p.79) | |
| A reaction: Was the turning point of Graham Priest's life the day he read this sentence? I don't agree. I take the principle of non-contradiction to be a highly generalised observation of how the world works (and Russell agrees with me). |
| 15941 | For intuitionists excluded middle is an outdated historical convention [Brouwer] |
| Full Idea: From the intuitionist standpoint the dogma of the universal validity of the principle of excluded third in mathematics can only be considered as a phenomenon of history of civilization, like the rationality of pi or rotation of the sky about the earth. | |
| From: Luitzen E.J. Brouwer (works [1930]), quoted by Shaughan Lavine - Understanding the Infinite VI.2 | |
| A reaction: [Brouwer 1952:510-11] |
| 6007 | If you know your father, but don't recognise your father veiled, you know and don't know the same person [Eubulides, by Dancy,R] |
| Full Idea: The 'undetected' or 'veiled' paradox of Eubulides says: if you know your father, and don't know the veiled person before you, but that person is your father, you both know and don't know the same person. | |
| From: report of Eubulides (fragments/reports [c.390 BCE]) by R.M. Dancy - Megarian School | |
| A reaction: Essentially an uninteresting equivocation on two senses of "know", but this paradox comes into its own when we try to give an account of how linguistic reference works. Frege's distinction of sense and reference tried to sort it out (Idea 4976). |
| 6006 | If you say truly that you are lying, you are lying [Eubulides, by Dancy,R] |
| Full Idea: The liar paradox of Eubulides says 'if you state that you are lying, and state the truth, then you are lying'. | |
| From: report of Eubulides (fragments/reports [c.390 BCE]) by R.M. Dancy - Megarian School | |
| A reaction: (also Cic. Acad. 2.95) Don't say it, then. These kind of paradoxes of self-reference eventually lead to Russell's 'barber' paradox and his Theory of Types. |
| 6008 | Removing one grain doesn't destroy a heap, so a heap can't be destroyed [Eubulides, by Dancy,R] |
| Full Idea: The 'sorites' paradox of Eubulides says: if you take one grain of sand from a heap (soros), what is left is still a heap; so no matter how many grains of sand you take one by one, the result is always a heap. | |
| From: report of Eubulides (fragments/reports [c.390 BCE]) by R.M. Dancy - Megarian School | |
| A reaction: (also Cic. Acad. 2.49) This is a very nice paradox, which goes to the heart of our bewilderment when we try to fully understand reality. It homes in on problems of identity, as best exemplified in the Ship of Theseus (Ideas 1212 + 1213). |
| 18119 | Mathematics is a mental activity which does not use language [Brouwer, by Bostock] |
| Full Idea: Brouwer made the rather extraordinary claim that mathematics is a mental activity which uses no language. | |
| From: report of Luitzen E.J. Brouwer (Mathematics, Science and Language [1928]) by David Bostock - Philosophy of Mathematics 7.1 | |
| A reaction: Since I take language to have far less of a role in thought than is commonly believed, I don't think this idea is absurd. I would say that we don't use language much when we are talking! |
| 18247 | Brouwer saw reals as potential, not actual, and produced by a rule, or a choice [Brouwer, by Shapiro] |
| Full Idea: In his early writing, Brouwer took a real number to be a Cauchy sequence determined by a rule. Later he augmented rule-governed sequences with free-choice sequences, but even then the attitude is that Cauchy sequences are potential, not actual infinities. | |
| From: report of Luitzen E.J. Brouwer (works [1930]) by Stewart Shapiro - Philosophy of Mathematics 6.6 | |
| A reaction: This is the 'constructivist' view of numbers, as espoused by intuitionists like Brouwer. |
| 12451 | Scientific laws largely rest on the results of counting and measuring [Brouwer] |
| Full Idea: A large part of the natural laws introduced by science treat only of the mutual relations between the results of counting and measuring. | |
| From: Luitzen E.J. Brouwer (Intuitionism and Formalism [1912], p.77) | |
| A reaction: His point, I take it, is that the higher reaches of numbers have lost touch with the original point of the system. I now see the whole issue as just depending on conventions about the agreed extension of the word 'number'. |
| 18118 | Brouwer regards the application of mathematics to the world as somehow 'wicked' [Brouwer, by Bostock] |
| Full Idea: Brouwer regards as somehow 'wicked' the idea that mathematics can be applied to a non-mental subject matter, the physical world, and that it might develop in response to the needs which that application reveals. | |
| From: report of Luitzen E.J. Brouwer (Mathematics, Science and Language [1928]) by David Bostock - Philosophy of Mathematics 7.1 | |
| A reaction: The idea is that mathematics only concerns creations of the human mind. It presumably has no more application than, say, noughts-and-crosses. |
| 12454 | Intuitionists only accept denumerable sets [Brouwer] |
| Full Idea: The intuitionist recognises only the existence of denumerable sets. | |
| From: Luitzen E.J. Brouwer (Intuitionism and Formalism [1912], p.80) | |
| A reaction: That takes you up to omega, but not beyond, presumably because it then loses sight of the original intuition of 'bare two-oneness' (Idea 12453). I sympathise, but the word 'number' has shifted its meaning a lot these days. |
| 12453 | Neo-intuitionism abstracts from the reuniting of moments, to intuit bare two-oneness [Brouwer] |
| Full Idea: Neo-intuitionism sees the falling apart of moments, reunited while remaining separated in time, as the fundamental phenomenon of human intellect, passing by abstracting to mathematical thinking, the intuition of bare two-oneness. | |
| From: Luitzen E.J. Brouwer (Intuitionism and Formalism [1912], p.80) | |
| A reaction: [compressed] A famous and somewhat obscure idea. He goes on to say that this creates one and two, and all the finite ordinals. |
| 8728 | Intuitionist mathematics deduces by introspective construction, and rejects unknown truths [Brouwer] |
| Full Idea: Mathematics rigorously treated from the point of view of deducing theorems exclusively by means of introspective construction, is called intuitionistic mathematics. It deviates from classical mathematics, which believes in unknown truths. | |
| From: Luitzen E.J. Brouwer (Consciousness, Philosophy and Mathematics [1948]), quoted by Stewart Shapiro - Thinking About Mathematics 1.2 | |
| A reaction: Clearly intuitionist mathematics is a close cousin of logical positivism and the verification principle. This view would be anathema to Frege, because it is psychological. Personally I believe in the existence of unknown truths, big time! |
| 10117 | Intuitonists in mathematics worried about unjustified assertion, as well as contradiction [Brouwer, by George/Velleman] |
| Full Idea: The concern of mathematical intuitionists was that the use of certain forms of inference generates, not contradiction, but unjustified assertions. | |
| From: report of Luitzen E.J. Brouwer (Intuitionism and Formalism [1912]) by A.George / D.J.Velleman - Philosophies of Mathematics Ch.6 | |
| A reaction: This seems to be the real origin of the verificationist idea in the theory of meaning. It is a hugely revolutionary idea - that ideas are not only ruled out of court by contradiction, but that there are other criteria which should also be met. |
| 8239 | If the King likes music then there is hope for the state [Mengzi (Mencius)] |
| Full Idea: If the King has a great fondness for music, then perhaps there is hope for the state of Ch'i. | |
| From: Mengzi (Mencius) (The Mengzi (Mencius) [c.332 BCE], 1.B.1) | |
| A reaction: This seems to be Shakespeare's attitude to music as well. The general idea must be that love of music requires a selfless state of mind, where the mind revels in the beauty of something outside of itself. Respect is the desirable result. |
| 23398 | Human nature is naturally compassionate and good (as a 'sprout'), but people may not be good [Mengzi (Mencius), by Norden] |
| Full Idea: Mengzi does not claim that humans are innately good; he claims that human nature is innately good. …He says that 'the heart of compassion' (manifested when anyone sees a child about to fall into a well) is the 'sprout of benevolence'. | |
| From: report of Mengzi (Mencius) (The Mengzi (Mencius) [c.332 BCE]) by Bryan van Norden - Intro to Classical Chinese Philosophy 6.II | |
| A reaction: There is a nice distinction here between the 'sprout' of human nature and the finished product. Seeds have the potential to produce tall healthy plants, but circumstances can warp them. |
| 23400 | Righteousness is extending the unthinkable, to reveal what must be done [Mengzi (Mencius)] |
| Full Idea: People all have things they will not do. To extend this reaction to that which they will do is righteousness. | |
| From: Mengzi (Mencius) (The Mengzi (Mencius) [c.332 BCE], 7B31), quoted by Bryan van Norden - Intro to Classical Chinese Philosophy 6.IV | |
| A reaction: Very nice! Kekes points out the enormous importance of unthinkable deeds. Depravity is when the unthinkable gradually begins to look possible, which is probably a social phenomenon, a creeping cancer in a culture. |
| 23399 | Each correct feeling relies on an underlying virtue [Mengzi (Mencius)] |
| Full Idea: The heart of compassion is benevolence. The heart of disdain is righteousness. The heart of respect is propriety. The heart of approval and disapproval is wisdom. | |
| From: Mengzi (Mencius) (The Mengzi (Mencius) [c.332 BCE], 6A6), quoted by Bryan van Norden - Intro to Classical Chinese Philosophy 6.III | |
| A reaction: 'Disdain' seems to be the response to anyone who is disrespectful. Note that wisdom concerns judgements. Respect seems to be more of a social convention than an actual concern for others. |
| 8235 | Should a coward who ran fifty paces from a battle laugh at another who ran a hundred? [Mengzi (Mencius)] |
| Full Idea: If two soldiers were fleeing from a battle, and one stopped after a hundred paces and the other stopped after a fifty paces, what would you think if the latter, as one who only ran fifty paces, were to laugh at the former who ran a hundred? | |
| From: Mengzi (Mencius) (The Mengzi (Mencius) [c.332 BCE], 1.A.3) | |
| A reaction: A nice illustration, in my view, of the universality of truths about human virtue. In no culture would this laughter be appropriate. Nevertheless, there must be degrees of dishonour. Better to flee than join in with the likely winners. |
| 8240 | A true king shares his pleasure with the people [Mengzi (Mencius)] |
| Full Idea: If you shared your enjoyment of music or of hunting with the people, you would be a true King. | |
| From: Mengzi (Mencius) (The Mengzi (Mencius) [c.332 BCE], 1.B.1) | |
| A reaction: I suspect that this is a great truth for dictators and traditional monarchs. One pictures the successful ones attending public entertainments, and allowing the public to see their own. Tyrants keep entertainment private. Nero is a counterexample! |
| 8237 | Extend the treatment of the old and young in your family to the rest of society [Mengzi (Mencius)] |
| Full Idea: Treat the aged of your own family in a manner befitting their venerable age and extend this treatment to the aged of other families. Treat your own young in a manner befitting their tender age, and extend this to the young of other families. | |
| From: Mengzi (Mencius) (The Mengzi (Mencius) [c.332 BCE], 1.A.7) | |
| A reaction: This seems to me to articulate the ideal of communitarianism very nicely. Morality is not just about healthy adults in war and peace. It must include the children and the old. The values of the family are above the values of contracts and calculations. |
| 8241 | Only put someone to death if the whole population believes it is deserved [Mengzi (Mencius)] |
| Full Idea: When close attendants say a man deserves death, do not listen; when all the councillors say so, do not listen; when everyone says so, have the case investigated. If he is guilty, put him to death; he was put to death by the whole country. | |
| From: Mengzi (Mencius) (The Mengzi (Mencius) [c.332 BCE], 1.B.7) | |
| A reaction: The jury system is a gesture in this direction. Compare Idea 95. In Mencius's time, no doubt, everyone believed that capital punishment was sometimes right. Nowadays, when many people (e.g. me) reject it, the procedure won't work. |
| 8238 | Seeking peace through war is like looking for fish up a tree [Mengzi (Mencius)] |
| Full Idea: Your desire to extend your territory by war, in order to bring peace, is like looking for fish by climbing a tree. | |
| From: Mengzi (Mencius) (The Mengzi (Mencius) [c.332 BCE], 1.A.7) | |
| A reaction: Mencius had a flair for analogies. Just occasionally I suppose he might be wrong on this point, but I would think that experiments in the laboratory of history have shown that he is right in nearly all cases. |
| 8236 | Avoid the animals you are going to eat, as it is hard once you have got to know them [Mengzi (Mencius)] |
| Full Idea: Once a gentleman has seen animals alive, he cannot bear to see them die, and once having heard their cry, he cannot bear to eat their flesh. That is why the gentleman keeps his distance from the kitchen. | |
| From: Mengzi (Mencius) (The Mengzi (Mencius) [c.332 BCE], 1.A.7) | |
| A reaction: If you applied this to a Gestapo officer and his victims, it would obviously be the epitome of wickedness. But it is complex. Compassion is expected when we encounter suffering, but we are not obliged to seek out suffering. Or are we? |