25 ideas
| 19259 | If 2-D conceivability can a priori show possibilities, this is a defence of conceptual analysis [Vaidya] |
| Full Idea: Chalmers' two-dimensional conceivability account of possibility offers a defence of a priori conceptual analysis, and foundations on which a priori philosophy can be furthered. | |
| From: Anand Vaidya (Understanding and Essence [2010], Intro) | |
| A reaction: I think I prefer Williamson's more scientific account of possibility through counterfactual conceivability, rather than Chalmers' optimistic a priori account. Deep topic, though, and the jury is still out. |
| 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! |
| 15959 | If the substantial form of brass implies its stability, how can it melt and remain brass? [Alexander,P] |
| Full Idea: If we account for the stability of a piece of brass by reference to the substantial form of brass, then it is mysterious how it can be melted and yet remain brass. | |
| From: Peter Alexander (Ideas, Qualities and Corpuscles [1985], 02.3) | |
| A reaction: [Alexander is discussing Boyle] |
| 15956 | The peripatetics treated forms and real qualities as independent of matter, and non-material [Alexander,P] |
| Full Idea: The peripatetic philosophers, in spite of their disagreements, all treated forms and real qualities as independent of matter and not to be understood in material terms. | |
| From: Peter Alexander (Ideas, Qualities and Corpuscles [1985], 54) | |
| A reaction: This is the simple reason why hylomorphism became totally discredited, in the face of the 'mechanical philosophy'. But there must be a physical version of hylomorphism, and I don't think Aristotle himself would reject it. |
| 19262 | Essential properties are necessary, but necessary properties may not be essential [Vaidya] |
| Full Idea: When P is an essence of O it follows that P is a necessary property of O. However, P can be a necessary property of O without being an essence of O. | |
| From: Anand Vaidya (Understanding and Essence [2010], 'Knowledge') | |
| A reaction: This summarises the Kit Fine view with which I sympathise. However, I dislike presenting essence as a mere list of properties, which is only done for the convenience of logicians. But was Jessie Owens a great athlete after he lost his speed? |
| 19267 | Define conceivable; how reliable is it; does inconceivability help; and what type of possibility results? [Vaidya] |
| Full Idea: Conceivability as evidence for possibility needs four interpretations. How is 'conceivable' defined or explained? How strongly is the idea endorsed? How does inconceivability fit in? And what kind of possibility (logical, physical etc) is implied? | |
| From: Anand Vaidya (Understanding and Essence [2010], 'Application') | |
| A reaction: [some compression] Williamson's counterfactual account helps with the first one. The strength largely depends on whether your conceptions are well informed. Inconceivability may be your own failure. All types of possibility can be implied. |
| 19440 | How do you know you have conceived a thing deeply enough to assess its possibility? [Vaidya] |
| Full Idea: The main issue with learning possibility from conceivability concerns how we can be confident that we have conceived things to the relevant level of depth required for the scenario to actually be a presentation or manifestation of a genuine possibility. | |
| From: Anand Vaidya (The Epistemology of Modality [2015], 1.2.2) | |
| A reaction: [He cites Van Inwagen 1998 for this idea] The point is that ignorant imagination can conceive of all sorts of absurd things which are seen to be impossible when enough information is available. We can hardly demand a criterion for this. |
| 19268 | Inconceivability (implying impossibility) may be failure to conceive, or incoherence [Vaidya] |
| Full Idea: If we aim to derive impossibility from inconceivability, we may either face a failure to conceive something, or arrive at a state of incoherence in conceiving. | |
| From: Anand Vaidya (Understanding and Essence [2010], 'Application') | |
| A reaction: [summary] Thus I can't manage to conceive a multi-dimensional hypercube, but I don't even try to conceive a circular square. In both cases, we must consider whether the inconceivability results from our own inadequacy, rather than from the facts. |
| 19265 | Can you possess objective understanding without realising it? [Vaidya] |
| Full Idea: Is it possible for an individual to possess objectual understanding without knowing they possess the objectual understanding? | |
| From: Anand Vaidya (Understanding and Essence [2010], 'Objections') | |
| A reaction: Hm. A nice new question to loose sleep over. We can't demand a regress of meta-understandings, so at some point you just understand. Birds understand nests. Equivalent: can you understand P, but can't explain P? Skilled, but inarticulate. |
| 19260 | Gettier deductive justifications split the justification from the truthmaker [Vaidya] |
| Full Idea: In the Gettier case of deductive justification, what we have is a separation between the source of the justification and the truthmaker for the belief. | |
| From: Anand Vaidya (Understanding and Essence [2010], 'Distinction') | |
| A reaction: A very illuminating insight into the Gettier problem. As a fan of truthmakers, I'm wondering if this might quickly solve it. |
| 19266 | In a disjunctive case, the justification comes from one side, and the truth from the other [Vaidya] |
| Full Idea: The disjunctive belief that 'either Jones owns a Ford or Brown is in Barcelona', which Smith believes, derives its justification from the left disjunct, and its truth from the right disjunct. | |
| From: Anand Vaidya (Understanding and Essence [2010], 'Application') | |
| A reaction: The example is from Gettier's original article. Have we finally got a decent account of the original Gettier problem, after fifty years of debate? Philosophical moves with delightful slowness. |
| 15975 | Can the qualities of a body be split into two groups, where the smaller explains the larger? [Alexander,P] |
| Full Idea: Is there any way of separating the qualities that bodies appear to have into two groups, one as small as possible and the other as large as possible, such that the smaller group can plausibly be used to explain the larger? | |
| From: Peter Alexander (Ideas, Qualities and Corpuscles [1985], 5.02) | |
| A reaction: Alexander implies that this is a question Locke asked himself. This is pretty close to what I take to be the main question for essentialism, though I am cautious about couching it in terms of groups of qualities. I think this was Aristotle's question. |
| 19264 | Aboutness is always intended, and cannot be accidental [Vaidya] |
| Full Idea: A representation cannot accidentally be about an object. Aboutness is in general an intentional relation. | |
| From: Anand Vaidya (Understanding and Essence [2010], 'Objections') | |
| A reaction: 'Intentional' with a 't', not with an 's'. This strikes me as important. Critics dislike the idea of 'representation' because if you passively place a representation and its subject together, what makes the image do the representing job? Answer: I do! |
| 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. |
| 15963 | Science has been partly motivated by the belief that the universe is run by God's laws [Alexander,P] |
| Full Idea: The idea of a designed universe has not been utterly irrelevant to the scientific project; it is one of the beliefs that can give a scientist the faith that there are laws, waiting to be discovered, that govern all phenomena. | |
| From: Peter Alexander (Ideas, Qualities and Corpuscles [1985], 03.3) | |
| A reaction: Of course if you start out looking for the 'laws of God' that is probably what you will discover. Natural selection strikes me as significant, because it shows no sign of being a procedure appropriate to a benevolent god. |
| 15951 | Alchemists tried to separate out essences, which influenced later chemistry [Alexander,P] |
| Full Idea: The alchemists sought the separation of the 'pure essences' of substances from unwanted impurities. This last goal was of great importance for the development of modern chemistry at the hands of Boyle and his successors. | |
| From: Peter Alexander (Ideas, Qualities and Corpuscles [1985], 01.1) | |
| A reaction: In a nutshell this gives us the reason why essences are so important, and also why they became discredited. Time for a clear modern rethink. |
| 15981 | Absolute space either provides locations, or exists but lacks 'marks' for locations [Alexander,P] |
| Full Idea: There are two conceptions of absolute space. In the first, empty space is independent of objects but provides a frame of reference so an object has a location. ..In the second space exists independently, but has no 'marks' into which objects can be put. | |
| From: Peter Alexander (Ideas, Qualities and Corpuscles [1985], 6) | |
| A reaction: He says that Locke seems to reject the first one, but accept the second one. |