Combining Texts

Ideas for 'Unconscious Cerebral Initiative', 'First-Order Logic' and 'Philosophical Logic'

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

display all the ideas for this combination of texts

---

5 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

15408

'Tautologies' are valid formulas of classical sentential logic - or substitution instances in other logics [Burgess]

5. Theory of Logic / I. Semantics of Logic / 4. Satisfaction

15418

Validity (for truth) and demonstrability (for proof) have correlates in satisfiability and consistency [Burgess]