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 assuntospesquisa de artigos
Home Pagelista alfabética de periódicos  

Serviços Personalizados




  • Não possue artigos citadosCitado por SciELO

Links relacionados

  • Não possue artigos similaresSimilares em SciELO


Análisis filosófico

versão 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.

Palavras-chave : Truth; Omega-Inconsistency; Non-Standard Models.

        · resumo em Espanhol     · texto em Espanhol     · Espanhol ( pdf )


Creative Commons License Todo o conteúdo deste periódico, exceto onde está identificado, está licenciado sob uma Licença Creative Commons