[Logica-l] A surpresa, e o paradoxo do enforcado

Mas e se o juiz dissesse "Você será enforcado de surpresa na segunda ou na terça ou na quarta ou na quinta ou na sexta" ? Nesse caso, mesmo que o preso (ou rábula) concluísse pela inconsistência ou pela impossibilidade do enforcamento, o juiz poderia enforcá-lo em qualquer dia. O rábula certam

Re: [Logica-l] O enforcado - de novo

Caros, Queria pontuar algo sobre as colocações do Prof. Rodrigo. Sentenças em linguagem natural muitas vezes admitem diversas formalizações. O que o prof. está argumentando é que a formalização escolhida pelo rábula gera uma teoria inconsistente, mas que uma interpretação alternativa é consiten

[Logica-l] Re: 14 anos de LOGICA-L

Parabéns JM, longa vida a lista Logica-L ! Um abraço, JY https://www.youtube.com/watch?v=l-yrTrzyYtM Le mardi 24 mars 2020 11:16:36 UTC-3, O Administrador da LOGICA-L a écrit : > > Esta lista acaba de completar 14 anos. Estendo meus parabéns a todos > aqueles que a tornam diariamente um espaço

Re: [Logica-l] ensino de Lógica [e tudo o mais] na era do distanciamento social

Mando so pra adicionar a situacao nas Universiades na Grecia: As aulas continuam em modo remoto [excessao as aulas que necessitam mesmo uso de laboratorio, que estao suspensas], e cada universidade pode escolher a forma que vai lecionar remotamente, inclusive tem liberdade entre professores. As o

Re: [Logica-l] ensino de Lógica [e tudo o mais] na era do distanciamento social

> Mando so pra adicionar a situacao nas Universiades na Grecia: > > As aulas continuam em modo remoto [excessao as aulas que necessitam > mesmo uso de laboratorio, que estao suspensas], e cada universidade > pode escolher a forma que vai lecionar remotamente, inclusive tem > liberdade entre profess

Re: [Logica-l] ensino de Lógica [e tudo o mais] na era do distanciamento social

https://jornal.usp.br/artigos/por-que-a-usp-nao-pode-fechar/ Em qua., 25 de mar. de 2020 às 19:44, Joao Marcos escreveu: > > Mando so pra adicionar a situacao nas Universiades na Grecia: > > > > As aulas continuam em modo remoto [excessao as aulas que necessitam > > mesmo uso de laboratorio, qu

[Logica-l] LFIs com replacement

Car@s colegas: Para os que se interessam pelo antigo problema de algebrização das lógicas paraconsistentes, Marcelo Coniglio, David Fuenmayor (da Frei Un. Berlim) e eu conseguimos um avanço interessante. Com auxilio heurístico do assistente de provas Isabelle, conseguimos definir várias LFIs