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 Model theory looks at valid sentences and consequence, but not how we know these things
§2 p.217 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 Logic is based on transitions between sentences
1.1 p.202 In natural deduction, inferences are atomic steps involving just one logical constant
2.2.2 p.210 Natural deduction introduction rules may represent 'definitions' of logical connectives