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 thatEvery proposition of the form 'p → p' is true[...]
Appeared in Analysis, July 2005 Vol. 65 No. 3