Semânticas não-determinísticas para as lógicas da inconsistência formal
Sobre traduções entre lógicas: Relações entre traduções conservativas e traduções ...
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: | |
TITULO | |
Matéria(s) publicada(s) em Outras Mídias (0 total): | |
Mais itensMenos itens | |
VEICULO: TITULO (DATA) | |
VEICULO: TITULO (DATA) | |