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 |
23296 | We can elucidate indefinable truth, but showing its relation to other concepts [Davidson] |
Full Idea: We can still say revealing things about truth, by relating it to other concepts like belief, desire, cause and action. | |
From: Donald Davidson (The Folly of Trying to Define Truth [1999], p.21) | |
A reaction: The trickiest concept to link it to is meaning. I think Davidson's view points to the Axiomatic account of truth, which flourished soon after Davidson wrote this. We can give rules for the correct use of 'true'. |