10 ideas
| 22334 | Analysis must include definitions, search for simples, concept analysis, and Kant's analysis [Glock] |
| Full Idea: Under 'analysis' a minimum would include the Socratic quest for definitions, Descartes' search for simple natures, the empiricists' psychological resolution of complex ideas, and Kant's 'transcendental' analysis of our cognitive capacities. | |
| From: Hans-Johann Glock (What is Analytic Philosophy? [2008], 6.1) | |
| A reaction: This has always struck me, and I find the narrow focus on modern logic a very distorted idea of the larger project. The aim, I think, is to understand by taking things apart, in the spirit of figuring out how a watch works. |
| 13831 | Logic is based on transitions between sentences [Prawitz] |
| Full Idea: I agree entirely with Dummett that the right way to answer the question 'what is logic?' is to consider transitions between sentences. | |
| From: Dag Prawitz (Gentzen's Analysis of First-Order Proofs [1974], §04) | |
| A reaction: I always protest at this point that reliance on sentences is speciesism against animals, who are thereby debarred from reasoning. See the wonderful Idea 1875 of Chrysippus. Hacking's basic suggestion seems right. Transition between thoughts. |
| 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) |
| 13825 | Natural deduction introduction rules may represent 'definitions' of logical connectives [Prawitz] |
| Full Idea: With Gentzen's natural deduction, we may say that the introductions represent, as it were, the 'definitions' of the logical constants. The introductions are not literally understood as 'definitions'. | |
| From: Dag Prawitz (Gentzen's Analysis of First-Order Proofs [1974], 2.2.2) | |
| A reaction: [Hacking, in 'What is Logic? §9' says Gentzen had the idea that his rules actually define the constants; not sure if Prawitz and Hacking are disagreeing] |
| 13823 | In natural deduction, inferences are atomic steps involving just one logical constant [Prawitz] |
| Full Idea: In Gentzen's natural deduction, the inferences are broken down into atomic steps in such a way that each step involves only one logical constant. The steps are the introduction or elimination of the logical constants. | |
| From: Dag Prawitz (Gentzen's Analysis of First-Order Proofs [1974], 1.1) |
| 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) |
| 22332 | German and British idealism is not about individual ideas, but the intelligibility of reality [Glock] |
| Full Idea: Neither German nor British Idealism reduced reality to episodes in the minds of individuals. Instsead, they insisted that reality is intelligible only because it is a manifestation of a divine spirit or rational principle. | |
| From: Hans-Johann Glock (What is Analytic Philosophy? [2008], 5.2) | |
| A reaction: They standardly reject Berkeley. Such Idealism seems either to be the design argument for God's existence, or neo-Stoicism (in its claim that nature is rational). Why not just say that nature seems to be intelligible, and stop there? |
| 22336 | We might say that the family resemblance is just a consequence of meaning-as-use [Glock] |
| Full Idea: Against Wittgenstein's family resemblance view one might evoke his own idea that the meaning of a word is its use, and that diversity of use entails diversity of meaning. | |
| From: Hans-Johann Glock (What is Analytic Philosophy? [2008], 8.2) | |
| A reaction: Wittgenstein might just accept the point. Diversity of concepts reflects diversity of usage. But how do you distinguish 'football is a game' from 'oy, what's your game?'. How does usage distinguish metaphorical from literal (if it does)? |
| 22335 | The variety of uses of 'game' may be that it has several meanings, and isn't a single concept [Glock] |
| Full Idea: The proper conclusion to draw from the fact that we explain 'game' in a variety of different ways is that it is not a univocal term, but has different, albeit related, meanings. | |
| From: Hans-Johann Glock (What is Analytic Philosophy? [2008], 8.2) | |
| A reaction: [He cites Rundle 1990] Potter says Wittgenstein insisted that 'game' is a single concept. 'Game' certainly slides off into metaphor, as in 'are you playing games with me?'. The multivocal view would still meet family resemblance on a narrower range. |
| 23053 | The great interest of the human race is cordial unity and unlimited mutual aid [Owen] |
| Full Idea: It is the one great and universal interest of the human race to be cordially united, and to aid each other to the full extent of their capacities. | |
| From: Robert Owen (works [1830]), quoted by John H. Muirhead - The Service of the State IV | |
| A reaction: [Inscribed on his tomb in Newport, Shropshire] In the middle of the early industrial revolution, Owen worked hard for the rights of the people who worked in his factory. |