Single Idea 14965

[catalogued under 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.