4 ideas
22140 | The greatest philosophers are methodical; it is what makes them great [Grice] |
Full Idea: The greatest philosophers have been the greatest, and most self-conscious, methodologists; indeed, I am tempted to regard the fact as primarily accounting for their greatness as philosophers. | |
From: H. Paul Grice (Reply to Richards [1986], p.66), quoted by Stephen Boulter - Why Medieval Philosophy Matters 3 | |
A reaction: I agree. Philosophy is nothing if it is not devoted to the attempt to be fully rational, and that implies consistency and coherence. If a thinker doesn't even try to be systematic, I would not consider them to be a philosopher. |
13827 | Logical consequence isn't a black box (Tarski's approach); we should explain how arguments work [Prawitz] |
Full Idea: Defining logical consequence in the way Tarski does is a rather meagre result, treating an argument as a black box, observing input and output, while disregarding inner structure. We should define logical consequence on the basis of valid arguments. | |
From: Dag Prawitz (On the General Idea of Proof Theory [1974], §2) |
13826 | Model theory looks at valid sentences and consequence, but not how we know these things [Prawitz] |
Full Idea: In model theory, which has dominated the last decades, one concentrates on logically valid sentences, and what follows logically from what, but one disregards questions concerning how we know these things. | |
From: Dag Prawitz (On the General Idea of Proof Theory [1974], §1) |
15432 | Structural universals might serve as possible worlds [Forrest, by Lewis] |
Full Idea: Forrest proposed that structural universals should serve as ersatz possible worlds. | |
From: report of Peter Forrest (Ways Worlds Could Be [1986]) by David Lewis - Against Structural Universals 'Intro' | |
A reaction: I prefer powers to property universals. Perhaps a possible world is a maximal set of co-existing dispositions? |