7 ideas
| 10121 | Contradiction is not a sign of falsity, nor lack of contradiction a sign of truth [Pascal] |
| Full Idea: Contradiction is not a sign of falsity, nor the lack of contradiction a sign of truth. | |
| From: Blaise Pascal (works [1660]), quoted by A.George / D.J.Velleman - Philosophies of Mathematics Ch.6 | |
| A reaction: [Quoted in Auden and Kronenberger's Book of Aphorisms] Presumably we would now say that contradiction is a purely formal, syntactic notion, and not a semantic one. If you hit a contradiction, something has certainly gone wrong. |
| 23026 | We know mathematical axioms, such as subtracting equals from equals leaves equals, by a natural light [Leibniz] |
| Full Idea: It is by the natural light that the axioms of mathematics are recognised. If we take away the same quantity from two equal things, …a thing we can easily predict without having experienced it. | |
| From: Gottfried Leibniz (Letters to Queen Charlotte [1702], p.189) | |
| A reaction: He also says two equal weights will keep a balance level. Plato thinks his slave boy understands halving an area by the natural light, but that is just as likely to be experience. It is too easy to attribut thoughts to a 'natural light'. |
| 13189 | A necessary feature (such as air for humans) is not therefore part of the essence [Leibniz] |
| Full Idea: That which is necessary for something does not constitute its essence. Air is necessary for our life, but our life is something other than air. | |
| From: Gottfried Leibniz (Letters to Queen Charlotte [1702], 1702) | |
| A reaction: Bravo. Why can't modern philosophers hang on to this distinction? They seem to think that because they don't believe in traditional essences they can purloin the word for something else. Same with the word 'abstraction'. |
| 19432 | Intelligible truth is independent of any external things or experiences [Leibniz] |
| Full Idea: Intelligible truth is independent of the truth or of the existence outside us of sensible and material things. ....It is generally true that we only know necessary truths by the natural light [of reason] | |
| From: Gottfried Leibniz (Letters to Queen Charlotte [1702], 1702) | |
| A reaction: A nice quotation summarising a view for which Leibniz is famous - that there is a tight correlation between necessary truths and our a priori knowledge of them. The obvious challenge comes from Kripke's claim that scientists can discover necessities. |
| 19430 | We know objects by perceptions, but their qualities don't reveal what it is we are perceiving [Leibniz] |
| Full Idea: We use the external senses ...to make us know their particular objects ...but they do not make us know what those sensible qualities are ...whether red is small revolving globules causing light, heat a whirling of dust, or sound is waves in air. | |
| From: Gottfried Leibniz (Letters to Queen Charlotte [1702], 1702) | |
| A reaction: These seems to be exactly the concept of secondary qualities which Locke was promoting. They are unreliable information about the objects we perceive. Primary qualities are reliable information. I like that distinction. |
| 19431 | There is nothing in the understanding but experiences, plus the understanding itself, and the understander [Leibniz] |
| Full Idea: It can be said that there is nothing in the understanding which does not come from the senses, except the understanding itself, or that which understands. | |
| From: Gottfried Leibniz (Letters to Queen Charlotte [1702], 1702) | |
| A reaction: Given that Leibniz is labelled as a 'rationalist', this is awfully close to empiricism. Not Locke's 'tabula rasa' perhaps, but Hume's experiences plus associations. Leibniz has a much loftier notion of understanding and reason than Hume does. |
| 7331 | A theory of meaning comes down to translating sentences into Fregean symbolic logic [Davidson, by Macey] |
| Full Idea: For a theory of meaning for a fragment of natural language, what Davidson requires, in effect, is that the sentences be translatable into the language of Frege's symbolic logic. | |
| From: report of Donald Davidson (In Defence of Convention T [1973]) by David Macey - Penguin Dictionary of Critical Theory | |
| A reaction: This assumes the adequacy of Fregean logic, which seems unlikely. Is this the culmination of Leibniz's dream of a fully logical language - so that anything that won't fit into our logical form is ruled (logical positivist style) as meaningless? |