Combining Philosophers

Ideas for Hans-Johann Glock, Dag Prawitz and Tim Bayne

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 / J. Model Theory in Logic / 1. Logical Models

13826	Model theory looks at valid sentences and consequence, but not how we know these things [Prawitz]
	Full Idea: In model theory, which has dominated the last decades, one concentrates on logically valid sentences, and what follows logically from what, but one disregards questions concerning how we know these things.
	From: Dag Prawitz (On the General Idea of Proof Theory [1974], §1)