Ideas from 'The Establishment of Scientific Semantics' by Alfred Tarski [1936], by Theme Structure
[found in 'Logic, Semantics, Metamathematics' by Tarski,Alfred [Hackett 1956,091514476x]].
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
13338

'"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
13337

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
13336

A language containing its own semantics is inconsistent  but we can use a second language

13335

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
13339

A sentence is satisfied when we can assert the sentence when the variables are assigned

13340

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
13341

Using the definition of truth, we can prove theories consistent within sound logics
