9 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). |
| 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'. |
| 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. |
| 15990 | Every individual thing which exists has an essence, which is its internal constitution [Locke] |
| Full Idea: I take essences to be in everything that internal constitution or frame for the modification of substance, which God in his wisdom gives to every particular creature, when he gives it a being; and such essences I grant there are in all things that exist. | |
| From: John Locke (Letters to Edward Stillingfleet [1695], Letter 1), quoted by Simon Blackburn - Quasi-Realism no Fictionalism | |
| A reaction: This is the clearest statement I have found of Locke's commitment to essences, for all his doubts about whether we can know such things. Alexander says (ch.13) Locke was reacting against scholastic essence, as pertaining to species. |
| 15994 | If it is knowledge, it is certain; if it isn't certain, it isn't knowledge [Locke] |
| Full Idea: What reaches to knowledge, I think may be called certainty; and what comes short of certainty, I think cannot be knowledge. | |
| From: John Locke (Letters to Edward Stillingfleet [1695], Letter 2), quoted by Simon Blackburn - Quasi-Realism no Fictionalism | |
| A reaction: I much prefer that fallibilist approach offered by the pragmatists. Knowledge is well-supported belief which seems (and is agreed) to be true, but there is a small shadow of doubt hanging over all of it. |
| 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. |
| 23405 | Rituals escape natural chaos, and benefit everyone, by reshaping our motivations [Xunzi (Xun Kuang), by Norden] |
| Full Idea: For Xunzi, everyone is better off with rituals …because they allow us to escape the chaotic state of nature. They do not merely set rules for entitlement, though. They are effective because they reshape human motivation. | |
| From: report of Xunzi (Xun Kuang) (The Xunzi [c.250 BCE]) by Bryan van Norden - Intro to Classical Chinese Philosophy 10.2 | |
| A reaction: Rituals are a basic part of Confucianist thinking, and may be puzzling to outsiders. At there worst rituals are brain-washing, but teaching children good manners is a sort of ritual, meant to channel feelings in a healthy direction |
| 23406 | Rituals don't arise from human nature; they are the deliberate creations of a sage [Xunzi (Xun Kuang)] |
| Full Idea: Rituals and standards of righteousness and proper models and measures are produced from the deliberate efforts of the sage; they are not produced from people's nature. | |
| From: Xunzi (Xun Kuang) (The Xunzi [c.250 BCE], 23), quoted by Bryan van Norden - Intro to Classical Chinese Philosophy 10.III | |
| A reaction: This is not to say that the sage is not in tune with nature. Human nature is often seen as a sprouting seed, which needs careful husbandry to bring out its best. |