Combining Texts

Ideas for 'fragments/reports', 'Against Structural Universals' and 'The Concept of Logical Consequence'

unexpand these ideas     |    start again     |     choose another area for these texts

display all the ideas for this combination of texts

1 idea

5. Theory of Logic / J. Model Theory in Logic / 1. Logical Models
13343 A 'model' is a sequence of objects which satisfies a complete set of sentential functions [Tarski]
     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.
     From: Alfred Tarski (The Concept of Logical Consequence [1936], 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.