O livro de introdução à lógica modal, de Brian Chellas é o começo. Depois há artigos bons, entre eles os de companheiros nossos de lista.
Há muitas vantagens da semântica de vizinhança: é filosoficamente mais interessante, mais fácil de entender e vislumbrar as relações, e menos aristotélica. O mais importante com relação à lógica modal, todavia, é entender o ponto de vista filosófico que a constrói. Algumas correntes lógicas, assim como no matemática, enxergam as verdades lógicas ou matemáticas básicas como consequências de um nada. São verdades por si mesmas e achar modelos ou semânticas para uma lógica é algo que vem depois. Já do ponto de vista da lógica modal, o correto é primeiro vislumbrar os modelos e depois vermos que verdades lógicas lhes correspondem. Em 4 de outubro de 2011 11:55, rodrigo cid <[email protected]> escreveu: > > Já me falaram disso, Tony, mas eu nunca estudei semântica vicinal.Me > falaram sobre pensar o contrafactual como existindo um mundo vizinho em que > o caso é como diz o contrafactual. > Vc tem alguma indicação de algum livro que trate disso? > Abraço, > Cid > > Date: Mon, 3 Oct 2011 17:43:34 -0300 > Subject: Re: [Logica-l] S5 não funciona > From: [email protected] > To: [email protected] > > É baseada na relação de vizinhança e não acessibilidade. > > Em 3 de outubro de 2011 14:23, rodrigo cid <[email protected]> > escreveu: > > > > O que é semântica vicinal? > > > > Date: Mon, 3 Oct 2011 14:18:27 -0300 > > Subject: Re: [Logica-l] S5 não funciona > > From: [email protected] > > To: [email protected]; [email protected] > > > > 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 <[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 > > > > > > > > _______________________________________________ > > 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
