¡Mentirosos por todos lados!
Es bien sabido que cualquier predicado P que pretenda ser co-extensivo con el de verdad – llamémoslos, predicados “hiperfactivos ” – es suceptible a generar un enunciado paradójico del tipo del mentiroso. Por ejemplo, los que sostienen que todas las verdades tienen un hacedor de verdad se enfrentan con el problema de dar cuenta del enunciado: L1: Nada hace verdadera a esta proposición Si L1 es verdadero, habría por lo menos una verdad que nada hace verdadero, contra del principio de que todas las verdades tienen un hacedor de verdad; por el contrario, si es falsa, entonces habría algo que la haría verdadero, por lo que sería verdadera, no falsa. González-Pereira ha argumentado que, por lo tanto, L1 no puede expresar ninguna proposición genuina, lo cual me parece una salida bastante ad-hoc. Lo mismo sucede con un confiabilismo que sostuviera que un mecanismo confiable produce mas verdades que falsedades, o algún principio veritista similar. En este caso, basta postular u...