> Aviso aos navegantes: > S5 tem apenas 6 modalidades : A,~A, LA, ~LA, MA, ~MA.
Bem, a "rejeição" de MA & M~MA nem precisa tanta tecnologia, já que ela pode ser justificada em K5, sistema que possui um número infinito de modalidades... > Portanto, Rodrigo, você tem toda razão de achar que quem acredita > ter sentido dizer que algo atualmente quebrável seja possivelmente > inquebrável (ou seja, quem crê poder afirmar Mq & M~Mq sem estar > se comprometendo com a afirmação de q & ~q ) tem motivo para > rejeitar S5. Sem dúvida a conclusão correta e invevitável de que S5 é incompatível com as "intuições modais" do Rodrigo é bem mais cuidadosa do que a manchete sensacionalista "S5 não funciona"! Toda vez que um bom cientista encontra uma incompatibilidade forte entre sua intuição e sua teoria, ele naturalmente abandona uma delas. JM -- http://sequiturquodlibet.googlepages.com/ _______________________________________________ Logica-l mailing list [email protected] http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
