back to ideas for this text


Single Idea 19313

[from 'The Concept of Truth for Formalized Languages' by Alfred Tarski, in 5. Theory of Logic / I. Semantics of Logic / 1. Semantics of Logic ]

Full Idea

Tarski invented a formal semantics for quantified predicate logic, the logic of reasoning about mathematics. The heart of this great accomplishment is his theory of truth. It has been called semantic 'theory' of truth, but Tarski preferred 'conception'.

Gist of Idea

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

Source

report of Alfred Tarski (The Concept of Truth for Formalized Languages [1933]) by Richard L. Kirkham - Theories of Truth: a Critical Introduction 5.1

Book Reference

Kirkham,Richard L.: 'Theories of Truth: a Critical Introduction' [MIT 1995], p.141