SISTEMAS LOGICOS NAO-ALETICOS: UMA CONTRIBUICAO AO ESTUDO DAS LOGICAS DE VAGUEDADE

SISTEMAS LOGICOS NAO-ALETICOS SAO AQUELES CUJO CALCULO LOGICO SUBJACENTE COMPORTA A NEGACAO DOS PRINCIPIOS DE NAO-CONTRADICAO E TERCEIRO EXCLUIDO. ENCONTRAR TAIS SISTEMAS ANTECEDENTE HISTORICO NAS ABORDAGENS D E TEORIAS INCONSISTENTES NAO-TRIVIAIS. O SISTEMA AXIOMATICO FORMAL, FORMALIZA O CASO EM QUE A LEI DO TERCEIRO EXCLUIDO E A LEI DE CONTRADICAO NAO SAO VALIDAS, MAS TAMBEM NAO SAO EQUIVALENTES. O SISTEMA V1 FORMA LIZA O CASO EM QUE PARA CADA FORMULA A, A LEI DE NAO CONTRADICAO OU A LEI DO TERCEIRO EXCLUIDO NAO E VALIDA, MAS NAO AMBAS.V'0 E V'1 SAO VERSOES MAIS """"ELEGANTES"""" DE V0 E V1, RESPECTIVAMENTE. V0, V1 V'0 E V'1 SA