[Logica-l] Theological Discourse and Logic

Mais uma publicação resultando do 2nd WoCoLoR https://www.uni-log.org/logos Logica Universalis, Volume 13, Issue 4, November 2019 Special Issue: Theological Discourse and Logic https://link.springer.com/journal/11787/13/4 JYB -- Você está recebendo esta mensagem porque se inscreveu no grupo "LOGI

Re: [Logica-l] Uma nova classe de modelos para a Teoria Paraconsistente de Conjuntos

Prezados, Aqui vão meus "dois tostões" de comentários alegóricos sobre o formalismo. O que é isso que existe, que uma formalização bem definida indica existir? Acho que o formalismo jamais chega àquilo que existe, mas apenas ao conceito daquilo que se considera que existe. A formalização, como

Re: [Logica-l] Uma nova classe de modelos para a Teoria Paraconsistente de Conjuntos

Ou seja, dir-se-á que não existem os unicórnios porque podemos ignorá-los já que eles não podem atacar-nos com seus chifres, ao contrário dos rinocerontes. Mas, então qual seria a consequência de ignorar conjuntos paraconsistentes? Qual seria o dano? Em seg, 9 de dez de 2019 16:39, 'Durante' via L