Ideas from 'works' by Alfred Tarski [1936], by Theme Structure
green numbers give full details |
back to texts
|
expand these ideas
3. Truth / A. Truth Problems / 2. Defining Truth
10153
|
In everyday language, truth seems indefinable, inconsistent, and illogical
|
3. Truth / G. Axiomatic Truth / 1. Axiomatic Truth
19141
|
Tarski thought axiomatic truth was too contingent, and in danger of inconsistencies [Davidson]
|
5. Theory of Logic / A. Overview of Logic / 4. Pure Logic
10048
|
There is no clear boundary between the logical and the non-logical
|
5. Theory of Logic / B. Logical Consequence / 4. Semantic Consequence |=
10479
|
Logical consequence: true premises give true conclusions under all interpretations [Hodges,W]
|
10694
|
Logical consequence is when in any model in which the premises are true, the conclusion is true [Beall/Restall]
|
6. Mathematics / B. Foundations for Mathematics / 3. Axioms for Geometry
10157
|
Tarski improved Hilbert's geometry axioms, and without set-theory [Feferman/Feferman]
|