> Não tem nada de "assombroso" nem incoerente entre > "q é quebrável" (Mq ) e "q é possivelmente inquebrável" ( M~Mq). Mq & > M~Mq não é uma contradição--
Bom, Mq & M~Mq certamente engendra uma contradição *em S5*, não?... Acho que o problema do Rodrigo não é este. O que ele aparentemente deseja é encontrar um sistema modal que seja compatível, dada uma interpretação usual em termos de modelos de Kripke, com as intuições dele (sejam elas quais forem). E ele acredita, ainda mais, que a semântica modal correspondente a este sistema ideal lhe servirá para concluir coisas sobre o "nosso mundo". JM -- http://sequiturquodlibet.googlepages.com/ _______________________________________________ Logica-l mailing list [email protected] http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
