Single Idea 15418

[catalogued under 5. Theory of Logic / I. Semantics of Logic / 4. Satisfaction]

Full Idea

Validity (truth by virtue of logical form alone) and demonstrability (provability by virtue of logical form alone) have correlative notions of logical possibility, 'satisfiability' and 'consistency', which come apart in some logics.

Gist of Idea

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

Source

John P. Burgess (Philosophical Logic [2009], 3.3)

Book Reference

Burgess,John P.: 'Philosophical Logic' [Princeton 2009], p.47


Related Idea

Idea 15417 Logical necessity has two sides - validity and demonstrability - which coincide in classical logic [Burgess]