polaco
Alfred Tarski fue un lógico, matemático y filósofo polaco conocido por sus contribuciones a la lógica matemática, la semántica y la teoría de modelos. Su trabajo ha tenido un impacto duradero en la filosofía del lenguaje y la lógica formal.
1935·no ficcion
Un tratado fundamental que propone una solución al problema de la verdad y las paradojas semánticas (como la del mentiroso) mediante la distinción entre lenguaje objeto y metalenguaje, estableciendo las bases para la moderna teoría de la verdad en lógica formal.
1944
Este libro presenta el análisis del concepto de verdad en lenguajes formalizados, explorando cómo se puede definir la verdad en términos de la estructura lógica y semántica de estos lenguajes.
1956
Este libro reúne una serie de ensayos sobre lógica matemática, la teoría de modelos y la semántica, explorando conceptos fundamentales y la relación entre la lógica y la verdad en el lenguaje formal.
1974
1983
Aparecen junto a Alfred Tarski en búsquedas del archivo
