back to ideas for this text


Single Idea 14965

[from 'Truth' by Anil Gupta, in 3. Truth / F. Semantic Truth / 1. Tarski's Truth / a. Tarski's truth definition ]

Full Idea

The basic principles governing truth are Truth Elimination (sentence A follows from ''A' is true') and the converse Truth Introduction (''A' is true' follows from A), which combine into Tarski's T-schema - 'A' is true if and only if A.

Gist of Idea

Truth rests on Elimination ('A' is true → A) and Introduction (A → 'A' is true)

Source

Anil Gupta (Truth [2001], 5.1)

Book Reference

'Blackwell Guide to Philosophical Logic', ed/tr. Goble,Lou [Blackwell 2001], p.91


A Reaction

Introduction and Elimination rules are the basic components of natural deduction systems, so 'true' now works in the same way as 'and', 'or' etc. This is the logician's route into truth.