Uma Investigação acerca do Pluralismo Lógico e B-entailment
Pluralismo lógico. Lógica multivalorada. B-entailment. Relação de consequência.
O pluralismo lógico vem recentemente chamando atenção, com vários autores opinando sobre o assunto. O pluralismo lógico é a posição que diz que há mais de uma lógica correta ou legítma, o que pode ser articulado de diferentes maneiras. A presente dissertação participa nesse debate explorando o B-entailment no contexto de variedades do pluralismo presentes na literatura. O B-entailment é uma noção de consequência lógica que é capaz de expressar outras relações, como as lógicas multi-dimensionais. Em particular, esse estudo examina quatro posições sobre o pluralismo: o pluralismo eclético de Shapiro, o pluralismo através de GTT de Beall e Restall, o pluralismo intra-teorético de Hjortland e os pluralismos através de teoria da prova de Restall e Paoli. Será mostrado como o B-entailment se encaixa nessas teorias e também como fica em falta em certos aspectos. O objetivo da dissertação é tanto contribuir para a discussão sobre o pluralismo lógico quanto expandir a discussão sobre o B-entailment e outras noções de consequência lógica desse tipo.