Combining Philosophers
Ideas for H.Putnam/P.Oppenheim, George Bealer and Gerhard Gentzen
expand these ideas
|
start again
|
choose
another area for these philosophers
display all the ideas for this combination of philosophers
7 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 / 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 / F. Referring in Logic / 1. Naming / b. Names as descriptive
|
9455
|
Maybe proper names have the content of fixing a thing's category [Bealer]
|
5. Theory of Logic / F. Referring in Logic / 2. Descriptions / b. Definite descriptions
|
9454
|
The four leading theories of definite descriptions are Frege's, Russell's, Evans's, and Prior's [Bealer]
|
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]
|