Logical consequence, reasoning and computation - LOGCONS

Resumo

A noção de consequência lógica, na tradição clássica, consiste na relação fundamental entre premissas e conclusão, válida em qualquer aspecto do raciocínio. Dessa forma os fundamentos da noção de consequência lógica podem ser analisados em dois aspectos principais: do ponto de vista das demonstrações (ou provas) e sob o aspecto modelo-teórico. Há, contudo, muitos problemas relativos a ambas as abordagens, que investigamos no presente projeto. O ponto de vista das combinações de lógicas nos permite resolver diversos dos problemas presentes no ‘estado da arte’ das pesquisas em Lógica. Questões análogas às da combinação de semânticas e lógicas não clássicas dão um novo e promissor impulso para a pesquisa sobre novos modelos ele computação, como a computação e informação quântica, busca de algoritmos quânticos e criptografia quântica. O impacto das aplicações práticas de combinações de lógicas nos campos de prova de teoremas, IA, revisão de crenças, probabilidade e possibilidade herdando do projeto anterior (ConsRel 2004\14107-2). será continuado a ser estudado. Isto justifica amplamente o interesse em se partir da perspectiva de combinar noções de consequência lógica para investigar temas de cunho probabilístico, computacionais e filosóficos. (AU)