Ao contrário, discordo do raciocínio do rábula. O rábula raciocina em um sistema que usa o raciocínio do rábula (o próprio sistema, portanto) na linguagem objeto. Esse sistema é contraditório, dele qualquer coisa se segue. Não se pode usar esse sistema.
On Tue, Mar 24, 2020 at 4:08 PM Andrea Loparic <[email protected]> wrote: > Bem o que você está dizendo é que o probema tradicional é um > falso problema, ou seja, que a sentença não tem modelo. Você > concorda então com o rábula! E seria contraditado na terça > feira, quando fosse surpreendido pela chegada do carrasco > pra te buscar as 5:50 ! > > > <https://www.avast.com/sig-email?utm_medium=email&utm_source=link&utm_campaign=sig-email&utm_content=webmail> > Livre > de vírus. www.avast.com > <https://www.avast.com/sig-email?utm_medium=email&utm_source=link&utm_campaign=sig-email&utm_content=webmail>. > <#m_-5617508477340950558_DAB4FAD8-2DD7-40BB-A1B8-4E2AA1F9FDF2> > > Em ter., 24 de mar. de 2020 às 15:48, Rodrigo Freire <[email protected]> > escreveu: > >> Oi Andrea, >> >> Sim, meu ponto é que a teoria epistêmica resultante não é confiável (se >> formalizada será contraditória). Por isso sugiro que "não saberá de >> véspera" não deve ser interpretada como uma nova informação e internalizada >> através de uma linguagem epistêmica, mas apenas como a metainformação "sem >> mais informações". O problema se dissolve se interpretado desse modo. >> >> Abraço >> Rodrigo >> >> >> >> >> On Tue, Mar 24, 2020 at 3:39 PM Andrea Loparic <[email protected]> >> wrote: >> >>> Oi Rodrigo, >>> >>> Assim formulado, o problema é outro. O problema tradicional é uma questão >>> de lógica epistêmica. O não poder saber de véspera é parte da sentença >>> do problema tradicional. Eu não estou nesse momento podendo pegar meu >>> exemplar do "The ways of Paradox" do Quine, onde ele expõe o problema e >>> a solução que ele dá; se você ou algum colega tiver à mão esse livro, >>> peço >>> que copie aqui a formulação que lá aparece. >>> Abraços, >>> Andréa >>> >>> >>> <https://www.avast.com/sig-email?utm_medium=email&utm_source=link&utm_campaign=sig-email&utm_content=webmail> >>> Livre >>> de vírus. www.avast.com >>> <https://www.avast.com/sig-email?utm_medium=email&utm_source=link&utm_campaign=sig-email&utm_content=webmail>. >>> >>> <#m_-5617508477340950558_m_-8172675235174311213_m_4031521167101064759_DAB4FAD8-2DD7-40BB-A1B8-4E2AA1F9FDF2> >>> >>> Em ter., 24 de mar. de 2020 às 11:15, Rodrigo Freire < >>> [email protected]> escreveu: >>> >>>> Olá Andrea. A formulação da prova surpresa é mais familiar para mim. >>>> >>>> A sentença poderia ser reformulada com o axioma: >>>> >>>> *Você será enforcado na segunda ou na terça ou na quarta ou na quinta >>>> ou na sexta.* >>>> >>>> Essa é a única informação da sentença. O resto tem o efeito de "sem >>>> mais informações" e é melhor entendida como uma frase da metalinguagem >>>> (sobre o sistema de informações, não como uma informação adicional). Uma >>>> incorporação do "sem mais informações" como uma informação positiva não >>>> gera um sistema confiável. >>>> >>>> A interpretação que o rábula faz da sua sentença de morte incorpora em >>>> seu sistema de justificação a parte prescreve o que ele não saberá. Ou >>>> seja, ele interpreta, com ajuda da má formulação da sentença, uma ausência >>>> de informação como informação positiva. >>>> Esse movimento incorpora na lógica do rábula uma modalidade >>>> metalinguística. O sistema resultante de justificação do rábula é baseado >>>> na própria noção de justificação que o sistema tenta capturar. Esse é um >>>> tipo de planificação da linguagem/metalinguagem é problemática e não gera >>>> um sistema dedutivo confiável. De qualquer modo, uma formalização simples >>>> desse sistema em logica modal resulta inconsistente. >>>> >>>> É assim que vejo o problema. >>>> >>>> Abraço >>>> Rodrigo >>>> >>>> >>>> >>>> >>>> >>>> >>>> On Mon, Mar 23, 2020 at 4:26 PM Andrea Loparic <[email protected]> >>>> wrote: >>>> >>>>> Que tal nos divertirmos com probleminhas interessantes nesse tempo de >>>>> quarentena? Por exemplo, quem de vocês já passou horas quebrando a cuca >>>>> com >>>>> o chamado"paradoxo do enforcado"? E quem acha que chegou a uma solução do >>>>> mesmo? >>>>> Para quem não conhece ou não se lembra, lá vai o enunciado (à minha >>>>> moda): >>>>> ==================================================================== >>>>> Num reino distante, um rábula que ousara chamar o rei de >>>>> "infame" >>>>> recebeu do rei a seguinte sentença condenatória: >>>>> >>>>> "Você será enforcado às 6 da manhã de um dia, entre segunda >>>>> e >>>>> sábado da próximo semana, mas só saberá qual deles às 5:50 >>>>> do >>>>> próprio dia. quando o carrasco virá buscá-lo para a >>>>> execução." >>>>> >>>>> O rábula então pensou com seus botões: >>>>> >>>>> "Essa sentença não pode ser integralmente cumprida! Pois >>>>> sendo o >>>>> sábado o último dia da próxima semana, ele está excluido, >>>>> uma vez >>>>> que como o carrasco não tivesse aparecido na sexta feira as >>>>> 5:50, >>>>> a partir desse momento eu ia ficar sabendo que seria >>>>> executado no >>>>> dia seguinte. Mas, como o sábado fica excluido, o mesmo >>>>> raciocínio >>>>> vale para a sexta, que fica sendo o último dia, assim na >>>>> quinta às >>>>> 5:50, eu já ia ficar sabendo. E assim por diante, podemos >>>>> ir >>>>> eliminando cada um dos dias da mesma forma, portanto >>>>> a sentença >>>>> não poderá ser integralmente cumprida. Ora, pelo paragrafo >>>>> único >>>>> do artigo sexto do nosso Código Penal, uma sentença que não >>>>> pode >>>>> ser literalmente cumprida é nula de direito. Assim, posso >>>>> ficar >>>>> tranquilo que não vou ser executado. " >>>>> >>>>> E assim ficou o rábula até as 5:50 da terça feira, quando o >>>>> carrasco apareceu para conduzi-lo à forca. >>>>> ================================================================== >>>>> >>>>> Aguardo comentários tranquilos e intranquilos!!! >>>>> Beijos (virtuais, é claro!) >>>>> >>>>> Andréa (Antes confinada que só finada) >>>>> >>>>> >>>>> -- >>>>> Você recebeu essa mensagem porque está inscrito no grupo "LOGICA-L" >>>>> dos Grupos do Google. >>>>> Para cancelar inscrição nesse grupo e parar de receber e-mails dele, >>>>> envie um e-mail para [email protected]. >>>>> Para ver essa discussão na Web, acesse >>>>> https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CACHAqBnO2pCNhNfMO9OqEcy5d5G%3DUspDta1Ek6DcU1TU6f%3DAVg%40mail.gmail.com >>>>> <https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CACHAqBnO2pCNhNfMO9OqEcy5d5G%3DUspDta1Ek6DcU1TU6f%3DAVg%40mail.gmail.com?utm_medium=email&utm_source=footer> >>>>> . >>>>> >>>> >>> >>> <https://www.avast.com/sig-email?utm_medium=email&utm_source=link&utm_campaign=sig-email&utm_content=webmail> >>> Livre >>> de vírus. www.avast.com >>> <https://www.avast.com/sig-email?utm_medium=email&utm_source=link&utm_campaign=sig-email&utm_content=webmail>. >>> >>> <#m_-5617508477340950558_m_-8172675235174311213_m_4031521167101064759_DAB4FAD8-2DD7-40BB-A1B8-4E2AA1F9FDF2> >>> >> -- Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos Grupos do Google. Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para [email protected]. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAExWzUL6Qo5dq%2BcY8Kru_hUU7oYeHAJKXGjWLmB5R31260JuRg%40mail.gmail.com.
