Re: [Logica-l] Re: sobre a "melhor forma" de apresentar a negação em lógicas construtivas

Ah, vi agora o post do Abilio. Para mim, nominalista até onde for possível, a negação é de natureza essencialmente linguística. Fora da linguagem, à negação só creio ter sentido associar o gesto de rejeição-ou o ato de destruição - seja lá do que for. Como alguns de vocês já insinuaram! Em 18

Re: [Logica-l] Re: sobre a "melhor forma" de apresentar a negação em lógicas construtivas

​Só uma pequena observação en passant​, trivial, porém, se for esquecida, pode levar a confusões. As definições que costumam ser escritas por A -> *bot* nas lógicas clássicas e intuicionista são de fato duas distintas, uma vez que -> tem dois diferentes significados, ok? Claro, todo mundo sabe

Re: [Logica-l] Re: sobre a "melhor forma" de apresentar a negação em lógicas construtivas

Colegas, vou tentar uns 'pitacos filosoficos' aqui. 1. De fato, ~A nao tem sentido construtivo, ao passo q A -> \bot parece ter. 2. Me parece q construtivamente nem o ex falso nem A -> (B ->A) deveriam ser validos. Ha razoes para achar q uma 'logica de Brouwer' deveria ser paraconsistente e

Re: [Logica-l] Re: sobre a "melhor forma" de apresentar a negação em lógicas construtivas

oi Daniel, obrigada pela sua explicacao. acho que eu entendo melhor a sua mensagem, do que a do Rodrigo. nao concordo que ~A não faca sentido construtivo nao. mas achei legal ver >Ao assumirmos como construído o que não se constrói, devemos ter como consequência algo ruim, catastrófico,

[Logica-l] Re: sobre a "melhor forma" de apresentar a negação em lógicas construtivas

Oi João e colegas, Concordo com o Rodrigo. Usando outras palavras eu diria: ~A não faz sentido construtivo. Como apresentar a construção do que não se constrói? Não dá. A alternativa é, então, mostrar as consequências de uma suposta construção. Ao assumirmos como construído o que não se

[Logica-l] Fwd: Call for abstracts for 4th Workshop on Connexive Logics

-- Forwarded message - = *Apologies for cross posting* 4th Workshop on Connexive Logics After three workshops on connexive logics in Istanbul (June 2015), Raesfeld Castle (June 2016) and Kyoto (September 2017), a fourth workshop on connexive logics will take place in

[Logica-l] 05, 06 e 07/06: Minicurso “Teorias Medievais da Intencionalidade” (Ana Rieger Schmidt, UFRGS)

MINICURSO Profa. Dra. Ana Rieger Schmidt (UFRGS) “Teorias Medievais da Intencionalidade” Dias: 05 e 06 de junho de 2018 de 14h às 17h. 07 de junho de 2018 de 9h às 12h Instituto de Filosofia e Ciências Sociais da UFRJ Largo de São Francisco de Paula, 1 Centro Rio de Janeiro, RJ 3o andar Sala

Re: [Logica-l] sobre a "melhor forma" de apresentar a negação em lógicas construtivas

Olá, João Marcos! Joao Marcos escreveu: > > [...] > > Na lógica intuicionista a negação ¬A de uma sentença A é > frequentemente introduzida *por definição* como a sentença A→⊥, onde → > é a "implicação intuicionista" e ⊥ o "absurdo intuicionista", tomados > como conectivos