more on this theme | more from this text
Full Idea
A standard model is a set of objects called the 'domain', and an interpretation function, assigning objects in the domain to names, subsets to predicate letters, subsets of the Cartesian product of the domain with itself to binary relation symbols etc.
Clarification
The Cartesian Product produces all permutations of pairs of objects
Gist of Idea
A model is a domain, and an interpretation assigning objects, predicates, relations etc.
Source
Marcus Rossberg (First-order Logic, 2nd-order, Completeness [2004], §3)
A Reaction
The model actually specifies which objects have which predicates, and which objects are in which relations. Tarski's account of truth in terms of 'satisfaction' seems to be just a description of those pre-decided facts.
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] |