Banca de QUALIFICAÇÃO: EVELYN FERNANDES ERICKSON

Uma banca de QUALIFICAÇÃO de MESTRADO foi cadastrada pelo programa.
DISCENTE : EVELYN FERNANDES ERICKSON
DATA : 23/09/2016
HORA: 15:45
LOCAL: AUDITÓRIO D - CCHLA
TÍTULO:

An Investigation of Logical Pluralism and B-entailment

PALAVRAS-CHAVES:

Pluralismo lógico. Lógica multivalorada. B-entailment. Relação de consequência.

PÁGINAS: 65
RESUMO:

Na presente tese, o framework do B-entailment [Blasio, 2016] é examinado em termos de algumas das principais teorias sobre pluralismo lógico. Começando pela forma do pluralismo postulada por Shapiro [Shapiro, 2014], que utiliza uma abordagem eclética à lógica e discute pluralismo em diversos níveis, essa tese examina também  as formas do pluralismo defendida por Beall e Restall [Beall and Restall, 2006], Restall [Restall, 2014] e Hjortland [Hjortland, 2013]. Beall and Restall propõem uma forma de pluralismo baseada na vagueza da noção de consequência lógica, enquanto que Restall explora uma forma de pluralismo através de teoria das demonstações. Hjortland critica ambas essas abordagens presentando a sua própria, em base de certo modo na de Restall. Essa tese apresenta então o B-entailment como uma relação de consequência com quatro posições que consegue simular outras relações de consequência. O B-entailment tem uma semântica não-determinísticas baseada em atitudes cognitivas, do que provêm um amplo poder expressivo. Um método para gerar um cálculo de sequêntes para as lógicas simuladas com o B-entailment é fornecido, e esse framework é examinado sob a luz das formas de pluralismo apresentadas.

MEMBROS DA BANCA:
Interno - 1883189 - BRUNO RAFAELO LOPES VAZ
Interno - 1451225 - DANIEL DURANTE PEREIRA ALVES
Presidente - 1517271 - JOAO MARCOS DE ALMEIDA