more on this theme     |     more from this thinker     |     more from this text


Single Idea 10691

[filed under theme 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 Ref

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