<< Os termos "sistemas formais" e "sistemas lógicos" não têm em geral a mesma denotação na literatura contemporânea. Em particular, "sistemas formais" ("linguagens formais"?) não precisam ter uma *noção de consequência* associada. >>
Antes que você evoque alguma definição de "sistema" empregada algures por você, substitua esta palavra por "lógica" em (i) e (ii) na minha mensagem anterior. Em 10 de abril de 2012 15:17, Rodrigo Podiacki <podia...@gmail.com>escreveu: > << 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