O método de Tableaux aplicado à lógica da relevância

• Processo: 16/07446-2
• Modalidade de apoio: Bolsas no Brasil - Iniciação Científica
• Data de Início da vigência: 01 de maio de 2016
• Data de Término da vigência: 30 de abril de 2017
• Área de conhecimento: Ciências Exatas e da Terra - Matemática
• Pesquisador responsável: Luiz Henrique da Cruz Silvestrini
• Beneficiário: Luis Felipe Salvador Boato
• Instituição Sede: Faculdade de Ciências (FC). Universidade Estadual Paulista (UNESP). Campus de Bauru. Bauru , SP, Brasil
• Assunto(s): Método dos Tableaux Lógica paraconsistente Lógicas não clássicas Lógica matemática
• Palavra(s)-Chave do Pesquisador: Linguagens formais - semântica | Lógica matemática não-clássica | Lógica paraconsistente | Método de tableaux analíticos | Lógicas não-clássicas

Resumo

A utilização de métodos dedutivos alternativos ao axiomático tem sido de grande interesse para a Teoria da Prova e para a Teoria da Computação, sendo esta última caracterizada, por exemplo, pela busca por métodos mais adequados para implementações em computadores. Dentre tais métodos, destacamos o método de tableaux analíticos introduzidos por Smullyan em 1968. Os sistemas lógicos em tableaux têm sido bastante explorados na literatura, sobretudo para as lógicas paraconsistentes, em que o princípio de explosão não é válido. Tais lógicas vêm sendo amplamente estudadas, principalmente para resolver questões computacionais, por exemplo, em bancos de dados, em que podemos ter, ao mesmo tempo, uma informação e sua negação. Em 1975, Anderson e Belnap introduziram a Lógica da Relevância, inspirados pela avaliação de sentenças condicionais onde o antecedente precisa ser relevante para o consequente, com o objetivo de evitar os desconfortos intuitivos gerados pela Lógica Clássica como a expressão "Se a Lua é de queijo, então as serpentes voam", que admite uma valoração verdadeira, mesmo que a Lua seja irrelevante para o fato das serpentes voarem. Nesse sentido, neste projeto de iniciação científica, propomos comparar o método axiomático com o método de tableaux analíticos e desenvolver uma lógica paraconsistente, a saber, a Lógica da Relevância, em um sistema de tableaux analíticos. (AU)