Não entendi muito bem por que eu teria que garantir isso. E eu também não entendi como o conhecimento da (im)possibilidade do objeto quebrar é relevante...
Um copo ser possivelmente inquebrável é o mesmo que não haver mundos possíveis a partir do mundo em que ele é inquebrável em que o copo é quebrado.O que é inconsistente, se aceitarmos o axioma 5, com o copo ser quebrável. Abraço, Cid > Date: Mon, 3 Oct 2011 18:53:59 +0200 > From: tiagosantosdel...@gmail.com > To: rodrigorl...@ufrj.br; logica-l@dimap.ufrn.br > Subject: Re: [Logica-l] S5 não funciona > > 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 <rodrigorl...@ufrj.br>: > > > > 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 > > Logica-l@dimap.ufrn.br > > http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l > > > _______________________________________________ > Logica-l mailing list > Logica-l@dimap.ufrn.br > http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l _______________________________________________ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l