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 <[email protected]> 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: [email protected] >> To: [email protected] >> CC: [email protected] >> 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 <[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 > > _______________________________________________ > Logica-l mailing list > [email protected] > http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l > _______________________________________________ Logica-l mailing list [email protected] http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
