<< 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
