19 ideas
| 9327 | Organisms understand their worlds better if they understand themselves [Gulick] |
| Full Idea: Organisms come to better understand their worlds by coming to better understand themselves and the ways in which their own structures engage their worlds. | |
| From: Robert van Gulick (Mirror Mirror - Is That All? [2006], §III) | |
| A reaction: Van Gulick is defending a higher-order theory of consciousness, but this strikes me as a good rationale for the target of philosophy, which has increasingly (since Descartes) focused on understanding our own minds. |
| 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] |
| 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! |
| 9325 | In contrast with knowledge, the notion of understanding emphasizes practical engagement [Gulick] |
| Full Idea: In contrast with standard notions of knowledge, the concept of understanding emphasizes the element of practical engagement from the outset. | |
| From: Robert van Gulick (Mirror Mirror - Is That All? [2006], §II) | |
| A reaction: This could be the very interesting germ of a huge revolution in our approach to epistemology, which I find rather appealing. Plato's desire that knowledge should have 'logos' seems to me in the same area. It sounds rather internalist, which is good. |
| 9326 | Knowing-that is a much richer kind of knowing-how [Gulick] |
| Full Idea: Knowing-that is a much richer kind of knowing-how. | |
| From: Robert van Gulick (Mirror Mirror - Is That All? [2006], §II) | |
| A reaction: This thought could rather rapidly revive the discredited notion of knowing-how. I think it might slot into an account of the mind in terms of levels, so that my internalist view of knowledge emerges at higher levels, built on more basic responses. |
| 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 |
| 9319 | Is consciousness a type of self-awareness, or is being self-aware a way of being conscious? [Gulick] |
| Full Idea: Is consciousness just a special type of self-awareness, or is being self-aware a special way of being conscious? | |
| From: Robert van Gulick (Mirror Mirror - Is That All? [2006], Intro) | |
| A reaction: This is a really good key question, which has hovered over the debate since Locke's definition of a person (as 'self-aware'). I take the self to be a mechanism of most brains, which is prior to consciousness. Maybe the two are inseparable. |
| 9320 | Higher-order theories divide over whether the higher level involves thought or perception [Gulick] |
| Full Idea: Higher-order thought (HOT) models treat metastates as thought-like, and higher-order perception (HOP) models regard them as at least quasi-perceptual and resulting from some form of inner monitoring or inner sense. | |
| From: Robert van Gulick (Mirror Mirror - Is That All? [2006], §I) | |
| A reaction: I would understand 'thought' to at least partially involve judgements. The HOT theory (Carruthers) seems to suit epistemological foundationalists, who want truth to enter on the ground floor. This pushes me towards the HOP model (Lycan) as more plausible. |
| 9321 | Higher-order models reduce the problem of consciousness to intentionality [Gulick] |
| Full Idea: Higher-order models would effectively reduce the problem of consciousness to that of intentionality. | |
| From: Robert van Gulick (Mirror Mirror - Is That All? [2006], §I) | |
| A reaction: This gives the bigger picture - that higher-order theories are the cutting edge of attempts to give a naturalistic, reductivist account of consciousness. That seems to be the only way to go, so we should encourage them in the enterprise. |
| 9322 | Maybe qualia only exist at the lower level, and a higher-level is needed for what-it-is-like [Gulick] |
| Full Idea: Some higher-order theorists say we have qualitative but unconscious mental states of color or pain (qualia), but there is nothing it is like to be in such a state, which needs higher-order awareness. The meta-states are devoid of qualia. | |
| From: Robert van Gulick (Mirror Mirror - Is That All? [2006], §I.5) | |
| A reaction: He calls this the 'stranded qualia' problem. Clearly one begins to sharpen Ockham's Razor at this point, if the higher-level state isn't contributing something. I don't rule out unconscious qualia. The strength of a real pain is distorted in a dream. |
| 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. |
| 9324 | From the teleopragmatic perspective, life is largely an informational process [Gulick] |
| Full Idea: From the teleopragmatic perspective, life itself is largely an informational process. | |
| From: Robert van Gulick (Mirror Mirror - Is That All? [2006]) | |
| A reaction: From the cynical perspective a human is just 'blood and foul smell in a bag', but that may not give you whole story. The point here is that the informational view will cover both the genetic and the mental levels of human life. True but unilluminating? |