Combining Philosophers

Ideas for Mohammed, Correia,F/Schnieder,B and John P. Burgess

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

display all the ideas for this combination of philosophers

---

2 ideas

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]