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]].
green numbers give 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
13335
|
Semantics is the concepts of connections of language to reality, such as denotation, definition and truth
|
13336
|
A language containing its own semantics is inconsistent - but we can use a second language
|
5. Theory of Logic / I. Semantics of Logic / 4. 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
|