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. O que vc acha? Vc acha que o nosso mundo é um mundo em que há algo quebrável e possivelmente inquebrável? Abraço, Cid
> Date: Mon, 3 Oct 2011 13:45:11 -0300 > Subject: Re: [Logica-l] S5 não funciona > From: botoc...@gmail.com > To: rodrigorl...@ufrj.br > CC: logica-l@dimap.ufrn.br > > 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 <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 > > -- > http://sequiturquodlibet.googlepages.com/ _______________________________________________ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l