green numbers give full details.
|
back to list of philosophers
|
expand these ideas
Ideas of Dag Prawitz, by Text
[Swedish, fl. 1981, Professor at Stockholm University.]
1974
|
On the General Idea of Proof Theory
|
§1
|
p.215
|
13826
|
Model theory looks at valid sentences and consequence, but not how we know these things
|
§2
|
p.217
|
13827
|
Logical consequence isn't a black box (Tarski's approach); we should explain how arguments work
|
1974
|
Gentzen's Analysis of First-Order Proofs
|
§04
|
p.230
|
13831
|
Logic is based on transitions between sentences
|
1.1
|
p.202
|
13823
|
In natural deduction, inferences are atomic steps involving just one logical constant
|
2.2.2
|
p.210
|
13825
|
Natural deduction introduction rules may represent 'definitions' of logical connectives
|