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. |
13163 | Circles must be bounded, so cannot be infinite [Leibniz] |
Full Idea: An infinite circle is impossible, since any circle is bounded by its circumference. | |
From: Gottfried Leibniz (Dialogue on human freedom and origin of evil [1695], p.114) | |
A reaction: This is interesting if one is asking what the essence of a circle must be. If is tempting to say merely that the radii must be equal, but can they have the length of some vast transfinite number? The circumference must be 2π bigger. |
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. |
13162 | Sloth's Syllogism: either it can't happen, or it is inevitable without my effort [Leibniz] |
Full Idea: The ancient Sloth's Syllogism says that if something is foreseen and infallible, it will happen without my effort, and if it is not foreseen, it will not happen, even though I am able to do it. | |
From: Gottfried Leibniz (Dialogue on human freedom and origin of evil [1695], p.113) | |
A reaction: Presumable the foreseeing is to be done by the oracle, and not by the slothful person. |
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. |
19339 | Evil is a negation of good, which arises from non-being [Leibniz] |
Full Idea: The cause of good is positive, but evil is a defect, that is, a privation or negation, and consequently, it arises from nothingness or nonbeing. | |
From: Gottfried Leibniz (Dialogue on human freedom and origin of evil [1695], p.114) | |
A reaction: He goes on to illustrate his idea from mathematics. He is modifying Augustine's view that evil is an absence of good, by adding nonbeing as the driving force behind it. Doesn't sound very persuasive to me. |
13164 | God only made sin possible because a much greater good can be derived from it [Leibniz] |
Full Idea: We must believe that God would not have allowed sin nor would he have created things he knows will sin, if he could not derive from them a good incomparably greater than the resulting evil. | |
From: Gottfried Leibniz (Dialogue on human freedom and origin of evil [1695], p.115) | |
A reaction: Why 'must' we believe this? Do we have to imagine all the genocides shrinking to insignificance once we grasp the wonderful goods that can be derived from them? The end justifies the means. Genocide is actually a good thing. Hm. |