> "If you are a logician working on non-classical logics, what are your > main motivations? And if you rather reject non-classical logics, what > are your reasons for that?" > https://twitter.com/antitheorem/status/1444709997368201220
Não interajo muito por aqui, fico geralmente só observando, mas resolvi dar meus dois centavos no assunto. Como aluno é eu me sinto compelido e atraído por lógicas não-clássicas por ser um mundo novo, diferente, cheio de possibilidades e novas descobertas a serem feitas. Claro que na lógica clássica (inclusive gostei bastante da definição de uma das respostas ao tweet que lógicas clássicas são aquelas que respeitam terceiro excluído o princípio de não-contradição) ainda tem muito para ser descoberto também, mas qual a graça se ta todo mundo estudando isso? :PPP Então acho que meu motivo é basicamente que eu gosto de novidades. 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 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 dele, envie um e-mail para logica-l+unsubscr...@dimap.ufrn.br. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/87tuhukxqv.fsf%40gmail.com.
