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
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
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
...@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
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
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
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
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
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
?
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
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
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
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
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
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 é
; 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á
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
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
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
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
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
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
22 matches
Mail list logo