Da metamatematica aos modelos : uma análise da noção tarskiana de consequência

Abstract

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.

The main objective of this dissertation is to address historical and philosophical issues around the notion of consequence, introduced in two stages by Tarski in 1930 and 1936. Through the author’s own writings on the foundations of mathematics, we seek to analyze how such theories account to two distinct approaches, which were developed in the late nineteenth and early twentieth centuries, called theoretical-deductive and semantic. Thus, when analyzing the Tarskian theories of consequence, we seek to note philosophical issues, mainly related to the guidelines used and the context in which they were developed.