<< Para um exemplo, no paper "A taxonomy of C-systems" fixamos de maneira inovadora e fora do ordinário o significado do termo "princípio da não-contradição" (PNC). Vemos a seguir que a maior parte das lógicas paraconsistentes da literatura respeita perfeitamente esta formulação do PNC. O termo "inconsistência" também tem o seu significado precisificado no paper em particular para linguagens que contêm um operador para expressar o conceito meta-teórico de consistência. Diferentemente do que foi dito aqui nesta linha de discussões por outro colega, as lógicas paraconsistentes são, sim senhor, exatamente as lógicas que são *inconsistentes* conquanto "não absolutamente inconsistentes" / "não extra-completas" / "não triviais". >>
João, 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. Aparentemente, ele desconhece esse texto. A palavra foi empregada de um modo vago. 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. _______________________________________________ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
