Combining Texts

Ideas for 'Natural Goodness', 'The Folly of Trying to Define Truth' and 'The Concept of Truth for Formalized Languages'

unexpand these ideas     |    start again     |     choose another area for these texts

display all the ideas for this combination of texts


3 ideas

3. Truth / G. Axiomatic Truth / 1. Axiomatic Truth
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'.
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
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'.