Single Idea 10691

[catalogued under 5. Theory of Logic / B. Logical Consequence / 2. Types of Consequence]

Full Idea

Technical work on logical consequence has either focused on proofs, where validity is the existence of a proof of the conclusions from the premises, or on models, which focus on the absence of counterexamples.

Gist of Idea

Logical consequence needs either proofs, or absence of counterexamples

Source

JC Beall / G Restall (Logical Consequence [2005], 3)

Book Reference

'Stanford Online Encyclopaedia of Philosophy', ed/tr. Stanford University [plato.stanford.edu], p.6

---