> Leia a mensagem do Julio novamente e veja se parece que ele se referia ao > significado de "inconsistência" "precisificado" (precisado?) no texto de sua > autoria.
Um trabalho (não mainstream?) que você próprio foi o primeiro a mencionar, correto, Rodrigo? > Aparentemente, ele desconhece esse texto. A palavra foi empregada > de um modo vago. Por isto tentei precisificar(1) o termo, senão não haveria discussão possível. (Será que não está faltando aos colegas o exercício mínimo do Princípio da Caridade, ao responder as mensagens de outros membros da lista?) > Acredito que, dessa forma, uma maneira mais natural de > interpretar o que foi dito é tomar "lógica inconsistente" como significando: > > (i) sistema trivial; > > ou > > (ii) sistema em que se derive algo da forma A & ~A. > > As lógicas que mencionei não são inconsistentes nos sentidos (i) e (ii). Foi > o que eu quis dizer ao afirmar que a contradição não está na lógica > (significado (ii) acima). Nesse caso, é irrelevante que o autor X tenha > precisado, em um texto W que não é mainstream, um significado Z para o termo > "inconsistente", digamos, inconsistente_567. Certo. Denominemos os seus sentidos "naturais" e "não irrelevantes" de inconsistência, digamos, inconsistente_568 e inconsistente_569. O primeiro deles é o que eu chamei de "inconsistência absoluta", na mensagem anterior, o segundo é próximo do que chamei de "contraditoriedade" (formulei-o sem usar a conjunção, e falei apenas da contraditoriedade de teorias, não de lógicas), e está ligada à formulação já mencionada do Princípio da Não-Contradição (que não é desobedecida pelas lógicas paraconsistentes usuais). Como já disse na mensagem anterior (veja lá!), o fenômeno lógico da paraconsistência não está ligado exclusivamente às definições de inconsistente_568 e inconsistente_569. Em particular, o termo inconsistente_568 não se aplica a nenhuma lógica paraconsistente, e as lógicas às quais o termo inconsistente_569 se aplica corretamente podem ou não ser paraconsistentes. Abraços, Joao Marcos Nota (1): "precisificar" é um neologismo com o sentido óbvio de "fazer ficar preciso", que uso para eliminar a ambiguidade indesejada do verbo "precisar" do português. Sim, eu sei que "navigare necesse est" vai ficar menos poético... -- http://sequiturquodlibet.googlepages.com/ _______________________________________________ Logica-l mailing list [email protected] http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
