8 ideas
| 9390 | Logic guides thinking, but it isn't a substitute for it [Rumfitt] |
| Full Idea: Logic is part of a normative theory of thinking, not a substitute for thinking. | |
| From: Ian Rumfitt (The Logic of Boundaryless Concepts [2007], p.13) | |
| A reaction: There is some sort of logicians' dream, going back to Leibniz, of a reasoning engine, which accepts propositions and outputs inferences. I agree with this idea. People who excel at logic are often, it seems to me, modest at philosophy. |
| 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'. |
| 9389 | Vague membership of sets is possible if the set is defined by its concept, not its members [Rumfitt] |
| Full Idea: Vagueness in respect of membership is consistency with determinacy of the set's identity, so long as a set's identity is taken to consist, not in its having such-and-such members, but in its being the extension of a concept. | |
| From: Ian Rumfitt (The Logic of Boundaryless Concepts [2007], p.5) | |
| A reaction: I find this view of sets much more appealing than the one that identifies a set with its members. The empty set is less of a problem, as well as non-existents. Logicians prefer the extensional view because it is tidy. |
| 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'. |
| 10994 | Conditionals are true if minimal revision of the antecedent verifies the consequent [Stalnaker, by Read] |
| Full Idea: Stalnaker proposes that a conditional is true if its consequent is true in the minimal revision in which the antecedent is true, that is, in the most similar possible world in which the antecedent is true. | |
| From: report of Robert C. Stalnaker (works [1970]) by Stephen Read - Thinking About Logic Ch.3 | |
| A reaction: A similar account of counterfactuals was taken up by Lewis to give a (rather dubious) account of causation. |
| 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. |