Okay, João. Chegamos a um denominador comum. Abraço
Em 10 de abril de 2012 17:04, Joao Marcos <botoc...@gmail.com> escreveu: > > 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 Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l