3 ideas
13832 | Natural deduction shows the heart of reasoning (and sequent calculus is just a tool) [Gentzen, by Hacking] |
Full Idea: Gentzen thought that his natural deduction gets at the heart of logical reasoning, and used the sequent calculus only as a convenient tool for proving his chief results. | |
From: report of Gerhard Gentzen (Investigations into Logical Deduction [1935]) by Ian Hacking - What is Logic? §05 |
16362 | An identity statement aims at getting the hearer to merge two mental files [Lockwood] |
Full Idea: The purpose of an identity statement is to get the hearer to merge these files or bodies of information into one. | |
From: Michael Lockwood (Identity and Reference [1971], p.209), quoted by François Recanati - Mental Files 4.1 | |
A reaction: Lockwood is a pioneer, in seeing 'Hesperus is Phosphorus' and 'Scott is the author of 'Waverley'' in terms of how the mind works. Mental files seem to me to explain a huge amount. Recanati proposes 'linking' rather than 'merging'. |
14080 | Are causal descriptions part of the causal theory of reference, or are they just metasemantic? [Kaplan, by Schaffer,J] |
Full Idea: Kaplan notes that the causal theory of reference can be understood in two quite different ways, as part of the semantics (involving descriptions of causal processes), or as metasemantics, explaining why a term has the referent it does. | |
From: report of David Kaplan (Dthat [1970]) by Jonathan Schaffer - Deflationary Metaontology of Thomasson 1 | |
A reaction: [Kaplan 'Afterthought' 1989] The theory tends to be labelled as 'direct' rather than as 'causal' these days, but causal chains are still at the heart of the story (even if more diffused socially). Nice question. Kaplan takes the meta- version as orthodox. |