12 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. |
| 8758 | We could talk of open sentences, instead of sets [Chihara, by Shapiro] |
| Full Idea: Chihara's programme is to replace talk of sets with talk of open sentences. Instead of speaking of the set of all cats, we talk about the open sentence 'x is a cat'. | |
| From: report of Charles Chihara (Constructibility and Mathematical Existence [1990]) by Stewart Shapiro - Thinking About Mathematics 9.2 | |
| A reaction: As Shapiro points out, this is following up Russell's view that sets should be replaced with talk of properties. Chihara is expressing it more linguistically. I'm in favour of any attempt to get rid of sets. |
| 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. |
| 10265 | Chihara's system is a variant of type theory, from which he can translate sentences [Chihara, by Shapiro] |
| Full Idea: Chihara's system is a version of type theory. Translate thus: replace variables of sets of type n with level n variables over open sentences, replace membership/predication with satisfaction, and high quantifiers with constructability quantifiers. | |
| From: report of Charles Chihara (Constructibility and Mathematical Existence [1990]) by Stewart Shapiro - Philosophy of Mathematics 7.4 |
| 8759 | We can replace type theory with open sentences and a constructibility quantifier [Chihara, by Shapiro] |
| Full Idea: Chihara's system is similar to simple type theory; he replaces each type with variables over open sentences, replaces membership (or predication) with satisfaction, and replaces quantifiers over level 1+ variables with constructability quantifiers. | |
| From: report of Charles Chihara (Constructibility and Mathematical Existence [1990]) by Stewart Shapiro - Thinking About Mathematics 9.2 | |
| A reaction: This is interesting for showing that type theory may not be dead. The revival of supposedly dead theories is the bread-and-butter of modern philosophy. |
| 10264 | Introduce a constructibility quantifiers (Cx)Φ - 'it is possible to construct an x such that Φ' [Chihara, by Shapiro] |
| Full Idea: Chihara has proposal a modal primitive, a 'constructability quantifier'. Syntactically it behaves like an ordinary quantifier: Φ is a formula, and x a variable. Then (Cx)Φ is a formula, read as 'it is possible to construct an x such that Φ'. | |
| From: report of Charles Chihara (Constructibility and Mathematical Existence [1990]) by Stewart Shapiro - Philosophy of Mathematics 7.4 | |
| A reaction: We only think natural numbers are infinite because we see no barrier to continuing to count, i.e. to construct new numbers. We accept reals when we know how to construct them. Etc. Sounds promising to me (though not to Shapiro). |
| 21315 | A tree remains the same in the popular sense, but not in the strict philosophical sense [Butler] |
| Full Idea: When a man swears to the same tree having stood for fifty years in the same place, he means ...not that the tree has been all that time the same in the strict philosophical sense of the word. ...In a loose and popular sense they are said to be the same. | |
| From: Joseph Butler (Analogy of Religion [1736], App.1) | |
| A reaction: A helpful distinction which we should hang on. Of course, by the standards of modern physics, nothing is strictly the same from one Planck time to the next. All is flux. So we either drop the word 'same' (for objects) or relax a bit. |
| 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. |
| 21317 | Despite consciousness fluctuating, we are aware that it belongs to one person [Butler] |
| Full Idea: Though the successive consciousnesses which we have of our own existence are not the same, yet they are consciousnesses of one and the same thing or object; of the same person, self, or living agent. | |
| From: Joseph Butler (Analogy of Religion [1736], App.1) | |
| A reaction: Butler's arguments seems to be that he appears to be the same person, so he is the same person. He is explicitly disagreeing with Locke. |
| 21313 | If consciousness of events makes our identity, then if we have forgotten them we didn't exist then [Butler] |
| Full Idea: Though consciousness of what is past does ascertain our personal identity to ourselves, yet to say that it makes personal identity, or is necessary to our being the same persons is to say a person has not existed a single moment but what he can remember. | |
| From: Joseph Butler (Analogy of Religion [1736], App.1) | |
| A reaction: An over-cautious scepticism has crept in about the reliability of bodily identity. Now we can have photographs and CCTV to prove that we experienced events we have forgotten. Butler is right. |
| 21314 | Consciousness presupposes personal identity, so it cannot constitute it [Butler] |
| Full Idea: One would think it really self-evident that consciousness of personal identity presupposes, and therefore cannot constitute, personal identity, any more than knowledge can presuppose truth, which it presupposes. | |
| From: Joseph Butler (Analogy of Religion [1736], App.1) | |
| A reaction: It rather begs the question to dogmatically assert that mere consciousness presupposes a self, especially after Hume's criticisms. That consciousness implies a subject to experience needs arguing for. Is it the best explanation? |
| 21318 | If the self changes, we have no responsibilities, and no interest in past or future [Butler] |
| Full Idea: If personality is a transient thing ...then it follows that it is a fallacy to charge ourselves with any thing we did, or to imagine our present selves interested in any thing which befell us yesterday, or what will befall us tomorrow. | |
| From: Joseph Butler (Analogy of Religion [1736], App.1) | |
| A reaction: We seem to care about the past and future of our children, without actually being our children. Can't my future self be my descendant, a close one, instead of me? |