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]].
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
|