7 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. |
| 18470 | Maybe truth-making is an unanalysable primitive, but we can specify principles for it [Smith,B] |
| Full Idea: The signs are that truth-making is not analysable in terms of anything more primitive, but we need to be able to say more than just that. So we ought to consider it as specified by principles of truth-making. | |
| From: Barry Smith (Truth-maker Realism: response to Gregory [2000], p.20), quoted by Fraser MacBride - Truthmakers 1.5 | |
| A reaction: This is the axiomatic approach to such problems - treat the target concept as an undefinable, unanalysable primitive, and then give rules for its connections. Maybe all metaphysics should work like that, with a small bunch of primitives. |
| 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. |
| 21222 | Logicians presuppose a world, and ignore logic/world connections, so their logic is impure [Husserl, by Velarde-Mayol] |
| Full Idea: Husserl maintained that because most logicians have not studied the connection between logic and the world, logic did not achieve its status of purity. Even more, their logic implicitly presupposed a world. | |
| From: report of Edmund Husserl (Formal and Transcendental Logic [1929]) by Victor Velarde-Mayol - On Husserl 4.5.1 | |
| A reaction: The point here is that the bracketing of phenomenology, to reach an understanding with no presuppositions, is impossible if you don't realise what your are presupposing. I think the logic/world relationship is badly neglected, thanks to Frege. |
| 21223 | Phenomenology grounds logic in subjective experience [Husserl, by Velarde-Mayol] |
| Full Idea: The phenomenological logic grounds logical notions in subjective acts of experience. | |
| From: report of Edmund Husserl (Formal and Transcendental Logic [1929], p.183) by Victor Velarde-Mayol - On Husserl 4.5.1 | |
| A reaction: I'll approach this with great caution, but this is a line of thought that appeals to me. The core assumptions of logic do not arise ex nihilo. |
| 21224 | Pure mathematics is the relations between all possible objects, and is thus formal ontology [Husserl, by Velarde-Mayol] |
| Full Idea: Pure mathematics is the science of the relations between any object whatever (relation of whole to part, relation of equality, property, unity etc.). In this sense, pure mathematics is seen by Husserl as formal ontology. | |
| From: report of Edmund Husserl (Formal and Transcendental Logic [1929]) by Victor Velarde-Mayol - On Husserl 4.5.2 | |
| A reaction: I would expect most modern analytic philosophers to agree with this. Modern mathematics (e.g. category theory) seems to have moved beyond this stage, but I still like this idea. |
| 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. |