Olá, Rodrigo: 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). JM 2011/10/3 rodrigo cid <[email protected]>: > > Pessoal, > Eu estava pensando sobre as razões para aceitar ou rejeitar S5, e pensei no > seguinte caso. > Suponhamos que temos um copo. E que tal copo, como a maioria dos outros > copos, é quebrável.Suponhamos também que fosse possível com relação ao nosso > mundo que o copo fosse inquebrável.Se este fosse o caso, então a partir do > mundo em que o copo é inquebrável, não há mundos possíveis em que ele está > quebrado.No entanto, a partir do mundo em que o copo é quebrável, há um mundo > possível em que ele está quebrado.Há, assim, um mundo possível em que o copo > está quebrado que é acessível ao mundo actual, mas não é acessível ao mundo > em que o copo é inquebrável.Logo, se é possível que algo seja inquebrável a > partir do nosso mundo, então S5 não funciona, dado que haverá mundos > possíveis acessíveis a certos mundos e não acessíveis a outros. > Vocês concordam? > Um abraço, > Rodrigo Cid -- http://sequiturquodlibet.googlepages.com/ _______________________________________________ Logica-l mailing list [email protected] http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
