Banca de DEFESA: ASSIS WALNER FREIRE DE ALBUQUERQUE

Uma banca de DEFESA de MESTRADO foi cadastrada pelo programa.
DISCENTE: ASSIS WALNER FREIRE DE ALBUQUERQUE
DATA: 28/02/2019
HORA: 15:00
LOCAL: UFPB/CCHLA
TÍTULO: Título: Uma Semântica para a Lógica Minimal Paraconsistente
PALAVRAS-CHAVES: Palavras-chave: Lógica Matemática; Lógicas Paraconsistentes; Semântica Formal.
PÁGINAS: 96
GRANDE ÁREA: Ciências Humanas
ÁREA: Filosofia
SUBÁREA: Lógica
RESUMO: Resumo: Nossa pesquisa apresenta uma semantica para a Logica Minimal Paraconsistente (MPL). A Logica Minimal Paraconsistente, enquanto sub-calculo em uma construcao “natural” da Logica Paraconsistente (C1) de N. C. A. da Costa, tem como ponto de partida a Logica Positiva (PL) proposta por Hilbert e aparece no artigo The Construction of the Calculi Cn of da Costa de Alves e Queiroz (1991). Alves e Queiroz propoem, tendo em vista o dualismo entre IL e C1, ao inves de se adicionar o Principio de Nao-contradicao e se chegar a Logica Minimal Intuicionista e termos uma logica paracompleta, adicionar o Principio do Terceiro Excluido (A˅¬A) e se chegar a outra Logica Minimal, mas de carater paraconsistente, que eles chamam de Logica Minimal Paraconsistente (MPL). A Logica Minimal Paraconsistente (MPL) tem um papel importante em uma construcao natural da Logica Paraconsistente (C1). Todavia, os autores Alves e Queiroz no fim do artigo nao desenvolveram a Logica Minimal Paraconsistente de um ponto de vista semantico, apenas apresentaram seus esquemas de axiomas, mas apontaram o interesse em uma investigacao futura. Vale lembrar que uma semantica de valoracoes para calculos Cn, 1 ≤ n ≤ ω, nao pode ser uma semantica bivalente no sentido classico do termo. Foi necessario, portanto, uma modificacao no conceito de valoracao para se obter uma semantica de valoracoes para o calculo Cn, 1 ≤ n ≤ ω de carater bivalente (ALVES, 1976, p. 53). Nossa dissertacao e, portanto, uma apresentacao da Logica Minimal Paraconsistente (MPL), seu desenvolvimento sintatico e semantico, em paralelo as semanticas de semi-valoracoes de Andrea Loparić e Elias H. Alves, apresentamos uma semantica tambem de semi-valoracoes que satisfaz MPL e a prova de sua correcao, completude e decidibilidade.
MEMBROS DA BANCA:
Presidente - 334109 - ANA LEDA DE ARAUJO
Externo à Instituição - MARCIO KLEOS FREIRE PEREIRA
Externo à Instituição - MATIAS FRANCISCO DIAS