Combining Texts

Ideas for 'fragments/reports', 'On the General Idea of Proof Theory' and 'fragments/reports'

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

display all the ideas for this combination of texts

---

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)