more on this theme | more from this thinker
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.
Gist of Idea
Logical consequence is intuitively semantic, and captured by model theory
Source
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.
10751 | Second-order logic needs the sets, and its consequence has epistemological problems [Rossberg] |
10753 | Logical consequence is intuitively semantic, and captured by model theory [Rossberg] |
10752 | Γ |- S says S can be deduced from Γ; Γ |= S says a good model for Γ makes S true [Rossberg] |
10754 | In proof-theory, logical form is shown by the logical constants [Rossberg] |
10758 | If models of a mathematical theory are all isomorphic, it is 'categorical', with essentially one model [Rossberg] |
10756 | A model is a domain, and an interpretation assigning objects, predicates, relations etc. [Rossberg] |
10757 | Henkin semantics has a second domain of predicates and relations (in upper case) [Rossberg] |
10759 | There are at least seven possible systems of semantics for second-order logic [Rossberg] |
10755 | A deductive system is only incomplete with respect to a formal semantics [Rossberg] |
10761 | Completeness can always be achieved by cunning model-design [Rossberg] |