Aí eu tenho outra interpretação: na verdade, as relações de acessibilidade dão uma semântica já conhecida por produzir muitos paradoxos. O que está por detrás das intuições de Rodrigo Cid é uma vontade de fazer semântica vicinal.
Em 3 de outubro de 2011 14:14, rodrigo cid <rodrigorl...@ufrj.br> escreveu: > > 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 > _______________________________________________ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
