Combining Texts

Ideas for 'A Short History of Ethics', 'The Concept of Truth for Formalized Languages' and 'Natural Kinds'

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

display all the ideas for this combination of texts

---

2 ideas

5. Theory of Logic / I. Semantics of Logic / 1. Semantics of Logic

18756

Tarski built a compositional semantics for predicate logic, from dependent satisfactions [Tarski, by McGee]

19313

Tarksi invented the first semantics for predicate logic, using this conception of truth [Tarski, by Kirkham]