Obrigado por clarificar, Andréa! :D
> Date: Mon, 3 Oct 2011 15:52:58 -0300 > From: alopa...@gmail.com > To: rodrigorl...@ufrj.br > CC: logica-l@dimap.ufrn.br > Subject: Re: [Logica-l] S5 não funciona > > Aviso aos navegantes: > S5 tem apenas 6 modalidades : A,~A, LA, ~LA, MA, ~MA. > > De (MA & M~MA) segue-se qualquer coisa, uma vez que M~MA > equivale em S5 a ~MA e S5 contém a lógica clássica. > > Portanto, Rodrigo, você tem toda razão de achar que quem acredita > ter sentido dizer que algo atualmente quebrável seja possivelmente > inquebrável (ou seja, quem crê poder afirmar Mq & M~Mq sem estar > se comprometendo com a afirmação de q & ~q ) tem motivo para > rejeitar S5. > > Dever de casa de Tia Andréa: ler os primeiros capítulos do velho > Hughes & Cresswell. Trazer o caderninho com os exercicios feitos! > > Em 3 de outubro de 2011 14:41, rodrigo cid <rodrigorl...@ufrj.br> escreveu: > > > > Oi, Walter. > > Mas S5 não implica que todos os mundos são acessíveis a partir de todos os > > mundos?E no meu exemplo não haveria mundos não acessíveis a outros > > mundos?Como compatibilizar essas coisas? > > Um abraço, > > Cid > > > >> Date: Mon, 3 Oct 2011 14:34:20 -0300 > >> From: walter.carnie...@gmail.com > >> To: rodrigorl...@ufrj.br > >> CC: logica-l@dimap.ufrn.br > >> Subject: Re: [Logica-l] S5 não funciona > >> > >> 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 <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 > >> > > >> > >> > >> > >> -- > >> ----------------------------------------------- > >> 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: walter.carnie...@cle.unicamp.br > >> Website: http://www.cle.unicamp.br/prof/carnielli > >> _______________________________________________ > >> 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 _______________________________________________ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l