Voltar para Dissertações
Dissertações

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

ANTONIO GOMES DA SILVA

Dissertação
Autor
ANTONIO GOMES DA SILVA
Orientador(a)
ELIAS HUMBERTO ALVES
Universidade
UNIVERSIDADE FEDERAL DA PARAÍBA ( JOÃO PESSOA ) — UFPB-JP
Programa
FILOSOFIA
Grau
MESTRADO
Ano
1993
1993ANTONIO GOMES DA SILVA. SISTEMAS LOGICOS NAO-ALETICOS: UMA CONTRIBUICAO AO ESTUDO DAS LOGICAS DE VAGUEDADE. 1993. Dissertação (MESTRADO em FILOSOFIA) — UNIVERSIDADE FEDERAL DA PARAÍBA ( JOÃO PESSOA ), PB. Orientador(a): ELIAS HUMBERTO ALVES.3

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