DA METAMATEMÁTICA AOS MODELOS: UMA ANÁLISE DA NOÇÃO TARSKIANA DE CONSEQUÊNCIA

O PRINCIPAL OBJETIVO DESTA DISSERTAÇÃO É ABORDAR QUESTÕES HISTÓRICAS E FILOSÓFICAS EM TORNO DA NOÇÃO DE CONSEQUÊNCIA, INTRODUZIDA EM DUAS ETAPAS POR ALFRED TARSKI EM 1930 E 1936. POR MEIO DE ESCRITOS DO PRÓPRIO AUTOR SOBRE OS FUNDAMENTOS DA MATEMÁTICA, PROCURAMOS ANALISAR COMO TAIS TEORIAS SE RELACIONAM COM DUAS ABORDAGENS DISTINTAS, QUE FORAM AMPLAMENTE DESENVOLVIDAS NO FINAL DO SÉCULO XIX E COMEÇO DO XX, DENOMINADAS TEÓRICO-DEDUTIVA E SEMÂNTICA. ASSIM, AO ANALISARMOS AS TEORIAS TARSKIANAS DE CONSEQUÊNCIA, PROCURAMOS ANALISAR QUESTÕES FILOSÓFICAS, PRINCIPALMENTE AQUELAS RELACIONADAS ÀS ESTRATÉGIAS UTILIZADAS E O CONTEXTO EM QUE FORAM DESENVOLVIDAS.