Tarski

Category: Termos chaves da Filosofia
Submitter: Murilo Cardoso de Castro

Tarski

Tarski, Alfred (1901-1983) Matemático e lógico de origem polonesa (nascido em Varsóvia); professor na Universidade de Varsóvia de 1926 a 1939, radicou-se depois nos Estados Unidos onde foi professor na Universidade da Califórnia, em Berkeley (1942). Tarski notabilizou-se por sua contribuição a questões de fundamentos da matemática e de lógica, sendo particularmente importantes seus trabalhos em semântica formal e sua formulação do conceito de verdade para as linguagens formais. Obras principais: O conceito de verdade nas linguagens formais (1935), Introdução à lógica matemática (1936), Lógica, semântica e metamatemática (1956). [Japiassu]

Submitted on:  Thu, 19-Nov-2009, 18:34