25 ideas
| 21239 | Philosophers are marked by a joint love of evidence and ambiguity [Merleau-Ponty] |
| Full Idea: The philosopher is marked by the distinguishing trait that he possesses inseparably the taste for evidence and the feeling for ambiguity. | |
| From: Maurice Merleau-Ponty (In Praise of Philosophy [1953], p.4), quoted by Sarah Bakewell - At the Existentialist Café 11 | |
| A reaction: I strongly approve of the idea that philosophers are primarily interested in evidence (rather than reason or logic), and I also like the idea that the ambiguous evidence is the most interesting. The mind looks physical and non-physical. |
| 8623 | Proof reveals the interdependence of truths, as well as showing their certainty [Euclid, by Frege] |
| Full Idea: Euclid gives proofs of many things which anyone would concede to him without question. ...The aim of proof is not merely to place the truth of a proposition beyond doubt, but also to afford us insight into the dependence of truths upon one another. | |
| From: report of Euclid (Elements of Geometry [c.290 BCE]) by Gottlob Frege - Grundlagen der Arithmetik (Foundations) §02 | |
| A reaction: This connects nicely with Shoemaker's view of analysis (Idea 8559), which I will adopt as my general view. I've always thought of philosophy as the aspiration to wisdom through the cartography of concepts. |
| 13907 | If you pick an arbitrary triangle, things proved of it are true of all triangles [Euclid, by Lemmon] |
| Full Idea: Euclid begins proofs about all triangles with 'let ABC be a triangle', but ABC is not a proper name. It names an arbitrarily selected triangle, and if that has a property, then we can conclude that all triangles have the property. | |
| From: report of Euclid (Elements of Geometry [c.290 BCE]) by E.J. Lemmon - Beginning Logic 3.2 | |
| A reaction: Lemmon adds the proviso that there must be no hidden assumptions about the triangle we have selected. You must generalise the properties too. Pick a triangle, any triangle, say one with three angles of 60 degrees; now generalise from it. |
| 6297 | Euclid's geometry is synthetic, but Descartes produced an analytic version of it [Euclid, by Resnik] |
| Full Idea: Euclid's geometry is a synthetic geometry; Descartes supplied an analytic version of Euclid's geometry, and we now have analytic versions of the early non-Euclidean geometries. | |
| From: report of Euclid (Elements of Geometry [c.290 BCE]) by Michael D. Resnik - Maths as a Science of Patterns One.4 | |
| A reaction: I take it that the original Euclidean axioms were observations about the nature of space, but Descartes turned them into a set of pure interlocking definitions which could still function if space ceased to exist. |
| 9603 | An assumption that there is a largest prime leads to a contradiction [Euclid, by Brown,JR] |
| Full Idea: Assume a largest prime, then multiply the primes together and add one. The new number isn't prime, because we assumed a largest prime; but it can't be divided by a prime, because the remainder is one. So only a larger prime could divide it. Contradiction. | |
| From: report of Euclid (Elements of Geometry [c.290 BCE]) by James Robert Brown - Philosophy of Mathematics Ch.1 | |
| A reaction: Not only a very elegant mathematical argument, but a model for how much modern logic proceeds, by assuming that the proposition is false, and then deducing a contradiction from it. |
| 9894 | A unit is that according to which each existing thing is said to be one [Euclid] |
| Full Idea: A unit is that according to which each existing thing is said to be one. | |
| From: Euclid (Elements of Geometry [c.290 BCE], 7 Def 1) | |
| A reaction: See Frege's 'Grundlagen' §29-44 for a sustained critique of this. Frege is good, but there must be something right about the Euclid idea. If I count stone, paper and scissors as three, each must first qualify to be counted as one. Psychology creeps in. |
| 8738 | Postulate 2 says a line can be extended continuously [Euclid, by Shapiro] |
| Full Idea: Euclid's Postulate 2 says the geometer can 'produce a finite straight line continuously in a straight line'. | |
| From: report of Euclid (Elements of Geometry [c.290 BCE]) by Stewart Shapiro - Thinking About Mathematics 4.2 | |
| A reaction: The point being that this takes infinity for granted, especially if you start counting how many points there are on the line. The Einstein idea that it might eventually come round and hit you on the back of the head would have charmed Euclid. |
| 10302 | Euclid says we can 'join' two points, but Hilbert says the straight line 'exists' [Euclid, by Bernays] |
| Full Idea: Euclid postulates: One can join two points by a straight line; Hilbert states the axiom: Given any two points, there exists a straight line on which both are situated. | |
| From: report of Euclid (Elements of Geometry [c.290 BCE]) by Paul Bernays - On Platonism in Mathematics p.259 |
| 22278 | Euclid relied on obvious properties in diagrams, as well as on his axioms [Potter on Euclid] |
| Full Idea: Euclid's axioms were insufficient to derive all the theorems of geometry: at various points in his proofs he appealed to properties that are obvious from the diagrams but do not follow from the stated axioms. | |
| From: comment on Euclid (Elements of Geometry [c.290 BCE]) by Michael Potter - The Rise of Analytic Philosophy 1879-1930 03 'aim' | |
| A reaction: I suppose if the axioms of a system are based on self-evidence, this would licence an appeal to self-evidence elsewhere in the system. Only pedants insist on writing down what is obvious to everyone! |
| 8673 | Euclid's parallel postulate defines unique non-intersecting parallel lines [Euclid, by Friend] |
| Full Idea: Euclid's fifth 'parallel' postulate says if there is an infinite straight line and a point, then there is only one straight line through the point which won't intersect the first line. This axiom is independent of Euclid's first four (agreed) axioms. | |
| From: report of Euclid (Elements of Geometry [c.290 BCE]) by Michèle Friend - Introducing the Philosophy of Mathematics 2.2 | |
| A reaction: This postulate was challenged in the nineteenth century, which was a major landmark in the development of modern relativist views of knowledge. |
| 10250 | Euclid needs a principle of continuity, saying some lines must intersect [Shapiro on Euclid] |
| Full Idea: Euclid gives no principle of continuity, which would sanction an inference that if a line goes from the outside of a circle to the inside of circle, then it must intersect the circle at some point. | |
| From: comment on Euclid (Elements of Geometry [c.290 BCE]) by Stewart Shapiro - Philosophy of Mathematics 6.1 n2 | |
| A reaction: Cantor and Dedekind began to contemplate discontinuous lines. |
| 14157 | Modern geometries only accept various parts of the Euclid propositions [Russell on Euclid] |
| Full Idea: In descriptive geometry the first 26 propositions of Euclid hold. In projective geometry the 1st, 7th, 16th and 17th require modification (as a straight line is not a closed series). Those after 26 depend on the postulate of parallels, so aren't assumed. | |
| From: comment on Euclid (Elements of Geometry [c.290 BCE]) by Bertrand Russell - The Principles of Mathematics §388 |
| 1600 | Euclid's common notions or axioms are what we must have if we are to learn anything at all [Euclid, by Roochnik] |
| Full Idea: The best known example of Euclid's 'common notions' is "If equals are subtracted from equals the remainders are equal". These can be called axioms, and are what "the man who is to learn anything whatever must have". | |
| From: report of Euclid (Elements of Geometry [c.290 BCE], 72a17) by David Roochnik - The Tragedy of Reason p.149 |
| 19284 | Asserting a necessity just expresses our inability to imagine it is false [Blackburn] |
| Full Idea: To say that we dignify a truth as necessary we are expressing our own mental attitudes - our own inability to make anything of a possible way of thinking which denies it. It is this blank unimaginability which we voice when we use the modal vocabulary. | |
| From: Simon Blackburn (Spreading the Word [1984], 6.5) | |
| A reaction: Yes, but why are we unable to imagine it? I accept that the truth or falsity of Goldbach's Conjecture may well be necessary, but I have no imagination one way or the other about it. Philosophers like Blackburn are very alien to me! |
| 14629 | If we are told the source of necessity, this seems to be a regress if the source is not already necessary [Blackburn] |
| Full Idea: If we ask why A must be the case, and A is then proved from B, that explains it if B must be so. If the eventual source cites some truth F, then if F just is so, there is strong pressure to feel that the original necessity has not been explained. | |
| From: Simon Blackburn (Morals and Modals [1987], 1) | |
| A reaction: [compressed] Ross Cameron wrote a reply to this which I like. I'm fishing for the idea that essence is the source of necessity (as Kit Fine says), but that essence itself is not necessary (as only I say, apparently!). |
| 14529 | If something underlies a necessity, is that underlying thing necessary or contingent? [Blackburn, by Hale/Hoffmann,A] |
| Full Idea: Blackburn asks of what theorists propose as underlying the necessity of a proposition, the question whether they themselves are conceived as obtaining of necessity or merely contingently. | |
| From: report of Simon Blackburn (Morals and Modals [1987], p.120-1) by Bob Hale/ Aviv Hoffmann - Introduction to 'Modality' 1 | |
| A reaction: I've seen a reply to this somewhere: I think the thought was that a necessity wouldn't be any less necessary if it had a contingent source, any more than the father of a world champion boxer has to be a world champion boxer. |
| 21862 | Consciousness is based on 'I can', not on 'I think' [Merleau-Ponty] |
| Full Idea: Consciousness is in the first place not a matter of 'I think' but of 'I can'. | |
| From: Maurice Merleau-Ponty (Phenomenology of Perception [1945], p.159), quoted by Beth Lord - Spinoza's Ethics 2 'Sensation' | |
| A reaction: The point here (quoted during a discussion of Spinoza) is that you can't leave out the role of the body, which seems correct. |
| 6451 | Visual sense data are an inner picture show which represents the world [Blackburn] |
| Full Idea: In the case of vision, sense data are a kind of inner picture show which itself only indirectly represents aspects of the external world. | |
| From: Simon Blackburn (Oxford Dictionary of Philosophy [1994], p.347) | |
| A reaction: I'm unsure whether this is correct. Russell says the 'roughness' of the table is the sense datum. If it is even a possibility that there are unsensed sense-data, then they cannot be an aspect of the mind, as Blackburn is suggesting they are. |
| 20750 | The mind does not unite perceptions, because they flow into one another [Merleau-Ponty] |
| Full Idea: I do not have one perception, then another, and between them a link brought about by the mind. Rather, each perspective merges into the other [against a unified background]. | |
| From: Maurice Merleau-Ponty (Phenomenology of Perception [1945], p.329-30), quoted by Kevin Aho - Existentialism: an introduction 3 'Perceptual' | |
| A reaction: I take this to be another piece of evidence pointing to realism as the best explanation of experience. A problem for Descartes is what unites the sequence of thoughts. |
| 2866 | A true belief might be based on a generally reliable process that failed on this occasion [Blackburn] |
| Full Idea: Reliabilism is open to the counterexample that a belief may be the result of some generally reliable process (a pressure gauge) which was in fact malfunctioning on this occasion, when we would be reluctant to attribute knowledge to the subject. | |
| From: Simon Blackburn (Oxford Dictionary of Philosophy [1994], p.327) | |
| A reaction: Russell's stopped clock that tells the right time twice a day. A good objection. Coming from a reliable source is very good criterion for good justification, but it needs critical assessment. |
| 23996 | Akrasia is intelligible in hindsight, when we revisit our previous emotions [Blackburn] |
| Full Idea: To make my emotion intelligible [in a weakness of will case] is to look back and recognise that my emotions and dispositions were not quite as I had taken them to be. It is quite useless in such a case to invoke a blanket diagnosis of 'irrationality'. | |
| From: Simon Blackburn (Ruling Passions [1998], p.191) | |
| A reaction: So Blackburn rejects the idea of akrasia, because there was never really a conflict. He says rational people always aim to maximise their utility (p.135), and if their own act surprises them, it is just a failure to understand their own rationality. |
| 11911 | Some philosophers always want more from morality; for others, nature is enough [Blackburn] |
| Full Idea: The history of moral theory is largely a history of battles between people who want more (truth, absolutes...) - Plato, Locke, Cudworth, Kant, Nagel - and people content with what we have (nature) - Aristotle, Epicurus, Hobbes, Hume, Stevenson. | |
| From: Simon Blackburn (Précis of 'Ruling Passions' [2002], p.133) | |
| A reaction: [Thanks to Neil Sinclair for this one] As a devotee of Aristotle, I like this. I'm always impressed, though, by people who go the extra mile in morality, because they are in the grips of purer and loftier ideals than I am. They also turn into monsters! |
| 2864 | The main objection to intuitionism in ethics is that intuition is a disguise for prejudice or emotion [Blackburn] |
| Full Idea: Critics say that intuitionism in ethics explains nothing, but may merely function as a disguise for prejudice or passion. | |
| From: Simon Blackburn (Oxford Dictionary of Philosophy [1994], p.198) | |
| A reaction: If someone claims to have an important moral intuition about something, you should carefully assess the person who has the intuition. I would trust some people a lot. |
| 2865 | Critics of prescriptivism observe that it is consistent to accept an ethical verdict but refuse to be bound by it [Blackburn] |
| Full Idea: Critics of prescriptivism have noted the problem that whilst accepting a command seems tantamount to setting oneself to obey it, accepting an ethical verdict is, unfortunately, consistent with refusing to be bound by it. | |
| From: Simon Blackburn (Oxford Dictionary of Philosophy [1994], p.300) | |
| A reaction: We nearly all of us accept that our behaviour should be better than it actually is, so we accept the oughts but fail to act. Actually 'refusing', though, sounds a bit contradictory. |
| 23223 | The word 'respect' ranges from mere non-interference to the highest levels of reverence [Blackburn] |
| Full Idea: The word 'respect' seems to span a spectrum from simply not interfering, passing by on the other side, through admiration, right up to reverence and deference. This makes it uniquely well placed for ideological purposes. | |
| From: Simon Blackburn (Religion and Respect [2005], p.2) | |
| A reaction: Most people understand the world perfectly well, but only when they fully understand the context. I've taken to distinguishing conditional from unconditional forms of respect. Everyone is entitled to the unconditional form, which has limits. |