Ideas from 'The Concept of Logical Consequence' by Alfred Tarski [1936], by Theme Structure
[found in 'Logic, Semantics, Metamathematics' by Tarski,Alfred [Hackett 1956,091514476x]].
green numbers give full details 
back to texts

expand these ideas
5. Theory of Logic / B. Logical Consequence / 1. Logical Consequence
18812

Split out the logical vocabulary, make an assignment to the rest. It's logical if premises and conclusion match [Rumfitt]

5. Theory of Logic / B. Logical Consequence / 4. Semantic Consequence =
13344

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
13343

A 'model' is a sequence of objects which satisfies a complete set of sentential functions

19. Language / E. Analyticity / 1. Analytic Propositions
13345

Sentences are 'analytical' if every sequence of objects models them
