Ideas from 'The Concept of Logical Consequence' by Alfred Tarski [1936], by Theme Structure

[found in 'Logic, Semantics, Meta-mathematics' by Tarski,Alfred [Hackett 1956,0-915144-76-x]].

Click on the Idea Number for the full details    |     back to texts     |     expand these ideas

5. Theory of Logic / B. Logical Consequence / 1. Logical Consequence
Split out the logical vocabulary, make an assignment to the rest. It's logical if premises and conclusion match
5. Theory of Logic / B. Logical Consequence / 4. Semantic Consequence |=
X follows from sentences K iff every model of K also models X
5. Theory of Logic / J. Model Theory in Logic / 1. Logical Models
A 'model' is a sequence of objects which satisfies a complete set of sentential functions
19. Language / F. Analytic/Synthetic / 2. Analytic Propositions
Sentences are 'analytical' if every sequence of objects models them