11 ideas
| 18261 | A simplification which is complete constitutes a definition [Kant] |
| Full Idea: By dissection I can make the concept distinct only by making the marks it contains clear. That is what analysis does. If this analysis is complete ...and in addition there are not so many marks, then it is precise and so constitutes a definition. | |
| From: Immanuel Kant (Wiener Logik [1795], p.455), quoted by J. Alberto Coffa - The Semantic Tradition from Kant to Carnap 1 'Conc' | |
| A reaction: I think Aristotle would approve of this. We need to grasp that a philosophical definition is quite different from a lexicographical definition. 'Completeness' may involve quite a lot. |
| 11211 | If a sound conclusion comes from two errors that cancel out, the path of the argument must matter [Rumfitt] |
| Full Idea: If a designated conclusion follows from the premisses, but the argument involves two howlers which cancel each other out, then the moral is that the path an argument takes from premisses to conclusion does matter to its logical evaluation. | |
| From: Ian Rumfitt ("Yes" and "No" [2000], II) | |
| A reaction: The drift of this is that our view of logic should be a little closer to the reasoning of ordinary language, and we should rely a little less on purely formal accounts. |
| 22275 | Logic gives us the necessary rules which show us how we ought to think [Kant] |
| Full Idea: In logic the question is not one of contingent but of necessary rules, not how to think, but how we ought to think. | |
| From: Immanuel Kant (Wiener Logik [1795], p.16), quoted by Michael Potter - The Rise of Analytic Philosophy 1879-1930 02 'Trans' | |
| A reaction: Presumably it aspires to the objectivity of a single correct account of how we all ought to think. I'm sympathetic to that, rather than modern cultural relativism about reason. Logic is rooted in nature, not in arbitrary convention. |
| 11210 | Standardly 'and' and 'but' are held to have the same sense by having the same truth table [Rumfitt] |
| Full Idea: If 'and' and 'but' really are alike in sense, in what might that likeness consist? Some philosophers of classical logic will reply that they share a sense by virtue of sharing a truth table. | |
| From: Ian Rumfitt ("Yes" and "No" [2000]) | |
| A reaction: This is the standard view which Rumfitt sets out to challenge. |
| 11212 | The sense of a connective comes from primitively obvious rules of inference [Rumfitt] |
| Full Idea: A connective will possess the sense that it has by virtue of its competent users' finding certain rules of inference involving it to be primitively obvious. | |
| From: Ian Rumfitt ("Yes" and "No" [2000], III) | |
| A reaction: Rumfitt cites Peacocke as endorsing this view, which characterises the logical connectives by their rules of usage rather than by their pure semantic value. |
| 5040 | Necessary truths can be analysed into original truths; contingent truths are infinitely analysable [Leibniz] |
| Full Idea: Derivative truths are of two sorts: some are analysed into original truths, others admit of an infinite process of analysis. The former are necessary, the latter are contingent. | |
| From: Gottfried Leibniz (On Freedom [1689], p.108) | |
| A reaction: An intriguing proposal. Hume would presumably see contingent truths as being analysed until you reach 'impressions'. Analysis of necessary truths soon comes to the blinding light of what is obvious, but analysis of contingency never gets there. |
| 13159 | Only God sees contingent truths a priori [Leibniz] |
| Full Idea: Only God sees contingent truths a priori. | |
| From: Gottfried Leibniz (On Freedom [1689], p.95) | |
| A reaction: This because everything is interconnected, and the whole picture must be seen to understand a contingent truth. |
| 5039 | If non-existents are possible, their existence would replace what now exists, which cannot therefore be necessary [Leibniz] |
| Full Idea: If certain possibles never exist, then existing things are not always necessary; otherwise it would be impossible for other things to exist instead of them, and so all things that never exist would be impossible. | |
| From: Gottfried Leibniz (On Freedom [1689], p.106) | |
| A reaction: A neat argument, though it is not self-evident that when possibles came into existence they would have to replace what is already there. Can't something be possible, but only in another world, because this one is already booked? |
| 18260 | If we knew what we know, we would be astonished [Kant] |
| Full Idea: If we only know what we know ...we would be astonished by the treasures contained in our knowledge. | |
| From: Immanuel Kant (Wiener Logik [1795], p.843), quoted by J. Alberto Coffa - The Semantic Tradition from Kant to Carnap 1 'Conc' | |
| A reaction: Nice remark. He doesn't require immediat recall of knowledge. You can't be required to know that you know something. That doesn't imply externalism, though. I believe in securely founded internal knowledge which is hard to recall. |
| 11214 | We learn 'not' along with affirmation, by learning to either affirm or deny a sentence [Rumfitt] |
| Full Idea: The standard view is that affirming not-A is more complex than affirming the atomic sentence A itself, with the latter determining its sense. But we could learn 'not' directly, by learning at once how to either affirm A or reject A. | |
| From: Ian Rumfitt ("Yes" and "No" [2000], IV) | |
| A reaction: [compressed] This seems fairly anti-Fregean in spirit, because it looks at the psychology of how we learn 'not' as a way of clarifying what we mean by it, rather than just looking at its logical behaviour (and thus giving it a secondary role). |
| 5041 | God does everything in a perfect way, and never acts contrary to reason [Leibniz] |
| Full Idea: We can regard it as certain that everything is done by God in the most perfect way, that he does nothing which is contrary to reason. | |
| From: Gottfried Leibniz (On Freedom [1689], p.109) | |
| A reaction: The famous optimism which Voltaire laughed at in 'Candide'. I can't help thinking that there is an ideal of God being ABOVE reason. We reason, and give reasons, because we are unsure, and life is a struggle. The highest ideal is mystically self-evident. |