Não entendi: qual seria o "equívoco seu" que está sendo registrado, Tony?
Boa leitura,
JM
2012/4/27 Tony Marmo <marmo.t...@gmail.com>:
> Caro João,
>
> Apenas para registro, porque talvez seja um grande equívoco meu. Mas, nas
> mensagens que você disse:
>
> [1] "O operador de consistência não é aparentado da necessidade ou da
> possibilidade, mas está mais próximo
> da noção de contingência."
>
> [2] "(...) na verdade a definição do conectivo de consistência que você
> mencionou e sua versão modal são ambas propostas minhas, e ---por
> design--- há restrições que devem ser obedecidas para que este
> conectivo tenha a interpretação para ele pretendida. Uma destas
> restrições obriga justamente a que a consistência não seja idêntica à
> necessidade (na sua interpretação usual e desde que você não mude o
> significado da negação paraconsistente do ponto de vista modal), pois
> em caso contrário não seria necessário adicionar A a {oA, ~A} para
> recuperar o Princípio da Explosão."
>
> [3] "O conectivo de consistência continua sendo, contudo, um belo exemplo de
> modalidade não-normal, que *não* é idêntica à não-contingência, e que
> certamente é tratável, em princípio, a partir de semânticas de vizinhança.
> De todo modo, para _uma_ certa conexão entre a consistência e o axioma K
> você pode dar uma espiada no teorema K2.2 do artigo "Logics of essence and
> accident"."
>
> Mas, no seu artigo, referido acima você coloca o seguinte:
>
> Proposição 1.1. Dentro de extensões da lógica modal K pode-se:
>
> (i) tomar quadrado como primitivo e definir (consistente phi) ºphi:= phi =>
> quadrado phi.
>
> Dentro de extensões de KT ...
>
> (ii) tomar º (consistência) como primitivo e definir quadrado phi:= phi
> &ºphi
>
> (Página 3 no pdf que eu tenho)
>
> Aí no caso, você mesmo diz ao princípio do artigo que º é o operador de
> essência, enquanto que • seria o de acidente.
>
> Continuo a leitura do artigo, todavia...
--
http://sequiturquodlibet.googlepages.com/
_______________________________________________
Logica-l mailing list
Logica-l@dimap.ufrn.br
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
