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
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
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
Logical consequence: true premises give true conclusions under all interpretations
6. Mathematics / B. Foundations for Mathematics / 2. Axioms for Geometry
Tarski improved Hilbert's geometry axioms, and without set-theory