.
TARSKI (
1902-1983)
Lógico, matemático y filósofo polaco,
Alfred Tarski nació el 14 de enero de 1902 en la ciudad de
Varsovia, Polonia y murió el 26 de octubre de 1983 en
Berkeley,
California, Estados Unidos.
De origen judío acomodado, adoptó su apellido definitivo al convertirse en 1923 a la religión mayoritaria en Polonia, el catolicismo.
Formó parte de la importante escuela polaca de
lógica y filosofía hasta 1939, en que se estableció en Estados Unidos de América; la emigración le salvó de la suerte de la mayor parte de su familia, que pereció bajo la ocupación nazi de Polonia.
Desde Estados Unidos, donde viviría y enseñaría hasta su muerte, 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 metalenguaje 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.
Junto con
Aristóteles,
Gottlob Frege y
Kurt Goedel,
Tarski es considerado
uno de los lógicos más grandes de todos los tiempos.
Defendió que
la conclusión de un argumento se sigue lógicamente de sus premisas si y solo si cada interpretación de las expresiones no lógicas que hace verdaderas a las premisas hace verdadera a la conclusión.
Por tanto, la explicación de la
consecuencia lógica depende de la teoría semántica de la verdad. 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 negación,
los paréntesis y
la identidad.
En los años 40
Tarski comenzó a desarrollar junto a sus discípulos el
álgebra de relaciones, en la que pueden expresarse tanto la
teoría axiomática de conjuntos como la
aritmética de Peano.
También desarrolló junto a sus discípulos las
álgebras cilíndricas, que
son a la lógica de primer orden lo que el álgebra booleana a la lógica proposicional.
Sus
métodos semánticos transformaron radicalmente la
metamatemática, consolidándola como ciencia estricta.
La idea principal es
reemplazar los símbolos de una cierta teoría por expresiones de otra teoría de forma que los axiomas de la primera se traduzcan en teoremas de la otra.
La
teoría de modelos estudia las propiedades
que se heredan de unas teorías a otras y compara los alcances respectivos de teorías diversas.
Suya es una de las primeras demostraciones del
teorema de deducción, con importantes aplicaciones tanto en
lógica como en
metalógica.