Combining Texts

Ideas for 'works', 'Logicism Revisited' and 'Philosophical 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 / 3. Logical Truth

10049

Logical truths may contain non-logical notions, as in 'all men are men' [Musgrave]

15408

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

10050

A statement is logically true if it comes out true in all interpretations in all (non-empty) domains [Musgrave]

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]