An Investigation of Logical Pluralism and B-entailment
Pluralismo lógico. Lógica multivalorada. B-entailment. Relação de consequência.
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.