[Logica-l] Dúvidas sobre Dummett

abraços! Diogo Dias -- 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 logica-l+unsubscr...@dimap.ufrn.br. Para postar neste grupo, envie um e-mail par

[Logica-l] Lógica construtiva

rminar uma restrição no conceito clássico de prova para limitá-lo a provas construtivas? 2. É possível generalizar essa definição para uma dada classe de lógicas? Obrigado e abraços! Diogo Dias -- Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos Grupos do G

Re: [Logica-l] Tradução de entailment

Talvez ajude também colocar entailment entre parênteses, para manter a referência original e evitar conusões desnecessárias. Em 19/11/2013, às 21:08, Daniel Durante dura...@ufrnet.br escreveu: Oi Rodrigo, Obrigado. É feio mas é uma opção :) Não havia pensado nela. Acabo de ver que na

[Logica-l] (sem assunto)

Olá a tod@s. Alguém tem o seguinte artigo, ou sabe onde encontrá-lo? A.I. Arruda, e N.C.A.da Costa, O paradoxo de Curry-Moh Shaw-Kwei, Boletim da Sociedade Matemática de Sao Paulo, vol. 18, fasc. 1 et 2 (1968), pp. 83-89. Agradeço muito a ajuda! Abraços, Diogo Dias

Re: [Logica-l] Consequências epistêmicas

fundamento epistemológico legítimo. E isto é problemático porque a fé funciona como uma espécie de operador trivial' ou seja, dela pode-se derivar absolutamente qualquer coisa. Abraços, Diogo Dias Em 05/05/2013, às 15:37, Julio Stern jmst...@hotmail.com escreveu: Eduardo: A primeira

Re: [Logica-l] Consequências epistêmicas

resultado pode parecer ser o de um operador de trivialidade, mas o processo de inferência é bem diferente. []s Marcelo 2013/5/5 Diogo Dias diogo.bispo.d...@gmail.com: Julio, Penso que o conceito de over-belief não resolve todos os problemas da filosofia da religião; nem mesmo resolve