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