22 ideas
| 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. |
| 19081 | Coherence with a set of propositions suggests we can know the proposition corresponds [Davidson, by Donnellan] |
| Full Idea: Davidson argues that the coherence of a set of propositions with a set of beliefs is a good indication that the proposition corresponds to objective facts and that we can know that propositions correspond. | |
| From: report of Donald Davidson (Coherence Theory of Truth and Knowledge [1983]) by Keith Donnellan - Putting Humpty Dumpty Together Again §2.2 | |
| A reaction: Young calls this an 'epistemological route to coherentism'. Davidson is sometimes cited as a fan of the coherence theory of truth, but this just seems to accept Russell's point that coherence is a good test for truth. |
| 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. |
| 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. |
| 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 |
| 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 |
| 8806 | The concepts of belief and truth are linked, since beliefs are meant to fit reality [Davidson] |
| Full Idea: Knowing what a belief is brings with it the concept of objective truth, for the notion of a belief is the notion of a state that may or may not jibe with reality. | |
| From: Donald Davidson (Coherence Theory of Truth and Knowledge [1983], p.162) | |
| A reaction: I find any discussion of belief that makes no reference to truth (as in Hume) quite puzzling. I can understand it when a belief is just triggered by a sensation ('this is hot'), but not when a belief arrives after careful comparison of reasons. |
| 8252 | Davidson believes experience is non-conceptual, and outside the space of reasons [Davidson, by McDowell] |
| Full Idea: Davidson thinks that experience can be nothing but an extra-conceptual impact on sensibility. So he concludes that experience must be outside the space of reasons. | |
| From: report of Donald Davidson (Coherence Theory of Truth and Knowledge [1983], I.6) by John McDowell - Mind and World I | |
| A reaction: McDowell's challenge to the view that experience is extra-conceptual seems to be the key debate among modern empiricists. My only intuition in this area is that we should beware of all-or-nothing solutions to such problems. |
| 8255 | Davidson says the world influences us causally; I say it influences us rationally [McDowell on Davidson] |
| Full Idea: Davidson urges that we should hold that the world exerts a merely causal influence on our thinking, but I am trying to describe a way in which the world exerts a rational influence on our thinking. | |
| From: comment on Donald Davidson (Coherence Theory of Truth and Knowledge [1983]) by John McDowell - Mind and World II.5 | |
| A reaction: McDowell seems to be fighting for the existence of 'pure' reason in a way that is hard to defend with a thoroughly materialist view of human brains. If the world is coherent, then maybe it is rational, and so has reasons to offer us? |
| 8804 | Reasons for beliefs are not the same as evidence [Davidson] |
| Full Idea: We must find a reason for supposing most of our beliefs are true that is not a form of evidence. | |
| From: Donald Davidson (Coherence Theory of Truth and Knowledge [1983], p.158) | |
| A reaction: This simple observation strikes me as being a key truth in epistemology. It is the same confusion that creates Jackson's Knowledge Argument (Idea 7377) against physicalism (that experiencing red can be thought to be knowledge). |
| 8802 | Sensations lack the content to be logical; they cause beliefs, but they cannot justify them [Davidson] |
| Full Idea: The relation between a sensation and a belief cannot be logical, since sensations are not beliefs or propositional attitudes. The relation must be causal. Sensations cause some beliefs, but they do not show why the belief is justified. | |
| From: Donald Davidson (Coherence Theory of Truth and Knowledge [1983], p.157) | |
| A reaction: This is, I am beginning to think, the single most important idea in the whole of modern epistemology. Animals have beliefs caused in this way, and because they only have simple beliefs about immediate things, most of their beliefs are true. |
| 8801 | Coherent justification says only beliefs can be reasons for holding other beliefs [Davidson] |
| Full Idea: What distinguishes a coherence theory of justification is simply the claim that nothing can count as a reason for holding a belief except another belief. | |
| From: Donald Davidson (Coherence Theory of Truth and Knowledge [1983], p.156) | |
| A reaction: I think I agree fully with this. Red patches and headaches I count as evidence rather than as reasons. Since a red patch can be hallucinatory, and a headache can be dreamed, they can't possibly embody true propositions without critical evaluation. |
| 8805 | Skepticism is false because our utterances agree, because they are caused by the same objects [Davidson] |
| Full Idea: What stands in the way of global skepticism of the senses is the fact that we must take the objects of a belief to be the causes of that belief. And our utterances mean the same thing because belief in their truth is caused by the same objects. | |
| From: Donald Davidson (Coherence Theory of Truth and Knowledge [1983], p.161) | |
| A reaction: This is hardly a knock-down argument against scepticism, but it builds a nice picture. The second half extends the Private Language Argument (e.g. Idea 4158). But I still have non-existent conversations about non-existent things in my dreams. |
| 18703 | Davidson's Cogito: 'I think, therefore I am generally right' [Davidson, by Button] |
| Full Idea: Davidson's Cogito has the form 'I think, therefore I am generally right'. | |
| From: report of Donald Davidson (Coherence Theory of Truth and Knowledge [1983], 16.6) by Tim Button - The Limits of Reason | |
| A reaction: On the whole I would subscribe to this Cogito (as Button calls it), from an evolutionary perspective. There would just be no point in thought if it wasn't generally right in everyday activity. |
| 22086 | The most important aspect of a human being is not reason, but passion [Kierkegaard, by Carlisle] |
| Full Idea: Kierkegaard insisted that the most important aspect of a human being is not reason, but passion. | |
| From: report of Søren Kierkegaard (works [1845]) by Clare Carlisle - Kierkegaard: a guide for the perplexed Intro | |
| A reaction: Hume comes to mind for a similar view, but in character Hume was far more rational than Kierkegaard. |