5 ideas
10247 | We have no adequate logic at the moment, so mathematicians must create one [Veblen] |
Full Idea: Formal logic has to be taken over by mathematicians. The fact is that there does not exist an adequate logic at the present time, and unless the mathematicians create one, no one else is likely to do so. | |
From: Oswald Veblen (Presidential Address of Am. Math. Soc [1924], 141), quoted by Stewart Shapiro - Philosophy of Mathematics | |
A reaction: This remark was made well after Frege, but before the advent of Gödel and Tarski. That implies that he was really thinking of meta-logic. |
16473 | Modal Rationalism: conceivability gives a priori access to modal truths [Chalmers, by Stalnaker] |
Full Idea: Chalmers' 'modal rationalist' is one who identifies what is possible with what is conceivable; the central claim of the doctrine is that we have a priori access to modal truth. | |
From: report of David J.Chalmers (Does Conceivability Entail Possibility? [2002]) by Robert C. Stalnaker - Mere Possibilities 5 | |
A reaction: A helpful clarification, as I can now see how hopelessly and utterly wrong Chalmers is (about almost everything), and I find my confidence in any sort of genuine a priori knowledge (except of conceptual relations) dwindling by the minute. |
19258 | Evaluate primary possibility from some world, and secondary possibility from this world [Chalmers, by Vaidya] |
Full Idea: For Chalmers, that water is XYZ is 'primary possible' (a priori, or conceptually), because it is true in some world considered as actual. It is 'secondary impossible', when it is evaluated from the Earth as actual. | |
From: report of David J.Chalmers (Does Conceivability Entail Possibility? [2002]) by Anand Vaidya - Understanding and Essence Intro | |
A reaction: [compressed] This is Chalmers' account of how we can know possibility from conceivability, via his two-dimensional semantics (see alphabetical themes). |
16713 | Philosophers are the forefathers of heretics [Tertullian] |
Full Idea: Philosophers are the forefathers of heretics. | |
From: Tertullian (works [c.200]), quoted by Robert Pasnau - Metaphysical Themes 1274-1671 20.2 |
6610 | I believe because it is absurd [Tertullian] |
Full Idea: I believe because it is absurd ('Credo quia absurdum est'). | |
From: Tertullian (works [c.200]), quoted by Robert Fogelin - Walking the Tightrope of Reason n4.2 | |
A reaction: This seems to be a rather desperate remark, in response to what must have been rather good hostile arguments. No one would abandon the support of reason if it was easy to acquire. You can't deny its engaging romantic defiance, though. |