On Horwich' Way out

By Panu Raatikainen

Horwhich proposes that all there really is to truth follows from the equivalence schema:

The proposition that p is true iff p,

or using Horwich' notation‹p› is true ↔ p.
Horwich claims that all facts involving truth can be explained on the basis of the minimal theory.
However, it has been pointed out, e.g. by Gupta (1993), that the minimal theory is too weak to entail any general fact about truth, e.g. the fact that

Every proposition of the form 'p → p' is true[...]

Appeared in Analysis, July 2005 Vol. 65 No. 3

Posted by Tony Marmo at 18:28 BST

Updated: Monday, 22 August 2005 18:32 BST

Share This Post

Post Comment | Permalink