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 nonlogical

5. Theory of Logic / B. Logical Consequence / 4. Semantic Consequence =
10694

Logical consequence is when in any model in which the premises are true, the conclusion is true [Beall/Restall]

10479

Logical consequence: true premises give true conclusions under all interpretations [Hodges,W]

6. Mathematics / B. Foundations for Mathematics / 3. Axioms for Geometry
10157

Tarski improved Hilbert's geometry axioms, and without settheory [Feferman/Feferman]
