Tarski.jpg

Nacimiento:14 enero 1902en VarsoviaMuerte:26 octubre 1983en Berkeley

No se ha añadido ninguna twiki todavía.

Lógico, matemático y filósofo polaco, nacido en Varsovia. Fue profesor en esta ciudad y luego emigró a los EE.UU., donde fue profesor de matemáticas, primero en Harvard y posteriormente en California (Berkeley), donde murió. Una de sus principales aportaciones a la lingüística y a la lógica ha sido su teoría semántica de la verdad, investigación que comenzó en los años treinta y culminó con la publicación, en 1933, de su trabajo sobre El concepto de verdad en los lenguajes de las ciencias deductivas (ver cita), en la que expone una teoría de la verdad, en palabras suyas, «materialmente adecuada y formalmente correcta».

A esta concepción, situada en la línea del concepto clásico y aristotélico de la verdad como correspondencia entre el pensamiento y los hechos, Tarski la denomina «concepción semántica de la verdad». Según esta teoría la verdad es una propiedad semántica de los enunciados o proposiciones, porque es definible en términos de conceptos semánticos, que, llevado de su fisicalismo, reduce a conceptos lógico-matemáticos. Junto con Abraham Robinson (1918-1974), elaboró la teoría matemática de modelos. Algunos aspectos de su teoría semántica se deben a la influencia de su maestro Lesniewski. Su obra filosófica de mayor importancia es Logic, Semantics, and Metamathematics [Lógica, semántica y metamatemática] (1956).

Bibliografía

Del autor

  • Tarski, A., La concepción semántica de la verdad y los fundamentos de la semántica. Nueva Visión, Buenos Aires, 1972.

Relaciones geográficas

Cargando el mapa…