19058
|
Syntactic consequence is positive, for validity; semantic version is negative, with counterexamples
[Dummett]
|
|
Full Idea:
A plausible account is that the syntactic notion of consequence is for positive results, that some form of argument is valid; the semantic notion is required for negative results, that some argument is invalid, because a counterexample can be found.
|
|
From:
Michael Dummett (The Justification of Deduction [1973], p.292)
|
|
A reaction:
This rings true for the two strategies of demonstration, the first by following the rules in steps, the second by using your imagination (or a tableau) to think up problems.
|
9718
|
Validity is either semantic (what preserves truth), or proof-theoretic (following procedures)
[Enderton]
|
|
Full Idea:
The point of logic is to give an account of the notion of validity,..in two standard ways: the semantic way says that a valid inference preserves truth (symbol |=), and the proof-theoretic way is defined in terms of purely formal procedures (symbol |-).
|
|
From:
Herbert B. Enderton (A Mathematical Introduction to Logic (2nd) [2001], 1.1.3..)
|
|
A reaction:
This division can be mirrored in mathematics, where it is either to do with counting or theorising about things in the physical world, or following sets of rules from axioms. Language can discuss reality, or play word-games.
|
10753
|
Logical consequence is intuitively semantic, and captured by model theory
[Rossberg]
|
|
Full Idea:
Logical consequence is intuitively taken to be a semantic notion, ...and it is therefore the formal semantics, i.e. the model theory, that captures logical consequence.
|
|
From:
Marcus Rossberg (First-order Logic, 2nd-order, Completeness [2004], §2)
|
|
A reaction:
If you come at the issue from normal speech, this seems right, but if you start thinking about the necessity of logical consequence, that formal rules and proof-theory seem to be the foundation.
|