Banca de QUALIFICAÇÃO: EMERSON WENDLINGGER DANTAS SALES

Uma banca de QUALIFICAÇÃO de MESTRADO foi cadastrada pelo programa.
DISCENTE : EMERSON WENDLINGGER DANTAS SALES
DATA : 29/09/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: 79
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:
Externo ao Programa - 2114893 - CARLOS ALBERTO OLARTE VEGA
Presidente - 1143603 - ELAINE GOUVEA PIMENTEL
Interno - 1549905 - FAGNER LEMOS DE SANTANA