Busca avançada
Ano de início
Entree

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

Processo: 98/02796-5
Linha de fomento:Bolsas no Brasil - Mestrado
Vigência (Início): 01 de maio de 1998
Vigência (Término): 30 de abril de 2000
Área do conhecimento:Ciências Humanas - Filosofia - Lógica
Pesquisador responsável:Edelcio Gonçalves de Souza
Beneficiário:Patrícia Del Nero Velasco
Instituição-sede: Programa de Estudos de Pós-Graduação em Filosofia. Pontifícia Universidade Católica de São Paulo (PUC-SP). São Paulo , SP, Brasil
Assunto(s):Lógica formal

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)

Matéria(s) publicada(s) na Agência FAPESP sobre a bolsa:
Matéria(s) publicada(s) em Outras Mídias (0 total):
Mais itensMenos itens
VEICULO: TITULO (DATA)
VEICULO: TITULO (DATA)