display all the ideas for this combination of texts
2 ideas
11989 | For Russell, expressions dependent on contingent circumstances must be eliminated [Kaplan] |
Full Idea: It is a tenet of Russell's theory that all expressions, and especially definite descriptions, whose denotation is dependent upon contingent circumstances must be eliminated. | |
From: David Kaplan (How to Russell a Frege-Church [1975], II) |
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 |