TARSKI, ALFRED (Alfred Tajtelbaum) (1901-1983), nac. en Varsovia, ha profesado en el Liceo Zeromski y en la Universidad de Varsovia (1926-1939). Trasladado a Estados Unidos en 1939, ha profesado matemáticas en la Universidad de California (Berkeley) desde 1942 a 1973.

Se deben a Tarski numerosos trabajos en matemáticas -teoría numérica, teoría de los conjuntos, álgebra-, en la fundamentación de la matemática, en lógica, metalógica y semántica. Especialmente importantes, e influyentes, han sido sus investigaciones metamatemáticas y semánticas, o semántico-formales El estudio y axiomatización de sistemas formales han sido desarrollados grandemente partiendo de los extensos trabajos realizados a través de la obra de Alfred Tarski.

Entre lógicos y filósofos Tarski es conocido, y ha influido, por su elaboración de la semántica, sus investigaciones sobre las nociones de modelo, decibilidad, definibilidad y verdad. La exposición de ideas de Tarski en estos respectos se encuentra en varios artículos de la presente obra. Particularmente importante, filosófica y lógicamente, es su concepción semántica de la verdad.