Um estudo da Lógica Modal paraconsistente avançada

• Processo: 09/10239-5
• Modalidade de apoio: Bolsas no Brasil - Doutorado
• Data de Início da vigência: 01 de novembro de 2009
• Data de Término da vigência: 30 de setembro de 2013
• Área de conhecimento: Ciências Humanas - Filosofia - Lógica
• Pesquisador responsável: Marcelo Esteban Coniglio
• Beneficiário: Newton Marques Peron
• 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): Lógica modal Lógica paraconsistente Lógicas não clássicas
• Palavra(s)-Chave do Pesquisador: Lógica Modal | Lógica paraconsistente | Lógicas não-clássicas | lógica modal, lógica paraconsistente

Resumo

Esse projeto visa um estudo de duas vastas famílias de lógicas não-clássicas: lógicas modais e lógicas paraconsistentes. O estudo não será feito com a perspectiva de comparação, mas sim de produção de novos sistemas, operadores e ramos da lógica modal. Este projeto busca um estudo avançado de lógica modal paraconsistente, em particular das LFI's modais, uma classe ampla e expressiva de lógicas paraconsistentes que internalizam as noções de consistência e inconsistência na linguagem-objeto.Tal estudo avançado contempla noções de frames generalizados, álgebra, bissimulação, teoria de modelos, dentre outras. As versões paraconsistentes dessas noções tornam-sepossíveis por meio de, por um lado, álgebrizações não-clássicas de Blok-Pigozzi e, por outro, tendo em vista resultados recentes de completude para LFI's de primeira ordem.Outro ponto englobado por um estudo avançado de lógica modal paraconsistente consiste em analisar resultados de incompletude modal e de extensões de lógicas modais. Sobre esse último aspecto, o projeto se concentra nas denominadas lógicas híbridas, um campo vasto e fértil de umas das possíveis extensões de lógicas modais. (AU)

Publicações científicas

(Referências obtidas automaticamente do Web of Science e do SciELO, por meio da informação sobre o financiamento pela FAPESP e o número do processo correspondente, incluída na publicação pelos autores)

CONIGLIO, MARCELO E.; PERON, NEWTON M.. Modal Extensions of Sub-classical Logics for Recovering Classical Logic. LOGICA UNIVERSALIS, v. 7, n. 1, p. 16-pg., 2013-03-01. (10/51038-0, 09/10239-5)

Publicações acadêmicas

(Referências obtidas automaticamente das Instituições de Ensino e Pesquisa do Estado de São Paulo)

PERON, Newton Marques. (In)completude modal por (N)matrizes finitas. 2014. Tese de Doutorado - Universidade Estadual de Campinas (UNICAMP). Instituto de Filosofia e Ciências Humanas Campinas, SP.