Alfred Tarski

Solomon Feferman y Vann McGee discutieron más a fondo la propuesta de Tarski en un trabajo publicado después de su muerte.

McGee (1996) brinda una descripción precisa de qué operaciones son lógicas en el sentido de la propuesta de Tarski en términos de expresibilidad en un lenguaje que extiende la lógica de primer orden al permitir conjunciones y disyunciones arbitrariamente largas, y la cuantificación sobre muchas variables arbitrarias.

expresando meramente una teoría deflacionaria de la verdad o encarnando la verdad como una propiedad más sustancial (ver Kirkham 1992).

Otra teoría sobre la atracción de la atención de Tarski en la literatura filosófica reciente es la que se describe en "¿Qué son las nociones lógicas?"

Tarski supervisó veinticuatro Ph.D.

"Verdad y prueba" de Tarski de 1969 consideró tanto los teoremas de incompletitud de Gödel como el teorema de indefinibilidad de Tarski, y reflexionó sobre sus consecuencias para el método axiomático en matemáticas.

Tarski dio conferencias en el University College de Londres (1950, 1966), el Institut Henri Poincaré de París (1955), el Miller Institute for Basic Research in Science en Berkeley (1958–60), la Universidad de California en Los Ángeles (1967),

Tarski produjo axiomas de consecuencia lógica y trabajó en sistemas deductivos, el álgebra de la lógica y la teoría de la definibilidad.

En Un método de decisión para el álgebra y la geometría elementales, Tarski demostró, mediante el método de eliminación de cuantificadores, que la teoría de primer orden de los números reales bajo la suma y la multiplicación es decidible.

En la charla, Tarski propuso la demarcación de las operaciones lógicas (a las que llama "nociones") de las no lógicas.

En 1941, Tarski publicó un importante artículo sobre relaciones binarias, que inició el trabajo sobre el álgebra de relaciones y sus metamatemáticas que ocupó a Tarski y sus alumnos durante gran parte del resto de su vida.

Educado en Polonia en la Universidad de Varsovia y miembro de la escuela de lógica de Lwów-Varsovia y de la escuela de matemáticas de Varsovia, emigró a los Estados Unidos en 1939, donde se convirtió en ciudadano naturalizado en 1945. Tarski enseñó y llevó a cabo investigaciones.

Una vez en los Estados Unidos, Tarski ocupó varios puestos temporales de docencia e investigación: la Universidad de Harvard (1939), el City College de Nueva York (1940) y, gracias a una beca Guggenheim, el Instituto de Estudios Avanzados de Princeton (1942),

El artículo de Tarski de 1936 "Sobre el concepto de consecuencia lógica" argumentó que la conclusión de un argumento se seguirá lógicamente de sus premisas si y solo si cada modelo de las premisas es un modelo de la conclusión.

En 1936, Tarski publicó versiones en polaco y alemán de una conferencia que había dado el año anterior en el Congreso Internacional de Filosofía Científica en París.

De alguna manera, la presente propuesta es el anverso de la de Lindenbaum y Tarski (1936), quienes demostraron que todas las operaciones lógicas de los Principia Mathematica de Bertrand Russell y Whitehead son invariantes bajo transformaciones uno a uno del dominio sobre sí mismo.

En 1933, Tarski publicó un artículo muy largo en polaco, titulado "Pojęcie prawdy w językach nauk dedukcyjnych", "Estableciendo una definición matemática de la verdad para los lenguajes formales".

Tarski solicitó una cátedra de filosofía en la Universidad de Lwów, pero por recomendación de Bertrand Russell se le otorgó a Leon Chwistek.

En 1929 demostró que gran parte de la geometría sólida euclidiana podría reformularse como una teoría de segundo orden cuyos individuos son esferas (una noción primitiva), una única relación binaria primitiva "está contenida en" y dos axiomas que, entre otras cosas, implican

El primer artículo de Tarski, publicado cuando tenía 19 años, fue sobre la teoría de conjuntos, un tema al que volvió a lo largo de su vida.

En 1923, Alfred Teitelbaum y su hermano Wacław cambiaron su apellido a "Tarski".

Después de convertirse en la persona más joven en completar un doctorado en la Universidad de Varsovia, Tarski enseñó lógica en el Instituto Pedagógico de Polonia, matemáticas y lógica en la Universidad, y se desempeñó como asistente de Łukasiewicz.

En las décadas de 1920 y 1930, Tarski solía enseñar geometría en la escuela secundaria.

Alfred Tarski nació Alfred Teitelbaum (ortografía polaca: "Tajtelbaum"), de padres que eran judíos polacos en circunstancias cómodas.

Después de que Polonia recuperó la independencia en 1918, la Universidad de Varsovia estuvo bajo el liderazgo de Jan Łukasiewicz, Stanisław Leśniewski y Wacław Sierpiński y rápidamente se convirtió en una institución de investigación líder en el mundo en lógica, matemáticas fundamentales y filosofía de las matemáticas.

Alfred Tarski (/ˈtɑːrski/, nacido Alfred Teitelbaum; 14 de enero de 1901 - 26 de octubre de 1983) fue un lógico y matemático polaco-estadounidense.