Re: [Logica-l] motivações para (não-)classicalidade

2021-10-06 Por tôpico João Pedro de Amorim Paula
Nunca tinha parado pra pensar a respeito e não formulei nada muito profundo. Acho que o fato de estar em Ciências da Computação, onde lógicas não-clássicas são mais comuns seja um fator determinante também. Não-classicamente, -- João Pedro de Amorim Paula IT undergraduate at Universidade Federal

Re: [Logica-l] motivações para (não-)classicalidade

2021-10-06 Por tôpico João Pedro de Amorim Paula
>Falo brevemente sobre isto, aliás, na primeira parte deste vídeo: >https://youtu.be/vr8pGhJp6kA >e para o caso da lógica paraconsistente eu discuto isto na seção 2 deste paper: >https://dimap.ufrn.br/~jmarcos/papers/JM/02-CM-taxonomy.pdf Pré-homework? :P Vou dar uma olhada! --- J

Re: [Logica-l] in praise of rationality

2021-10-13 Por tôpico João Pedro de Amorim Paula
nte...) Atenciosamente, -- João Pedro de Amorim Paula IT undergraduate at Universidade Federal do Rio Grande do Norte (UFRN) -- 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 d