Combining Philosophers
Ideas for Homer, Gerhard Gentzen and Hartry Field
expand these ideas
|
start again
|
choose
another area for these philosophers
display all the ideas for this combination of philosophers
8 ideas
5. Theory of Logic / A. Overview of Logic / 2. History of Logic
11022
|
Gentzen introduced a natural deduction calculus (NK) in 1934 [Gentzen, by Read]
|
5. Theory of Logic / B. Logical Consequence / 1. Logical Consequence
10260
|
Logical consequence is defined by the impossibility of P and ¬q [Field,H, by Shapiro]
|
5. Theory of Logic / E. Structures of Logic / 2. Logical Connectives / a. Logical connectives
11065
|
The inferential role of a logical constant constitutes its meaning [Gentzen, by Hanna]
|
11023
|
The logical connectives are 'defined' by their introduction rules [Gentzen]
|
11213
|
Each logical symbol has an 'introduction' rule to define it, and hence an 'elimination' rule [Gentzen]
|
5. Theory of Logic / H. Proof Systems / 4. Natural Deduction
13832
|
Natural deduction shows the heart of reasoning (and sequent calculus is just a tool) [Gentzen, by Hacking]
|
5. Theory of Logic / I. Semantics of Logic / 2. Formal Truth
10819
|
Tarski gives us the account of truth needed to build a group of true sentences in a model [Field,H]
|
5. Theory of Logic / J. Model Theory in Logic / 1. Logical Models
10827
|
Model theory is unusual in restricting the range of the quantifiers [Field,H]
|