display all the ideas for this combination of texts
3 ideas
15322 | Tarski's had the first axiomatic theory of truth that was minimally adequate [Tarski, by Horsten] |
Full Idea: Tarski's work is the earliest axiomatic theory of truth that meets minimal adequacy conditions. | |
From: report of Alfred Tarski (The Concept of Truth for Formalized Languages [1933]) by Leon Horsten - The Tarskian Turn 01.1 | |
A reaction: This shows a way in which Tarski gave a new direction to the study of truth. Subsequent theories have been 'stronger'. |
16306 | Tarski defined truth, but an axiomatisation can be extracted from his inductive clauses [Tarski, by Halbach] |
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. | |
From: report of Alfred Tarski (The Concept of Truth for Formalized Languages [1933]) by Volker Halbach - Axiomatic Theories of Truth 3 |
16300 | Ockham had an early axiomatic account of truth [William of Ockham, by Halbach] |
Full Idea: Theories structurally very similar to axiomatic compositional theories of truth can be found in Ockham's 'Summa Logicae'. | |
From: report of William of Ockham (Summa totius logicae [1323]) by Volker Halbach - Axiomatic Theories of Truth 3 |