Tesis doctoral de Jose Martínez Fernández
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.
Datos académicos de la tesis doctoral «Teorías de la verdad para lenguajes autorreferentes: una solución parcial al problema del punto fijo«
- Título de la tesis: Teorías de la verdad para lenguajes autorreferentes: una solución parcial al problema del punto fijo
- Autor: Jose Martínez Fernández
- Universidad: Universitat de valéncia (estudi general)
- Fecha de lectura de la tesis: 21/12/1999
Dirección y tribunal
- Director de la tesis
- Rafael Beneyto Torres
- Tribunal
- Presidente del tribunal: ángel López García
- Ubeda ribes José pedro (vocal)
- Larrazabal antia Jesús María (vocal)
- José Miguel Sangí¼illo fernandez-vega (vocal)