Ideas from 'works' by Alfred Tarski [1936], by Theme Structure
Click on the Idea Number for the 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

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

10479

Logical consequence: true premises give true conclusions under all interpretations

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

Tarski improved Hilbert's geometry axioms, and without settheory
