> O que eu quis dizer com "não funciona" foi que ele não apreende uma > certa intuição que temos com relação às modalidades, a saber, > que é possível algo inquebrável que actualmente é quebrável.
Logo, está demonstrado que sua "intuição modal" é incompatível com K5... > O que vc acha? Vc acha que o nosso mundo é um mundo em que há > algo quebrável e possivelmente inquebrável? O que "eu acho" é que é as intuições (ou as interpretações) não _precedem_ os próprios sistemas formais. Você coloca o problema de ponta-cabeça, pedindo-nos para "considerar S5" e depois formulando um conjunto de suposições que é convenientemente "incompatível com S5". Da sua conclusão de incompatibilidade podem obviamente seguir duas coisas: que as suas suposições são insustentáveis neste ambiente lógico, ou que o sistema S5 é insustentável na presença de tais suposições adicionais (note ainda que tudo isto é ligeiramente sensível ao que se pretende dizer com "insustentabilidade", já que você poderia alternativamente abandonar a base clássica dos sistemas S5/K5 de modo a controlar a inconsistência obtida). Nas minhas respostas não mencionei, _propositalmente_, "semântica modal" ou "mundos". Sua pergunta não depende de nada disto para ser respondida. Acrescento que em geral não sei responder à questão sobre a "aceitabilidade de um sistema lógico" sem ter antes ideia de qual a "aplicação" pretendida para ele. "Pelos frutos poderás julgar tuas árvores." ;-) JM >> Não sei o que você quer dizer quando diz que um sistema lógico "não >> funciona"... >> >> De todo modo, aparentemente a sua argumentação apenas serve para >> demonstrar que um sistema modal normal que satisfaça o axioma (5) (ou >> seja, já em K5) você não pode sustentar simultaneamente as suposições >> segundo as quais "q é quebrável" e "q é possivelmente inquebrável" (Mq >> & M~Mq). -- http://sequiturquodlibet.googlepages.com/ _______________________________________________ Logica-l mailing list [email protected] http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
