Combining Texts

Ideas for 'Things', 'The Rise of Analytic Philosophy 1879-1930' and 'First-Order Logic'

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

display all the ideas for this combination of texts

---

4 ideas

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

10283

A formula needs an 'interpretation' of its constants, and a 'valuation' of its variables [Hodges,W]

10284

There are three different standard presentations of semantics [Hodges,W]

10285

I |= φ means that the formula φ is true in the interpretation I [Hodges,W]

5. Theory of Logic / I. Semantics of Logic / 3. Logical Truth

22295

Modern logical truths are true under all interpretations of the non-logical words [Potter]