10 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. |
| 14713 | Truth in a scenario is the negation in that scenario being a priori incoherent [Chalmers] |
| Full Idea: The epistemic 1-intension for a sentence S is True at a scenario W iff (W and not-S) is a priori incoherent. | |
| From: David J.Chalmers (Epistemic Two-Dimensional Semantics [2004], p.180-4), quoted by Laura Schroeter - Two-Dimensional Semantics | |
| A reaction: See Two-Dimensional Semantics (in 'Language') and Chalmers for the background to this idea. I love the coherence view of justification, but get a bit nervous when people start defining truth in that way. |
| 18270 | Choice suggests that intensions are not needed to ensure classes [Coffa] |
| Full Idea: The axiom of choice was an assumption that implicitly questioned the necessity of intensions to guarantee the presence of classes. | |
| From: J. Alberto Coffa (The Semantic Tradition from Kant to Carnap [1991], 7 'Log') | |
| A reaction: The point is that Choice just picks out members for no particular reason. So classes, it seems, don't need a reason to exist. |
| 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. |
| 14712 | A sentence is a priori if no possible way the world might actually be could make it false [Chalmers] |
| Full Idea: The Core Thesis for rationalist 2D semantics is that for any sentence S, S is apriori iff S has a necessary 1-intension. (That is, there is no possible way the world might be that, if it actually obtained, would make S false). | |
| From: David J.Chalmers (Epistemic Two-Dimensional Semantics [2004], p.165), quoted by Laura Schroeter - Two-Dimensional Semantics 2.3.2 | |
| A reaction: [The parenthesis is by Schroeter] A '1-intension' is defined by a diagonal on a 2D semantic matrix. Chalmers defends conceivability as the guide to possibility. This is a very traditional view of the a priori, expressed in modern terms. |
| 18263 | The semantic tradition aimed to explain the a priori semantically, not by Kantian intuition [Coffa] |
| Full Idea: The semantic tradition's problem was the a priori; its enemy, Kantian pure intuition; its purpose, to develop a conception of the a priori in which pure intuition played no role; its strategy, to base that theory on a development of semantics. | |
| From: J. Alberto Coffa (The Semantic Tradition from Kant to Carnap [1991], 2 Intro) | |
| A reaction: It seems to me that intuition, in the modern sense, has been unnecessarily demonised. I would define it as 'rational insights which cannot be fully articulated'. Sherlock Holmes embodies it. |
| 18272 | Platonism defines the a priori in a way that makes it unknowable [Coffa] |
| Full Idea: The trouble with Platonism had always been its inability to define a priori knowledge in a way that made it possible for human beings to have it. | |
| From: J. Alberto Coffa (The Semantic Tradition from Kant to Carnap [1991], 7 'What') | |
| A reaction: This is the famous argument of Benacerraf 1973. |
| 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. |
| 18266 | Mathematics generalises by using variables [Coffa] |
| Full Idea: The instrument of generality in mathematics is the variable. | |
| From: J. Alberto Coffa (The Semantic Tradition from Kant to Carnap [1991], 4 'The conc') | |
| A reaction: I like the idea that there are variables in ordinary speech, pronouns being the most obvious example. 'Cats' is a variable involving quantification over a domain of lovable fluffy mammals. |
| 18279 | Relativity is as absolutist about space-time as Newton was about space [Coffa] |
| Full Idea: If the theory of relativity might be thought to support an idealist construal of space and time, it is no less absolutistic about space-time than Newton's theory was about space. | |
| From: J. Alberto Coffa (The Semantic Tradition from Kant to Carnap [1991]) | |
| A reaction: [He cites Minkowski, Weyl and Cartan for this conclusion] Coffa is clearly a bit cross about philosophers who draw naive idealist and relativist conclusions from relativity. |