Busca avançada
Ano de início
Entree

Combinações de conceitos modais e paraconsistentização de lógicas

Processo: 08/07002-0
Linha de fomento:Bolsas no Brasil - Pós-Doutorado
Vigência (Início): 01 de outubro de 2008
Vigência (Término): 31 de outubro de 2009
Área do conhecimento:Ciências Humanas - Filosofia - Lógica
Pesquisador responsável:Walter Alexandre Carnielli
Beneficiário:Alexandre Fernandes Batista Costa Leite
Instituição-sede: Centro de Lógica, Epistemologia e História da Ciência (CLE). Universidade Estadual de Campinas (UNICAMP). Campinas, SP, Brasil
Assunto(s):Ceticismo

Resumo

Este projeto tem como objetivo o estudo das múltiplas aplicações conceituais dos métodos para combinar lógicas.Ele mostra como combinar lógicas modais aléticas (para modelar o operador de contingência) e lógicas epistêmicas. Tal combinação é feita com a finalidade de enunciar um tipo de ceticismo caracterizado pela defesa do seguinte princípio: proposições contingentes não são conhecidas.O trabalho também investiga conexões entre as noções de conhecimentoe crença. Existe um argumento conhecido e chamado aqui redução conhecimento-crença,o qual mostra que as noções de conhecimento e crença colapsam.Este projeto também propõe a investigação, do ponto de vista da combinaçãode lógicas, de quais são os sistemas formais combinados capazes de evitartal colapso. No final, as combinações de conceitos modais no contexto deambientes contraditórios são desenvolvidas com o uso da ferramenta unificadorachamada paraconsistentização de lógicas. Tal ferramenta é usada com a finalidadede paraconsistentizar algumas lógicas combinadas de tal modo que seja possível obterversões do ceticismo lógico nas quais contradições não são problemáticas,bem como versões paraconsistentes livres do colapso entre conhecimento e crença.Pretende-se também investigar aspectos matemáticos da paraconsistentizaçãode lógicas, assim como sua teoria básica e aplicações.

Mapa da distribuição dos acessos desta página
Para ver o sumário de acessos desta página, clique aqui.