Cadeias de lógicas polivalentes em contextos semânticos

Abstract

O objetivo desta monografia é apresentar possíveis aplicações das lógicas polivalentes no contexto semântico. Dentre essas aplicações, a principal é a definição do conceito de cadeia de lógicas polivalentes que surgiu da análise das relações algébricas entre a quantidade de valores de verdade - ou graus de verdade - no contexto de lógicas e sublógicas na hierarquia de Łukasiewicz a partir de uma condição estabelecida por Lindenbaum. Nessas cadeias, os graus de verdade não designados, que se adicionam de uma lógica para a outra quando se sobe pela sequência da mesma cadeia, garantem, por exemplo, a validade das fórmulas de uma sublógica Łm para uma lógica Łn e das sublógicas subsequentes até se chegar na lógica clássica bivalente Ł2, que é lógica comum de todas as cadeias de sublógicas polivalentes. A partir dessa cadeia de lógicas, foi possível propor três outras aplicações.