Ideas from 'The Concept of Truth for Formalized Languages' by Alfred Tarski [1933], by Theme Structure
[found in 'Logic, Semantics, Metamathematics' by Tarski,Alfred [Hackett 1956,091514476x]].
Click on the Idea Number for the full details 
back to texts

expand these ideas
3. Truth / A. Truth Problems / 2. Defining Truth
16295

Tarski proved that truth cannot be defined from within a given theory

19069

'True sentence' has no use consistent with logic and ordinary language, so definition seems hopeless

3. Truth / F. Semantic Truth / 1. Tarski's Truth / a. Tarski's truth definition
16302

Tarski did not just aim at a definition; he also offered an adequacy criterion for any truth definition

15339

Tarski gave up on the essence of truth, and asked how truth is used, or how it functions

3. Truth / F. Semantic Truth / 1. Tarski's Truth / b. Satisfaction and truth
18811

Tarski uses sentential functions; truly assigning the objects to variables is what satisfies them

15365

We can define the truth predicate using 'true of' (satisfaction) for variables and some objects

3. Truth / F. Semantic Truth / 2. Semantic Truth
16303

Tarski made truth respectable, by proving that it could be defined

10969

Tarski had a theory of truth, and a theory of theories of truth

16304

Tarski didn't capture the notion of an adequate truth definition, as Convention T won't prove noncontradiction

17746

Tarski's 'truth' is a precise relation between the language and its semantics

10822

A physicalist account must add primitive reference to Tarski's theory

10821

Physicalists should explain reference nonsemantically, rather than getting rid of it

10904

Tarskian truth neglects the atomic sentences

3. Truth / G. Axiomatic Truth / 1. Axiomatic Truth
16306

Tarski defined truth, but an axiomatisation can be extracted from his inductive clauses

15322

Tarski's had the first axiomatic theory of truth that was minimally adequate

5. Theory of Logic / F. Referring in Logic / 1. Naming / c. Names as referential
10823

A name denotes an object if the object satisfies a particular sentential function

5. Theory of Logic / I. Semantics of Logic / 1. Semantics of Logic
18756

Tarski built a compositional semantics for predicate logic, from dependent satisfactions

19313

Tarksi invented the first semantics for predicate logic, using this conception of truth
