8 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. |
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. |
17423 | The essence of natural numbers must reflect all the functions they perform [Sicha] |
Full Idea: What is really essential to being a natural number is what is common to the natural numbers in all the functions they perform. | |
From: Jeffrey H. Sicha (Counting and the Natural Numbers [1968], 2) | |
A reaction: I could try using natural numbers as insults. 'You despicable seven!' 'How dare you!' I actually agree. The question about functions is always 'what is it about this thing that enables it to perform this function'. |
17425 | To know how many, you need a numerical quantifier, as well as equinumerosity [Sicha] |
Full Idea: A knowledge of 'how many' cannot be inferred from the equinumerosity of two collections; a numerical quantifier statement is needed. | |
From: Jeffrey H. Sicha (Counting and the Natural Numbers [1968], 3) |
17424 | Counting puts an initial segment of a serial ordering 1-1 with some other entities [Sicha] |
Full Idea: Counting is the activity of putting an initial segment of a serially ordered string in 1-1 correspondence with some other collection of entities. | |
From: Jeffrey H. Sicha (Counting and the Natural Numbers [1968], 2) |
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. |
1472 | The propositions that God is good and omnipotent, and that evil exists, are logically contradictory [Mackie, by PG] |
Full Idea: There is a contradiction between the propositions that God is wholly good, God is omnipotent, and evil exists, and one of them has got to give way (assuming good eliminates evil, and omnipotence has no limit). | |
From: report of J.L. Mackie (Evil and Omnipotence [1955], Pref.) by PG - Db (ideas) |
1473 | Is evil an illusion, or a necessary contrast, or uncontrollable, or necessary for human free will? [Mackie, by PG] |
Full Idea: Perhaps evil is an illusion, or it is necessary for good to exist, or in humans it is required because we have free will, or God lacks the full power to control it, but none of these looks convincing. | |
From: report of J.L. Mackie (Evil and Omnipotence [1955], §B) by PG - Db (ideas) |