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
In everyday language, truth seems indefinable, inconsistent, and illogical
3. Truth / G. Axiomatic Truth / 1. Axiomatic Truth
Tarski thought axiomatic truth was too contingent, and in danger of inconsistencies [Davidson]
5. Theory of Logic / A. Overview of Logic / 4. Pure Logic
There is no clear boundary between the logical and the non-logical
5. Theory of Logic / B. Logical Consequence / 4. Semantic Consequence |=
Logical consequence is when in any model in which the premises are true, the conclusion is true [Beall/Restall]
Logical consequence: true premises give true conclusions under all interpretations [Hodges,W]
6. Mathematics / B. Foundations for Mathematics / 3. Axioms for Geometry
Tarski improved Hilbert's geometry axioms, and without set-theory [Feferman/Feferman]