Combining Texts

Ideas for 'Introduction to 'Virtues of Authenticity'', 'Summa totius logicae' 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

---

3 ideas

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

16300

Ockham had an early axiomatic account of truth [William of Ockham, by Halbach]

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]