Livro: "Estudo Biográfico: Alfred Tarski"

Alfred Tarski (1901-1983) descreveu-se como “um matemático (bem como um lógico, e talvez um filósofo de uma espécie)” (1944, p. 369). É amplamente considerado como um dos maiores lógicos do século XX (muitas vezes considerado apenas como segundo apenas para Gödel), e, portanto, como um dos maiores lógicos de todos os tempos. Entre os filósofos é especialmente conhecido pelas suas caracterizações matemáticas dos conceitos de verdade e consequências lógicas para frases de línguas formalizadas clássicas, e em menor grau pela sua caracterização matemática do conceito de constante lógica para expressões dessas mesmas línguas. Entre os lógicos e matemáticos é ainda famoso pelo seu trabalho sobre a teoria do set, a teoria modelo e a álgebra, que inclui resultados e desenvolvimentos como o paradoxo de Banach-Tarski, o teorema sobre a indefinibilidade da verdade (ver secção 2 abaixo), a completude e a decisão da álgebra elementar e geometria, e as noções de cardeal, ordinal, relação e algebras cilíndricas. Após um esboço biográfico, esta entrada oferece uma exposição condensada das partes da obra de Tarski que são mais relevantes para a filosofia, suas teorias da verdade, consequências lógicas e constantes lógicas. Nesta exposição, tentámos manter-nos o mais próximo possível das apresentações originais de Tarski, reduzindo ao mínimo o número de alegações que podem ser controversas filosoficamente ou exegeticamente. A secção final sobre a leitura posterior refere o leitor a outras entradas e trabalha em aspetos críticos e exegeticos do trabalho de Tarski não abordados nesta entrada.