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 FirstOrder 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
