Ideas from 'The Establishment of Scientific Semantics' 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

3. Truth / F. Semantic Truth / 1. Tarski's Truth / a. Tarski's truth definition
'"It is snowing" is true if and only if it is snowing' is a partial definition of the concept of truth
5. Theory of Logic / A. Overview of Logic / 6. Classical Logic
A language: primitive terms, then definition rules, then sentences, then axioms, and finally inference rules
5. Theory of Logic / I. Semantics of Logic / 1. Semantics of Logic
A language containing its own semantics is inconsistent - but we can use a second language
Semantics is the concepts of connections of language to reality, such as denotation, definition and truth
5. Theory of Logic / I. Semantics of Logic / 5. Satisfaction
A sentence is satisfied when we can assert the sentence when the variables are assigned
Satisfaction is the easiest semantical concept to define, and the others will reduce to it
5. Theory of Logic / K. Features of Logics / 2. Consistency
Using the definition of truth, we can prove theories consistent within sound logics