more from Alfred Tarski

Single Idea 16306

[catalogued under 3. Truth / G. Axiomatic Truth / 1. Axiomatic Truth]

Full Idea

Tarski preferred a definition of truth, but from that an axiomatisation can be extracted. His induction clauses can be turned into axioms. Hence he opened the way to axiomatic theories of truth.

Gist of Idea

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

Source

report of Alfred Tarski (The Concept of Truth for Formalized Languages [1933]) by Volker Halbach - Axiomatic Theories of Truth 3

Book Reference

Halbach,Volker: 'Axiomatic Theories of Truth' [CUP 2011], p.23