Alfredo Tarski

Alfred Tarski ( Varsovia , 14 de enero de 1902 - Berkeley , 26 de octubre de 1983 ) fue un matemático , lógico y filósofo polaco que se trasladó a Estados Unidos , donde acabó obteniendo la ciudadanía. Por sus resultados se sitúa entre los más grandes lógicos de la historia, junto a Aristóteles , Gottlob Frege y Kurt Gödel . En particular, se le considera el solucionador de la paradoja del mentiroso .

Biografía

Nació en la familia judía Teitelbaum y recibió una excelente educación en Szkoła Mazowiecka; aquí comienza a mostrar sus habilidades matemáticas y también aprende los idiomas ruso, alemán, francés, griego antiguo y latín.

Mientras tanto, en 1915 los ejércitos alemán y austrohúngaro habían expulsado al ejército zarista del llamado Congreso Polonia ocupado por los rusos desde 1772. Esto permite la reapertura de la Universidad de Varsovia que se convierte rápidamente en un importante centro de matemáticas, en particular gracias a Jan Łukasiewicz , Stefan Mazurkiewicz , Stanisław Leśniewski y Wacław Sierpiński . Alfred Teitelbaum, egresado de la escuela secundaria, tras un breve servicio militar en el ejército polaco, en 1918 se matriculó en la Universidad de Varsovia con la intención de estudiar biología. Sin embargo, toma un curso de lógica impartido por Leśniewski y este último lo convence de dedicarse a las matemáticas; en los últimos años, por lo tanto, tiene la oportunidad de frecuentar matemáticos como Leśniewski, Łukasiewicz, Mazurkiewicz y Sierpiński; también estudió filosofía con Tadeusz Kotarbiński . En 1923 , en el clima de acalorado nacionalismo que se había creado en Polonia, se convirtió al catolicismo y cambió su apellido, con el que había firmado las primeras publicaciones de 1921. En el mismo año presentó su tesis doctoral sobre la teoría de conjuntos. , preparado bajo la supervisión de Leśniewski. También publica con Stefan Banach un texto que contiene lo que ahora se llama la paradoja de Banach-Tarski .

En los años de 1922 a 1925 , Tarski enseñó en el Instituto Pedagógico de Varsovia, antes de ser nombrado profesor de Matemáticas y Lógica en la Universidad de Varsovia y luego convertirse en asistente de Jan Łukasiewicz . Al no haber podido asegurar un puesto universitario de tiempo completo, también enseña matemáticas en las escuelas secundarias al mismo tiempo. En junio de 1929 se casó con Maria Witkowska.

En 1930 viajó a Viena donde se puso en contacto con los miembros del Círculo de Viena ; en esta ciudad estará unos meses más en 1935 . En este período publica la que muchos consideran su obra más importante, Pojęcie prawdy w językach nauk dedukcyjnych ( Concepto de verdad en el lenguaje de las ciencias deductivas , Prace Towarzystwa Naukowego Warszawskiego, Wydzial III Nauk Matematyczno-Fizycznych 34, Varsovia).

Como muchos de los profesores de la Universidad de Varsovia, forma parte de la denominada Escuela Lviv-Varsovia . Después de intentar en vano conseguir un puesto como profesor en la Universidad de Lviv , Tarski en 1939 , siguiendo una invitación apoyada por Willard Van Orman Quine , enseña en la Universidad de Harvard y decide vivir en los Estados Unidos . Sus familiares más cercanos se unen a él, también gracias a la ayuda de varios de sus amigos europeos; varios otros familiares suyos murieron bajo la ocupación nazi. Después de enseñar en varias universidades, en 1942 Tarski obtuvo un puesto permanente en la Universidad de California (Berkeley) . En 1945 obtuvo la ciudadanía estadounidense. Sin embargo, todavía tiene la oportunidad de viajar: en 1950 impartió cursos en el University College of London y en 1955 impartió clases en el Institut Henri Poincaré de París .

Bibliografía

Alfred Tarski, El concepto de verdad en lenguajes formalizados , Vida y pensamiento, 1963
Alfred Tarski, Introducción a la lógica , Bompiani, 1978, ISBN 8845200027

John Etchemendy (1999): El concepto de consecuencia lógica , Stanford: Publicaciones CSLI. ISBN 1-57586-194-1
Solomon Feferman (1999): Lógica, Lógica y Logicismo , Notre Dame Journal of Formal Logic , 40 págs. 31–54 - Accesible aquí
Anita Feferman, Solomon Feferman (2004): Alfred Tarski: Vida y lógica , Cambridge University Press, ISBN 0-521-80240-7
Steven Givant (1986): Bibliografía de Alfred Tarski , Journal of Symbolic Logic, 51 págs. 913–941
Steven Givant (1991): Un retrato de Alfred Tarski , Mathematical Intelligencer, 13 págs. 16–32
Ivor Grattan-Guinness (2000): La búsqueda de raíces matemáticas 1870-1940 , Princeton University Press
Richard Kirkham (1992): Teorías de la verdad , MIT Press
Adolf Lindenbaum, Alfred Tarski (1936): Sobre las limitaciones de las teorías deductivas , en Tarski (1983) pp. 384–92
FI Mautner (1946): Una extensión del programa Erlanger de Klein: la lógica como teoría invariable , American Journal of Mathematics, 68 págs. 345–384
Van McGee (1996): Operaciones lógicas , Journal of Philosophical Logic, 25 págs. 567-580
Alfred Tarski (1944): El concepto semántico de la verdad y los fundamentos de la semántica , la filosofía y la investigación fenomenológica 4 - accesible aquí
Alfred Tarski (1983) (1956): Logic, Semantics, Metamathematics , J. Corcoran ed., Hackett, primera edición editada y traducida por JH Woodger, Oxford University Press.
Alfred Tarski (1986): ¿Qué son las nociones lógicas? , Corcoran, J. ed., Historia y filosofía de la lógica, 7 págs. 143–154
Alfred Tarski (2002): Sobre el concepto de seguir lógicamente , traducción de Magda Stroińska y David Hitchcock History and Philosophy of Logic 23 : 155-196.
Alfred Tarski, Steven Givant (1987): Una formalización de la teoría de conjuntos sin variables , American Mathematical Society
Robert Lawson Vaught (1986): Trabajo de Alfred Tarski en teoría de modelos , Journal of Symbolic Logic, 51 págs. 869–882