15 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). |
| 9406 | A class is natural when everybody can spot further members of it [Quinton] |
| Full Idea: To say that a class is natural is to say that when some of its members are shown to people they pick out others without hesitation and in agreement. | |
| From: Anthony Quinton (The Nature of Things [1973], 9 'Nat') | |
| A reaction: He concedes a number of problems with his view, but I admire his attempt to at least begin to distinguish the natural (real!) classes from the ersatz ones. A mention of causal powers would greatly improve his story. |
| 12430 | Classical logic is our preconditions for assessing empirical evidence [Kitcher] |
| Full Idea: In my terminology, classical logic (or at least, its most central tenets) consists of propositional preconditions for our assessing empirical evidence in the way we do. | |
| From: Philip Kitcher (A Priori Knowledge Revisited [2000], §VII) | |
| A reaction: I like an even stronger version of this - that classical logic arises out of our experiences of things, and so we are just assessing empirical evidence in terms of other (generalised) empirical evidence. Logic results from induction. Very unfashionable. |
| 12431 | I believe classical logic because I was taught it and use it, but it could be undermined [Kitcher] |
| Full Idea: I believe the laws of classical logic, in part because I was taught them, and in part because I think I see how those laws are used in assessing evidence. But my belief could easily be undermined by experience. | |
| From: Philip Kitcher (A Priori Knowledge Revisited [2000], §VII) | |
| A reaction: Quine has one genuine follower! The trouble is his first sentence would fit witch-doctoring just as well. Kitcher went to Cambridge; I hope he doesn't just believe things because he was taught them, or because he 'sees how they are used'! |
| 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. |
| 15730 | Extreme nominalists say all classification is arbitrary convention [Quinton] |
| Full Idea: Pure, extreme nominalism sees all classification as the product of arbitrary convention. | |
| From: Anthony Quinton (The Nature of Things [1973], 9 'Nat') | |
| A reaction: I'm not sure what the word 'arbitrary' is doing there. Nominalists are not daft, and if they can classify any way they like, they are not likely to choose an 'arbitrary' system. Pragmatism tells the right story here. |
| 15728 | The naturalness of a class depends as much on the observers as on the objects [Quinton] |
| Full Idea: The naturalness of a class depends as essentially on the nature of the observers who classify as it does on the nature of the objects that they classify. ...It depends on our perceptual apparatus, and on our relatively mutable needs and interests. | |
| From: Anthony Quinton (The Nature of Things [1973], 9 'Nat') | |
| A reaction: This seems to translate 'natural' as 'natural for us', which is not much use to scientists, who spend quite a lot of effort combating folk wisdom. Do desirable sports cars constitute a natural class? |
| 9407 | Properties imply natural classes which can be picked out by everybody [Quinton] |
| Full Idea: To say there are properties is to say there are natural classes, classes introduction to some of whose members enables people to pick out others without hesitation and in agreement. | |
| From: Anthony Quinton (The Nature of Things [1973], 9 'Nat') | |
| A reaction: Aristotle would like this approach, but it doesn't find many friends among modern logician/philosophers. We should go on to ask why people agree on these things. Causal powers will then come into it. |
| 15729 | Uninstantiated properties must be defined using the instantiated ones [Quinton] |
| Full Idea: Properties that have no concrete instances must be defined in terms of those that have. | |
| From: Anthony Quinton (The Nature of Things [1973], 9 'Nat') | |
| A reaction: I wonder what the dodo used to smell like? |
| 8520 | An individual is a union of a group of qualities and a position [Quinton, by Campbell,K] |
| Full Idea: Quinton proposes that an individual is a union of a group of qualities and a position. | |
| From: report of Anthony Quinton (The Nature of Things [1973], Pt I) by Keith Campbell - The Metaphysic of Abstract Particulars §5 | |
| A reaction: This seems the obvious defence of a bundle account of objects against the charge that indiscernibles would have to be identical. It introduces, however, 'positions' into the ontology, but maybe that price must be paid. Materialism needs space. |
| 12428 | Many necessities are inexpressible, and unknowable a priori [Kitcher] |
| Full Idea: There are plenty of necessary truths that we are unable to express, let alone know a priori. | |
| From: Philip Kitcher (A Priori Knowledge Revisited [2000], §II) | |
| A reaction: This certainly seems to put paid to any simplistic idea that the a priori and the necessary are totally coextensive. We might, I suppose, claim that all necessities are a priori for the Archangel Gabriel (or even a very bright cherub). Cf. Idea 12429. |
| 12429 | Knowing our own existence is a priori, but not necessary [Kitcher] |
| Full Idea: What is known a priori may not be necessary, if we know a priori that we ourselves exist and are actual. | |
| From: Philip Kitcher (A Priori Knowledge Revisited [2000], §II) | |
| A reaction: Compare Idea 12428, which challenges the inverse of this relationship. This one looks equally convincing, and Kripke adds other examples of contingent a priori truths, such as those referring to the metre rule in Paris. |
| 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. |