Olá Rodrigo, A única coisa que você precisa garantir é que não haja, no mesmo mundo possível, copo inquebrável e copo quebrado. Todo o resto é permitido. Quando você tem que "a partir do mundo em que o copo é inquebrável, não há mundos possíveis em que ele está quebrado", é porque você já sabe que o copo é inquebrável. E quando essa frase não é verdadeira, é porque você não sabe se o copo é quebrável ou não. Ou seja, no mundo possível onde o copo é inquebrável, obviamente, ele não está quebrado, mas num outro mundo ele pode estar quebrado, o que implica que naquele mundo ele é quebrável.
Muita gente acredita que S5 não funciona. Mas essa não é uma das razões. Até mais, Tiago. 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 > _______________________________________________ > Logica-l mailing list > [email protected] > http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l > _______________________________________________ Logica-l mailing list [email protected] http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
