25 ideas
| 14001 | People who use science to make philosophical points don't realise how philosophical science is [Markosian] |
| Full Idea: When people give arguments from scientific theories to philosophical conclusions, there is usually a good deal of philosophy built into the relevant scientific theories. | |
| From: Ned Markosian (A Defense of Presentism [2004], 3.9) | |
| A reaction: I love this remark, being thoroughly fed up with knowledgeable scientists who are naïve about philosophy, and think their current theory demolishes long-lasting aporiai. They are up to their necks in philosophy. |
| 13991 | Presentism has the problem that if Socrates ceases to exist, so do propositions about him [Markosian] |
| Full Idea: Presentism has a problem with singular propositions about non-present objects. ...When Socrates popped out of existence, according to Presentism, all those singular propositions about him also popped out of existence. | |
| From: Ned Markosian (A Defense of Presentism [2004], 2.1) | |
| A reaction: He seems to treat propositions in a Russellian way, as things which exist independently of thinkers, which I struggle to grasp. Markosian offers various strategies for this [§3.5]. |
| 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! |
| 14002 | Possible worlds must be abstract, because two qualitatively identical worlds are just one world [Markosian] |
| Full Idea: Possible worlds are just abstract objects that play a certain role in philosophers' talk about modality. They are ways things could be. That's why there are no two abstract possible worlds which are qualitatively identical. They count as one world. | |
| From: Ned Markosian (A Defense of Presentism [2004], 3.10) | |
| A reaction: Brilliant! This looks like the best distinction between concrete and abstract. If two concreta are identical they remain two; if two abstracta are identical they are one (like numbers, or logical connectives with the same truth table). |
| 13165 | Geometrical proofs do not show causes, as when we prove a triangle contains two right angles [Proclus] |
| Full Idea: Geometry does not ask 'why?' ..When from the exterior angle equalling two opposite interior angles it is shown that the interior angles make two right angles, this is not a causal demonstration. With no exterior angle they still equal two right angles. | |
| From: Proclus (Commentary on Euclid's 'Elements' [c.452], p.161-2), quoted by Paolo Mancosu - Explanation in Mathematics §5 | |
| A reaction: A very nice example. It is hard to imagine how one might demonstrate the cause of the angles making two right angles. If you walk, turn left x°, then turn left y°, then turn left z°, and x+y+z=180°, you end up going in the original direction. |
| 9569 | The origin of geometry started in sensation, then moved to calculation, and then to reason [Proclus] |
| Full Idea: It is unsurprising that geometry was discovered in the necessity of Nile land measurement, since everything in the world of generation goes from imperfection to perfection. They would naturally pass from sense-perception to calculation, and so to reason. | |
| From: Proclus (Commentary on Euclid's 'Elements' [c.452]), quoted by Charles Chihara - A Structural Account of Mathematics 9.12 n55 | |
| A reaction: The last sentence is the core of my view on abstraction, that it proceeds by moving through levels of abstraction, approaching more and more general truths. |
| 14000 | 'Grabby' truth conditions first select their object, unlike 'searchy' truth conditions [Markosian] |
| Full Idea: We can talk of 'grabby' truth conditions (where an object is grabbed before predication) and 'searchy' truth conditions (where the object is included in what is being asserted). | |
| From: Ned Markosian (A Defense of Presentism [2004], 3.8) | |
| A reaction: [He credits Tom Ryckman with the terminology] I am inclined to think that the whole of language is 'searchy', even when it appears to be blatantly 'grabby'. Even ostensive reference is an act of hope rather than certainty. |
| 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. |
| 13990 | Presentism is the view that only present objects exist [Markosian] |
| Full Idea: According to Presentism, if we were to make an accurate list of all the things that exist (within the range of our most unrestricted quantifiers) there would not be a single non-present object on the list. | |
| From: Ned Markosian (A Defense of Presentism [2004], 1) | |
| A reaction: An immediate problem that needs examing is what constitutes an 'object'. It had better not range over time (like an journey). It would be hard to fit a description like 'the oldest man in England'. |
| 13992 | Presentism says if objects don't exist now, we can't have attitudes to them or relations with them [Markosian] |
| Full Idea: If there are no non-present objects (according to Presentism), then no one can now stand in any relation to any non-present object. You cannot now 'admire' Socrates, and no present event has a causal relation to Washington crossing the Delaware. | |
| From: Ned Markosian (A Defense of Presentism [2004], 2.2) | |
| A reaction: You can have an overlapping causal chain that gets you back to Washington, and a causal chain can connect Socrates to our thoughts about him (as in baptismal reference). A simple reply needs an 'overlap' though. |
| 13994 | Presentism seems to entail that we cannot talk about other times [Markosian] |
| Full Idea: It is very natural to talk about times, ...but Presentism seems to entail that we never say anything about any such times. | |
| From: Ned Markosian (A Defense of Presentism [2004], 2.4) | |
| A reaction: I'm beginning to think that Markosian is in the grips of a false notion of proposition, as something that exists independently of thinkers, and is entailed by the facts and objects of reality. This is not what language does. |
| 13995 | Serious Presentism says things must exist to have relations and properties; Unrestricted version denies this [Markosian] |
| Full Idea: Mark Hinchliff distinguishes between 'Serious' Presentism (objects only have relations and properties when they exist) and 'Unrestricted' Presentism (objects can have relations and properties even when they don't exist). | |
| From: Ned Markosian (A Defense of Presentism [2004], 3.1) | |
| A reaction: [Hinchliff 1996:124-6] Markosian votes for the Serious version, as being the only true Presentism. I think he is muddling language and reality, predicates and properties. |
| 13996 | Maybe Presentists can refer to the haecceity of a thing, after the thing itself disappears [Markosian] |
| Full Idea: Some Presentists (such as Adams) believe that a haecceity (a property unique to some entity) continues to exist even after its object ceases to exist. A sentence about Socrates still expresses a proposition, about 'Socraticity'. | |
| From: Ned Markosian (A Defense of Presentism [2004], 3.4) | |
| A reaction: [Adams 1986] This is rather puzzling. In what sense could a haecceity 'exist' to be referred to? Existence, but not as we know it, Jim. This smacks of medieval theology. |
| 13997 | Maybe Presentists can paraphrase singular propositions about the past [Markosian] |
| Full Idea: Maybe Presentists can paraphrase singular propositions about the past, into purely general past- and future-tensed sentences. | |
| From: Ned Markosian (A Defense of Presentism [2004], 3.5) | |
| A reaction: I'm not clear why Markosian worries about singular propositions, but is happy with general ones. Surely the latter refer as much as the former to what doesn't exist? Markosian objects that the paraphrase has a different meaning. |
| 13993 | Special Relativity denies the absolute present which Presentism needs [Markosian] |
| Full Idea: The objection to Presentism from Special Relativity is this: 1) Relativity is true, 2) so there is no absolute simultaneity, 3) so there is no absolute presentness, but 4) Presentism entails absolute presentness, so 5) Presentism is false. | |
| From: Ned Markosian (A Defense of Presentism [2004], 3.9) | |
| A reaction: I don't accept this objection. There may be accounts that can give Relativity one present (Idea 12689-90). Maybe Einstein was too instrumentalist in his account. Maybe we can have Presentism with multiple present moments. |
| 13998 | Objects in the past, like Socrates, are more like imaginary objects than like remote spatial objects [Markosian] |
| Full Idea: Maybe putative non-present objects like Socrates have more in common with putative non-actual objects like Santa Claus than they have in common with objects located elsewhere in space, like Alpha Centauri. | |
| From: Ned Markosian (A Defense of Presentism [2004], 3.7) | |
| A reaction: We can see Alpha Centauri, so we need an example beyond some 'event horizon'. He credits Arthur Prior with this line of thought. He seems to me to drift towards a Descriptive Theory of Reference (shock!). Does the nature of reference change with death? |
| 13999 | People are mistaken when they think 'Socrates was a philosopher' says something [Markosian] |
| Full Idea: People sometimes think that 'Socrates was a philosopher' expresses something like a true, singular proposition about Socrates. They're making a mistake, but still, this explains why they think it is true. | |
| From: Ned Markosian (A Defense of Presentism [2004], 3.8) | |
| A reaction: A classic error theory, about our talk of the past. Personally I would say that the sentence really is true, and that needing a tangible object to refer to is a totally bogus requirement. 'I wonder if there are any scissors in the house?' |