Caro Cid, você está equivocado. Não tem nada de "assombroso" nem incoerente entre "q é quebrável" (Mq ) e "q é possivelmente inquebrável" ( M~Mq). Mq & M~Mq não é uma contradição-- pense em "o problema q é solúvel" (Mq ) e "o problema q é possivelmente insolúvel" ( M~Mq). Um problema solúvel poderia não ser, se a configuração do mundo fosse outra, a não ser que lhe pesasse uma maldição metafísica. Se nao gostar deste exemplo, troque por um hipotético "Rodrigo Cid é enganável" (Mq ) e "Rodrigo Cid é possivelmente ininganável" :-)
S5 pode não ser lá essa coisas, mas não por esta razão... Abs, Walter Em 3 de outubro de 2011 14:14, rodrigo cid <[email protected]> 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: [email protected] > > To: [email protected] > > CC: [email protected] > > > > 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 <[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 > > > > -- > > http://sequiturquodlibet.googlepages.com/ > > _______________________________________________ > Logica-l mailing list > [email protected] > http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l > -- ----------------------------------------------- Prof. Dr. Walter Carnielli Director Centre for Logic, Epistemology and the History of Science – CLE State University of Campinas –UNICAMP 13083-859 Campinas -SP, Brazil Phone: (+55) (19) 3521-6517 Fax: (+55) (19) 3289-3269 Institutional e-mail: [email protected] Website: http://www.cle.unicamp.br/prof/carnielli _______________________________________________ Logica-l mailing list [email protected] http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
