Palavras-chave
Filosofia da linguagem
Como Citar
Resumo
En este trabajo expondremos algunas de las dificultades que presenta una teoría de la verdad desde la estructura del lenguaje propuesto por la interpretación ortodoxa de A. Tarski y la divergente de S. Kripke. Presentaremos los elementos básicos en los que se asienta el predicado “verdadero". Seguidamente, expondremos las divergencias elementales entre el término "demostración" y la expresión "verdadero” mediante una serie de datos que fueron elaborados en 1931 por K. Gödel. Posteriormente, revisaremos la propuesta divergente con el fin de investigar las condiciones en las que se asienta y, por último, finalizaremos este trabajo presentando unas determinadas conclusion riebergennes.
Referências
Carnap, R. (1934). Logische Syntax der Sprache. (Viena, Julius Springer).
Church, A. (1956). Introduction to Mathematical Logic. Vol. I. (Princenton N.J., Princeton University Press).
Dawson, J.W. (1985). Completing the Gödel-Zermelo Correspondence, Historia Mathematica, 12, 66-70.
Gödel, K. (1930). Einige metamathematische Resultate über Entscheidungsdefinitheit und Widerspruchsfreiheit, Anzeider Akademie der Wissenschaften in Wien, mathematisch-naturwissenschaftliche Klasse, 67, 214-215. (Trad. cast.: Gödel 1981, 42-43).
Gödel, K. (1930a). Die Vollständigkeit der Axiome des logischen Funktionskalküls. Monatshefte für Mathematik und Physik, 37, 349-360. (Trad. cast.: Gödel 1981, 20-34).
Gödel, K. (1931). Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I. Monatshefte für Mathematik und Physik, 38, 173-198. (Trad. cast.: Sobre proposiciones formalmente indecidibles de los Principia Mathematica y sistemas afines. Cuadernos Teorema, Valencia, 1980, y GÖDEL 1981, 55-89).
Gödel, K. (1981). Obras completas. (Intro. y trad. de J. Mosterín). (Madrid, Alianza Ed.)
Gödel, K. (1986). Kurt Gödel. Collected Works. Vol. I/II. (Oxford, Oxford University Press.
Grattan-Guinness, I. (1979). In Memoriam Kurt Gödel: His 1931 Correspondence with Zermelo on his Incompletability Theorem. Historia Mathematica, 6, 294-304.
Hermes, H. (1971). Aufzählbarkeit, Enstscheidbarkeit, Berechenbarkeit. (Berlin, Springer). (Trad. cast. Introducción a la teoría de la computabilidad. Madrid, Tecnos, 1984).
Kleene, S.C. (1971). Introduction to Metamathematics. (Amsterdam/New York, North-Holland). (Trad. cast. Introducción a la metamatemática. Madrid, Ed. Tecnos, 1974)
Kripke, S. (1975). Outline of a Theory of Truth, Journal of Philosophy, 72, 690-716. (Trad. cast.: Esbozo de una teoría de la verdad. Cuadernos de Crítica, 36, México, UNAM,1984).
Kripke, S. (1976). Is there a Problem abouth Substitutional Quantification?, en: G. Evans & J. McDowell (Eds.) Truth and Meaning: Essays in Semantics. (Oxford, Oxford University Press), 325-419.
Lukasiewicz, J. & Tarski, A. (1930). Untersuchungen über den Aussagenkalkül. Sprawozdania z posiedze'n Towarzystwa Naukowego Warszawskiego, Wydzial III, 23, 30-50.
Mcgee, V. (1991). Truth, Vagueness and Paradox: An Essay on the Logic of Truth. (Indianapolis, Hackett).
Padilla Gálvez, J. (1991). Niveles de lenguaje, autorreferencia y las paradojas. Contextos, 17-18, 121-148.
Padilla Gálvez, J. (1992). La concepción semántica de la verdad, la paradoja del mentiroso y los sistemas autorreferenciales. Lenguajes naturales y Lenguajes Formales. VII. Barcelona. 197-208.
Padilla Gálvez, J. (1993). Estudio crítico de McGee (1991) y Sommarugai Rosolemos (1991). Crítica, XXV, n. 73, 83-108.
Sommaruga-Rosolemos, G. (1991). Fixed Point Constructions in Various Theories of Mathematical Logic. (Nápoles, Bibliopolis).
Stegmüller, W. (1973). Unvollständigkeit und Unentscheidbarkeit. Die metamathematischen Resultate von Gödel, Church, Kleene, Rosser und ihre erkenntnistheoretische Be-deutung. (Berlin, Springer).
Tarski, A. (1930). Über einige fundamentale Begriffe der Metamathematik, C.R. Soc. Sciences Varsovie, Cl. III, 23, 22-29.
Tarski, A. (1935). Der Wahrheitsbegriff in den formalisierten Sprachen, Studia Philosophica, 1, 261-405.
Weingartner, P. (1993). Das Problem der Sprache in der Philosophie. en: P. Weingartner, Die Sprache in den Wissenschaften. (Freiburg, München), 221-276.
Whitehead, A.N. & Russell, B. (1910-13) Principia Mathematica. (Cambridge, Cambridge University Press).
Este trabalho está licenciado sob uma licença Creative Commons Attribution 4.0 International License.
Copyright (c) 1994 Manuscrito: Revista Internacional de Filosofia
Downloads
