Estudos de lógica abstrata: sobre um artigo inaugural de A. Tarski

Resumo

O projeto que se segue tem como objetivo principal estudar o texto tarskiano On some fundamental concepts of metamathematics. Artigo este no qual o autor faz uma primeira introdução à lógica abstrata (ou universal) - definindo o significado e estabelecendo as propriedades elementares de alguns importantes conceitos pertencentes às ciências dedutivas, a partir da definição de um sistema lógico constituído somente por sentenças e pelo operador de conseqüência. O artigo a ser estudado tem sua importância no fato de ser inaugural e fonte para o posterior desenvolvimento de estruturas lógicas abstratas, uma vez que o estabelecimento de uma "estrutura conceitual" abstrata realizado por Tarski toma possível investigações metodológicas concernentes às disciplinas dedutivas concretas. Portanto, o trabalho delineado no projeto compreenderá um material didaticamente acessível acerca das noções principais e introdutórias de lógica abstrata, o qual é escasso em língua portuguesa. (AU)