Teorías de la verdad para lenguajes autorreferentesuna solución parcial al problema del punto fijo

  1. Martínez Fernández, José Javier
Supervised by:
  1. R. Beneyto Director

Defence university: Universitat de València

Fecha de defensa: 21 December 1999

Committee:
  1. Ángel López García Chair
  2. Enric Casaban Moya Secretary
  3. Jesús María Larrazabal Antía Committee member
  4. José Pedro Úbeda Rives Committee member
  5. José Miguel Sagüillo Fernández-Vega Committee member

Type: Thesis

Teseo: 77759 DIALNET

Abstract

El trabajo es una contribución al proyecto del diseño y la justificación de teorías de la verdad para lenguajes autorreferentes formalizados, Estas teorías se enfrentan al surgimiento de oraciones paradójicas, como la oración del mentiroso, porvocadas por la capacidad de autorreferencia del lenguaje. De entre las diversas teorías propuests, el trabajo se centra en aquellas que utilizan teoremas de punto fijo para construir la interpretación del predicado verdad. Se expone la teoría de la verdad de Kripke y la de Priest, por ser las fundamentales entre las soluciones a las paradojas que proponen considerarlas como oraciones carentes de valor de verdad (Kripke) y como oraciones simultáneamente verdaderas y falsas (Priest). El resultado principal es la solución de varios casos del problema del punto fijo. Este problema, planteado por A. Gupta y N. Belnap en su libro "The Revisión Theory of Truth" (MIT, 1993), es reformulado para el caso proposicional mediante la lógica de estipulaciones de A. Visser. Se resuelve el caso de los esquemas de primer orden bivalentes y el caso de los esquemas proposicionales trivalentes. Los teoremas obtenidos exitenden el ámbito de aplicación de los teoremas de punto fijo usuales a esquemas en los que aparecen operadores no monótonos. Por último, se resuelve también el problema del punto fijo para esquemas cuyos operadores son monádicos sobre un conjunto finito de valores de verdad.