Combining Texts

Ideas for 'fragments/reports', 'fragments/reports' and 'The Concept of Truth for Formalized Languages'

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

display all the ideas for this combination of texts

---

2 ideas

3. Truth / G. Axiomatic Truth / 1. Axiomatic Truth

15322

Tarski's had the first axiomatic theory of truth that was minimally adequate [Tarski, by Horsten]

16306

Tarski defined truth, but an axiomatisation can be extracted from his inductive clauses [Tarski, by Halbach]