TARSKIDOSTRES

UNIVERSIDAD NACIONAL MAYOR DE SAN MARCOS
DECANA DE AMERICA





ALFRED TARSKI: CONCEPCIÓN SEMÁNTICA DE LA VERDAD

MONOGRAFÍA DE INVESTIGACIÓN PARA EL CURSO DE LÓGICA I

NOMBRE
Lima, 2015


UNIVERSIDAD NACIONAL MAYOR DE SAN MARCOS
DECANA DE AMERICA





ALFRED TARSKI: CONCEPCIÓN SEMÁNTICA DE LA VERDAD

MONOGRAFÍA DE INVESTIGACIÓN PARA EL CURSO DE LÓGICA I

NOMBRE


Lima, 2015INTRODUCCIÓN

Alfred Tarski es considerado uno de los lógicos más grandes de todos los tiempos junto con Aristóteles, Gottlob Frege y Kurt Gödel. Proveniente de Varsovia, Polonia, nació 14 de enero de 1902 y falleció un 26 de octubre de 1983. Fue un lógico, matemático y filósofo polaco.
Tuvo su formación académica en una importante escuela polaca de lógica y filosofía hasta el año de 1939. En el mismo añose estableció en Estados Unidos en donde viviría y enseñaría hasta su muerte en Berkeley. Influyó en toda la investigación lógica posterior a la Segunda Guerra Mundial. Sus aportaciones más importantes fueron teoría de conjuntos, lógica polivalente, niveles de lenguaje y metalenguaje y conceptos semánticos. Escribió Introducción a la lógica y a la metodología de las ciencias deductivas en el añode 1942 y La concepción semántica de la verdad y los fundamentos de la semántica en 1944.
En el ámbito de las matemáticas, Tarski junto a Stefan Banach en el año de 1924, demostró la paradoja de Tarski-Banach, la cual consistía en que una bola (en sentido topológico), puede dividirse en un número finito de piezas y recomponerse en dos bolas con el mismo tamaño que la original. Si bien no se tratabásicamente de una paradoja, es una consecuencia no intuitiva del axioma de elección.
Además de esto, tuvo su intervención en la teoría de los números reales dada por Church y Gödel, afirmando que es decidible, mientras los autores de esta postularon que no lo era. Tarski, además, formuló una versión concisa de la geometría euclidiana del plano describiéndola como decidible. En su obra Teoríasindecidibles, escrita en el año de 1953, demuestra que muchas teorías matemáticas no son decidibles, tales como la teoría de los retículos, la geometría proyectiva abstracta y la teoría de los grupos no conmutativos.
En el año de 1940 publica uno de los manuales de lógica más reconocido, Introducción a la lógica y a la metodología de ciencias deductivas. En este libro se fundamenta bajo dos bases. Laprimera de ellas es la noción de teoría como conjunto de proposiciones cerrado bajo una noción de derivación mediante aplicación de reglas. La segunda, se centra en el desarrollo de una semántica basada en las nociones de satisfacción, verdad y consecuencia lógica.

Lima, 2014.






CONCEPCIÓN SEMÁNTICA DE LA VERDAD

El principal problema para Tarski, es encontrar una definición conveniente altérmino “verdad”. Empezando por abarcar su extensión, el predicado “verdadero” se utiliza para referirse en muchas ocasiones a fenómenos psicológicos como juicios, creencias, además de enunciados lingüísticos y oraciones y en otros momentos para hacer referencia a entidades ideales determinadas “proposiciones”. Por la controversia causada por esta última en filósofos y lógicos, resulta más convenienteaplicar el término “verdadero” a oraciones.
A partir de esto, es necesario entrelazar la noción de verdad, al igual que la de oración, a un mismo lenguaje específico, de esta manera no habría ambigüedad en comparación al uso de los mismos en otro lenguaje.
Dar a conocer el concepto del término “verdad” si bien ha intentado ser definido por distintos filósofos, estos no han logrado disminuir suambigüedad. Es por esto que para el desarrollo de su trabajo, Tarski, se basó en las ideas realistas de Aristóteles desprendidas de su concepción clásica de la verdad, las cuales quedaron plasmadas en su obra Metafísica: “Decir de lo que es que no es, o de lo que no es que es, es falso y decir lo que es que es, o de lo que no es que no es, es verdadero”.
1. Adecuación material
Para poder...