SciELO - Scientific Electronic Library Online

vol.31 issue1Hacia una lógica temporal-epistémica basada en lenguajes híbridos author indexsubject indexarticles search
Home Pagealphabetic serial listing  

Services on Demand




  • Have no cited articlesCited by SciELO

Related links

  • Have no similar articlesSimilars in SciELO


Análisis filosófico

On-line version 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.

Keywords : Truth; Omega-Inconsistency; Non-Standard Models.

        · abstract in Spanish     · text in Spanish     · Spanish ( pdf )


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