Las matemticas son un lugar donde

puedes hacer cosas que no puedes

hacer en el mundo real.
Marcus du Sautoy

Electiva III
 LA VERDAD TIPO TARSKI

Lizzeth Paola Ibañez. R Cod 201511288

Luis Alejandro Cifuentes E. Cod 201410596
Luis Andres Leyton.G Cod 201320713
Universidad Pedagógica y Tecnológica de Colombia(Uptc)
Escuela de Matemáticas y Estadı́stica
Curso de Electiva III

La Verdad Tipo Tarski | Electiva III

2/11
Contenido

Introducción

¿ Quién fue Alfred Tarski

Verdad Tarski

Referencias

La Verdad Tipo Tarski | Electiva III

3/11
En las primeras décadas del siglo veinte, Ludwig Wittgenstein
dejó claro, que todos los problemas de la filosofı́a, eran proble-
mas del lenguaje.
Para acabar con el mal que asolaba a la pobre filosofı́a, un gru-
po de valientes se propuso la tarea de rescatar a la pobre filo-
sofı́a de las garras de la ambigüedad, las fauces de la indetermi-
nación y del embrujo de las perversas paradojas. Este grupo de
valientes fue conocido como ”Los neopositivistas”. Alfred Tarski
perteneció a este audaz grupo.

La Verdad Tipo Tarski | Electiva III

4/11
Alfred Tarski ( 1902- 1983)

Nació el 14 de enero de 1902 en la ciudad de Varsovia, Polonia,

y murió el 26 de octubre de 1983 en Berkeley, Estados Unidos.
Formó parte de la importante escuela polaca de lógica y filo-
sofı́a hasta 1939.Influyó en toda la investigación lógica posterior
a la Segunda Guerra Mundial. Hizo aportaciones destacadas en
teorı́a de conjuntos, lógica polivalente, niveles de lenguaje y me-
talenguaje y conceptos semánticos.
Fue el autor de Introducción a la lógica y a la metodologı́a de las
ciencias deductivas en el año 1941 y La concepción semántica
de la verdad y los fundamentos de la semántica en 1944.

La Verdad Tipo Tarski | Electiva III

5/11
Junto con Aristóteles, Gottlob Frege y Kurt Gödel, Tarski es con-
siderado uno de los lógicos más grandes de todos los tiempos.
De los cuatro, Tarski es uno de los mejores matemáticos, el más
prolı́fico y el que desarrollo una actividad educativa más intensa.

La Verdad Tipo Tarski | Electiva III

6/11
Tarski contribuyó a la madurez de la lógica estándar de primer
orden fundando una metodologı́a conjuntista de las teorı́as de-
ductivas sobre dos bases.
1. la noción de teorı́a como conjunto de proposiciones
cerrado bajo una noción de derivación mediante aplicación
de reglas.
2. El desarrollo de una semántica basada en las nociones de
satisfacción, verdad y consecuencia lógica
Para que la definición se aplique a todos los casos basta con
admitir como constantes lógicas, según Tarski, las siguientes:
el cuantificador universal de primer orden, el condicional, la ne-
gación, los paréntesis y la identidad. Aun ası́, se considera que
Tarski no dio ningún criterio suficiente para distinguir las cons-
tantes lógicas de las no lógicas.

La Verdad Tipo Tarski | Electiva III

7/11
¿Qué es una verdad Tarski?

D EFINICI ÓN
La definición de “verdadero”de Tarski toma como concepto no
definido el de “satisfacción”; dado que “satisfacción” es un
concepto semántico, la completa corrección formal exige una
teorı́a semántica más amplia.
La verdad tipo Tarski se puede definir que la verdad es relativa
a un modelo M a una valuación v.

La Verdad Tipo Tarski | Electiva III

8/11
Las ma,tematicas 2x + 1
D EFINICI ÓN
Los conjuntos son de varios tipos

La Verdad Tipo Tarski | Electiva III

9/11
Por lo anterior la verdad no puede definirse en un mismo len-
guaje en que los enunciados están propuestos.
Los trabajos de Tarski de fundamentan en los teorema de in-
completitud de Gödel. Los teoremas de incompletitud de Gödel
establecen ciertas limitaciones sobre lo que es posible demos-
trar mediante un razonamiento matemático. Cualquier teorı́a aritméti-
ca recursiva que sea consistente es incompleta
En toda teorı́a aritmética recursiva consistente T, la fórmula Con-
sistente T no es un teorema.

La Verdad Tipo Tarski | Electiva III

10/11
Referencias

G ERSHENSON ,C ARLOS .(Marzo 2000),The Semantic

Conception of Truth Alfred Tarski, 1943
turing.iimas.unam.mx/~cgg/jlagunez/filosofia/
Tarski-SemanticConceptionOfTruth.htm
W IKIPEDIA (4
R ene 2018) Alfred Tarski
https://es.wikipedia.org/wiki/Alfred_Tarski

La Verdad Tipo Tarski | Electiva III

11/11