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: marmo.t...@gmail.com To: rodrigorl...@ufrj.br É baseada na relação de vizinhança e não acessibilidade. Em 3 de outubro de 2011 14:23, rodrigo cid <rodrigorl...@ufrj.br> escreveu: O que é semântica vicinal? Date: Mon, 3 Oct 2011 14:18:27 -0300 Subject: Re: [Logica-l] S5 não funciona From: marmo.t...@gmail.com To: rodrigorl...@ufrj.br; logica-l@dimap.ufrn.br 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 _______________________________________________ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l