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
_______________________________________________
Logica-l mailing list
[email protected]
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
