Combining Philosophers

Ideas for Hans-Johann Glock, Dag Prawitz and Benjamin Schnieder

unexpand these ideas     |    start again     |     choose another area for these philosophers

display all the ideas for this combination of philosophers

---

1 idea

5. Theory of Logic / E. Structures of Logic / 2. Logical Connectives / a. Logical connectives

13825	Natural deduction introduction rules may represent 'definitions' of logical connectives [Prawitz]
	Full Idea: With Gentzen's natural deduction, we may say that the introductions represent, as it were, the 'definitions' of the logical constants. The introductions are not literally understood as 'definitions'.
	From: Dag Prawitz (Gentzen's Analysis of First-Order Proofs [1974], 2.2.2)
	A reaction: [Hacking, in 'What is Logic? §9' says Gentzen had the idea that his rules actually define the constants; not sure if Prawitz and Hacking are disagreeing]