Combining Philosophers
Ideas for Eubulides, Nelson Goodman and Gerhard Gentzen
expand these ideas
|
start again
|
choose
another area for these philosophers
display all the ideas for this combination of philosophers
9 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 / C. Ontology of Logic / 4. Logic by Convention
12394
|
If the result is bad, we change the rule; if we like the rule, we reject the result [Goodman]
|
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 / L. Paradox / 1. Paradox
6007
|
If you know your father, but don't recognise your father veiled, you know and don't know the same person [Eubulides, by Dancy,R]
|
5. Theory of Logic / L. Paradox / 6. Paradoxes in Language / a. The Liar paradox
6006
|
If you say truly that you are lying, you are lying [Eubulides, by Dancy,R]
|
5. Theory of Logic / L. Paradox / 6. Paradoxes in Language / b. The Heap paradox ('Sorites')
6008
|
Removing one grain doesn't destroy a heap, so a heap can't be destroyed [Eubulides, by Dancy,R]
|