SciELO - Scientific Electronic Library Online

vol.31 número1Hacia una lógica temporal-epistémica basada en lenguajes híbridos índice de autoresíndice de materiabúsqueda de artículos
Home Pagelista alfabética de revistas  

Servicios Personalizados



  • No hay articulos citadosCitado por SciELO

Links relacionados

  • No hay articulos similaresSimilares en SciELO


Análisis filosófico

versión On-line ISSN 1851-9636


BARRIO, Eduardo Alejandro. Teorías de la verdad sin modelos estándar: Un nuevo argumento para adoptar jerarquías. Anal. filos. [online]. 2011, vol.31, n.1, pp. 7-32. ISSN 1851-9636.

In this paper, I have two different purposes. Firstly, I want to show that it's not a good idea to have a theory of truth that is consistent but omega-inconsistent. In order to bring out this point, it is useful to consider a particular case: FS (Friedman-Sheard). I argue that in First-order languages omega-inconsistency implies that a theory of truth has not standard model. Then, there is no model whose domain is the set of natural numbers in which this theory of truth could acquire a consistent interpretation. So, in theories of truth without standard models, the introduction of the truth-predicate to a first order theory does not maintain the standard ontology. I add that in Higher-order languages the situation is even worst. In second order theories with standard semantic the same introduction produces a theory that doesn't have a model. So, if an omega-inconsistent theory of truth is bad, an unsatisfiable theory is really bad. Secondly, I propose to give up the union principle of theories FSn and accept an indefinite extensibility of theories FS0, FS1, FS2, FS3, ... According to my view, the sequence of theories has the same virtues of FS without its disgusting consequences.

Palabras clave : Truth; Omega-Inconsistency; Non-Standard Models.

        · resumen en Español     · texto en Español     · Español ( pdf )


Creative Commons License All the contents of this journal, except where otherwise noted, is licensed under a Creative Commons Attribution License