Aos organizadores do EBL 2014: Em 2013 o professor Newton da Costa comemora 50 anos de sua tese de cátedra "Sistemas Formais Inconsistentes" (unfortunately never translated into English) e seu primeiro artigo (en français, evidemment) no Comptes Rendus, e em 2014 ele comemora 40 anos de seu artigo mais citado, "On the theory of inconsistent formal systems". Talvez o próximo EBL seja justamente uma boa oportunidade de render (no Brasil) nova homenagem ao patrono da Lógica contemporânea neste país?!
* * * Em 2009, durante um evento em homenagem ao Newton, na UNICAMP, fui longamente entrevistado ---entre várias outras pessoas--- por Evandro Gomes, como parte do seu projeto "História Oral da Lógica Paraconsistente". O resultado da minha entrevista pode ser conferido, por quem tiver paciência e interesse, em: https://dl.dropboxusercontent.com/u/9291912/interviews/PLOHP-JMarcos-Interview_revised.pdf Como sempre costumo dizer, meu trabalho sobre as Logics of Formal Inconsistency (LFIs --- a tese está disponível online, e a minha palestra na UNICAMP em 2009 disponível no YouTube) logicamente pode ser entendido como uma ampla homenagem à abordagem inaugurada pelo Newton nas veredas paraconsistentistas. Com efeito, por meio da abstração e da generalização introduzida pelas LFIs a proposta dacostiana foi renovada e tudo indica que seguirá viva ainda por muito tempo! * * * Joao Marcos PS: Recordo que haverá um evento sobre lógica paraconsistente na Índia no início do próximo ano: http://www.paraconsistency.org/wcp5.html -- http://sequiturquodlibet.googlepages.com/ _______________________________________________ Logica-l mailing list [email protected] http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
