Re: [Logica-l] S5 não funciona

2011-10-11 Por tôpico Joao Marcos
Interessante, Carlos: eu havia entendido que o problema intuitivo do Rodrigo dizia respeito a fórmulas do tipo MpM~Mp, e você propôs uma leitura na qual o problema é a satisfação da fórmula ~MpMMp (no seu mundo w1)... De fato, enquanto no primeiro caso o problema teria a ver com K5, no segundo

Re: [Logica-l] S5 não funciona

2011-10-04 Por tôpico Daniel Durante
Oi Rodrigo, RODRIGO CID: Minha intuição é justamente que tornar coisas quebráveis em inquebráveis é possível. Para mim não faz muito sentido tornar uma coisa inquebrável. Quando você TORNA uma coisa em ALGO, me parece que há apenas duas possibilidades: (1) Ou você torna a coisa sem mudar a

Re: [Logica-l] S5 não funciona

2011-10-04 Por tôpico rodrigo cid
possivelmente inquebrável. Um abraço, Rodrigo Cid Date: Tue, 4 Oct 2011 10:50:11 -0300 From: dura...@ufrnet.br To: logica-l@dimap.ufrn.br; rodrigorl...@ufrj.br Subject: Re: [Logica-l] S5 não funciona Oi Rodrigo, RODRIGO CID: Minha intuição é justamente que tornar coisas quebráveis em

Re: [Logica-l] S5 não funciona

2011-10-04 Por tôpico rodrigo cid
...@gmail.com CC: rodrigorl...@ufrj.br; 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. Bem, a rejeição de MA M~MA nem precisa tanta tecnologia, já que ela pode ser justificada em K5, sistema que

Re: [Logica-l] S5 não funciona

2011-10-04 Por tôpico rodrigo cid
: 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

Re: [Logica-l] S5 não funciona

2011-10-04 Por tôpico rodrigo cid
Obrigado pela dica! Date: Tue, 4 Oct 2011 16:53:46 -0300 From: marmo.t...@gmail.com To: rodrigorl...@ufrj.br; logica-l@dimap.ufrn.br Subject: Re: [Logica-l] S5 não funciona O livro de introdução à lógica modal, de Brian Chellas é o começo. Depois há artigos bons, entre eles os de

[Logica-l] S5 não funciona

2011-10-03 Por tôpico rodrigo cid
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

Re: [Logica-l] S5 não funciona

2011-10-03 Por tôpico Joao Marcos
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

Re: [Logica-l] S5 não funciona

2011-10-03 Por tôpico Tiago de Lima
Olá Rodrigo, A única coisa que você precisa garantir é que não haja, no mesmo mundo possível, copo inquebrável e copo quebrado. Todo o resto é permitido. Quando você tem que a partir do mundo em que o copo é inquebrável, não há mundos possíveis em que ele está quebrado, é porque você já sabe que

Re: [Logica-l] S5 não funciona

2011-10-03 Por tôpico rodrigo cid
? 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

Re: [Logica-l] S5 não funciona

2011-10-03 Por tôpico rodrigo cid
quebrado.O que é inconsistente, se aceitarmos o axioma 5, com o copo ser quebrável. Abraço, Cid Date: Mon, 3 Oct 2011 18:53:59 +0200 From: tiagosantosdel...@gmail.com To: rodrigorl...@ufrj.br; logica-l@dimap.ufrn.br Subject: Re: [Logica-l] S5 não funciona Olá Rodrigo, A única coisa que

Re: [Logica-l] S5 não funciona

2011-10-03 Por tôpico Tony Marmo
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

Re: [Logica-l] S5 não funciona

2011-10-03 Por tôpico rodrigo cid
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

Re: [Logica-l] S5 não funciona

2011-10-03 Por tôpico Walter Carnielli
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

Re: [Logica-l] S5 não funciona

2011-10-03 Por tôpico rodrigo cid
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 é

Re: [Logica-l] S5 não funciona

2011-10-03 Por tôpico Tiago de Lima
; logica-l@dimap.ufrn.br Subject: Re: [Logica-l] S5 não funciona Olá Rodrigo, A única coisa que você precisa garantir é que não haja, no mesmo mundo possível, copo inquebrável e copo quebrado. Todo o resto é permitido. Quando você tem que a partir do mundo em que o copo é inquebrável, não há

Re: [Logica-l] S5 não funciona

2011-10-03 Por tôpico Joao Marcos
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. Logo, está demonstrado que sua intuição modal é incompatível com K5... O que vc acha? Vc acha que o

Re: [Logica-l] S5 não funciona

2011-10-03 Por tôpico Andrea Loparic
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

Re: [Logica-l] S5 não funciona

2011-10-03 Por tôpico rodrigo cid
quebrado, isso pode se dever a eu não ter visto o copo e não saber de suas capacidades; e não ao fato de ele não ser inquebrável. Date: Mon, 3 Oct 2011 18:53:59 +0200 From: tiagosantosdel...@gmail.com To: rodrigorl...@ufrj.br; logica-l@dimap.ufrn.br Subject: Re: [Logica-l] S5 não funciona

Re: [Logica-l] S5 não funciona

2011-10-03 Por tôpico rodrigo cid
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

Re: [Logica-l] S5 não funciona

2011-10-03 Por tôpico rodrigo cid
problema aqui exposto é independente de temporalidade). E isso não é capturado por S5. Date: Mon, 3 Oct 2011 15:42:25 -0300 From: botoc...@gmail.com To: walter.carnie...@gmail.com CC: rodrigorl...@ufrj.br; logica-l@dimap.ufrn.br Subject: Re: [Logica-l] S5 não funciona Não tem nada de

Re: [Logica-l] S5 não funciona

2011-10-03 Por tôpico Tiago de Lima
From: tiagosantosdel...@gmail.com To: rodrigorl...@ufrj.br; logica-l@dimap.ufrn.br Subject: Re: [Logica-l] S5 não funciona Olá Rodrigo, A única coisa que você precisa garantir é que não haja, no mesmo mundo possível, copo inquebrável e copo quebrado. Todo o resto é permitido. Quando