more on this theme | more from this thinker
Full Idea
An arbitrary sequence of objects which satisfies every sentential function of the sentences L' will be called a 'model' or realization of the class L of sentences. There can also be a model of a single sentence is this way.
Gist of Idea
A 'model' is a sequence of objects which satisfies a complete set of sentential functions
Source
Alfred Tarski (The Concept of Logical Consequence [1936], p.417)
Book Ref
Tarski,Alfred: 'Logic, Semantics, Meta-mathematics' [Hackett 1956], p.417
A Reaction
[L' is L with the constants replaced by variables] Tarski is the originator of model theory, which is central to modern logic. The word 'realization' is a helpful indicator of what he has in mind. A model begins to look like a possible world.
18812 | Split out the logical vocabulary, make an assignment to the rest. It's logical if premises and conclusion match [Tarski, by Rumfitt] |
13344 | X follows from sentences K iff every model of K also models X [Tarski] |
13343 | A 'model' is a sequence of objects which satisfies a complete set of sentential functions [Tarski] |
13345 | Sentences are 'analytical' if every sequence of objects models them [Tarski] |