Banca de DEFESA: EMERSON WENDLINGGER DANTAS SALES
Uma banca de DEFESA de MESTRADO foi cadastrada pelo programa.
DISCENTE : EMERSON WENDLINGGER DANTAS SALES
DATA : 27/10/2020
HORA: 15:00
LOCAL: ambiente virtual
TÍTULO:
Modalidades em Sistemas Ecumênicos
PALAVRAS-CHAVES:
lógica modal, lógica ecumênica, lógica intuicionista.
PÁGINAS: 100
RESUMO:
A discussão sobre como reunir os sistemas de Gentzen para lógica clássica e intuicionista em um único sistema unificado está de volta à tona. Recentemente, Prawitz e outros têm discutido os chamados Sistemas Ecumênicos, onde conectivos dessas lógicas podem coexistir em paz. No sistema de Prawitz, o lógico clássico e o lógico intuicionista compartilhariam o quantificador universal, conjunção, negação e a constante para o absurdo, mas cada um teria seu próprio quantificador existencial, disjunção e implicação, com significados diferentes. A ideia principal de Prawitz é que esses diferentes significados são dados por uma estrutura semântica que pode ser aceita por ambas as partes. Em um trabalho recente, um cálculo sequencial ecumênico e um sistema aninhado foram apresentados, e algumas propriedades de teoria da prova muito interessantes dos sistemas foram estabelecidas. Neste trabalho, a noção de verdade na Lógica Ecumênica de Prawitz será estendida, de forma a definir modalidades aléticas ecumênicas.
MEMBROS DA BANCA:
Presidente - 1143603 - ELAINE GOUVEA PIMENTEL
Interno - 1549905 - FAGNER LEMOS DE SANTANA
Externo ao Programa - 2114893 - CARLOS ALBERTO OLARTE VEGA
Externa à Instituição - SONIA MARIN - UCL
Externo à Instituição - LUIZ CARLOS DIAS PINHEIRO PEREIRA - PUC - RJ