De fato o João tem razão. O nome do tópico foi um tanto sensacionalista. rsE a conclusão de Andréa bem mais cuidadosa que a minha, já que eu já pressupunha que as minhas intuições eram o caso.Podemos concluir que S5 não é compatível com as minhas intuições sobre a realidade.Mas agora o ponto principal para mim, que sou um metafísico (e não um lógico), é saber se eu tenho razão em persistir nessas intuições ou não. Vocês conhecem alguma razão para pensarmosque as minhas intuições não são o caso? Um abraço, Cid
> Date: Mon, 3 Oct 2011 17:12:13 -0300 > From: botoc...@gmail.com > To: alopa...@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 possui um número infinito > de modalidades... > > > 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. > > Sem dúvida a conclusão correta e invevitável de que S5 é incompatível > com as "intuições modais" do Rodrigo é bem mais cuidadosa do que a > manchete sensacionalista "S5 não funciona"! > > Toda vez que um bom cientista encontra uma incompatibilidade forte > entre sua intuição e sua teoria, ele naturalmente abandona uma delas. > JM > > -- > 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