structure for 'Theory of Logic'    |     alphabetical list of themes    |     expand these ideas

5. Theory of Logic / B. Logical Consequence / 2. Types of Consequence

[different modes of logical consequence]

6 ideas
Syntactic consequence is positive, for validity; semantic version is negative, with counterexamples [Dummett]
Validity is either semantic (what preserves truth), or proof-theoretic (following procedures) [Enderton]
The two standard explanations of consequence are semantic (in models) and deductive [Shapiro]
Logical consequence needs either proofs, or absence of counterexamples [Beall/Restall]
There are several different consequence relations [Beall/Restall]
Logical consequence is intuitively semantic, and captured by model theory [Rossberg]