more on this theme     |     more from this thinker


Single Idea 10153

[filed under theme 3. Truth / A. Truth Problems / 2. Defining Truth ]

Full Idea

In everyday language it seems impossible to define the notion of truth or even to use this notion in a consistent manner and in agreement with the laws of logic.

Gist of Idea

In everyday language, truth seems indefinable, inconsistent, and illogical

Source

Alfred Tarski (works [1936]), quoted by Feferman / Feferman - Alfred Tarski: life and logic Int III

Book Ref

Feferman,S/Feferman,A.B.: 'Alfred Tarski: life and logic' [CUP 2008], p.112


A Reaction

[1935] See Logic|Theory of Logic|Semantics of Logic for Tarski's approach to truth.


The 6 ideas from 'works'

In everyday language, truth seems indefinable, inconsistent, and illogical [Tarski]
Tarski thought axiomatic truth was too contingent, and in danger of inconsistencies [Tarski, by Davidson]
There is no clear boundary between the logical and the non-logical [Tarski]
Logical consequence is when in any model in which the premises are true, the conclusion is true [Tarski, by Beall/Restall]
Logical consequence: true premises give true conclusions under all interpretations [Tarski, by Hodges,W]
Tarski improved Hilbert's geometry axioms, and without set-theory [Tarski, by Feferman/Feferman]