Alfred Tarski: Consequência lógica, noções lógicas, e formas lógicas

O tema da presente dissertação é o problema da demarcação entre os termos lógicos e extra-lógicos no âmbito das linguagens formais, anunciado primeiramente por Tarski em seu artigo de 1936, """"On the Concept of Logical Consequence"""". Depois de expor o problema em questão, mostrando como ele surge a partir da necessidade de se formular um conceito materialmente adequado de conseqüência lógica, analiso a solução formulada pelo lógico polonês em um artigo publicado postumamente, """"What Are Logical Notions?"""" Algumas discussões subsidiárias, igualmente importantes nesta parte do trabalho, dizem respeito aos conceitos de modelo e interpretação que se podem depreender dos artigos supra-citados, e de como a concepção subjacente a estes dois conceitos difere da assim chamada concepção standard em teoria de modelos. A terceira e última parte do trabalho é uma análise do conceito de forma lógica na obra de Tarski, e de como sua concepção acerca deste conceito implica uma noção ampliada do conceito de conseqüência lógica, cuja caracterização correta torna necessária a estratificação das formas lógicas das sentenças numa hierarquia de tipos.