Caros Colegas: Quando a Tese do Giovanni Queiroz (defendida em 1998) estava sendo finalizada, recebi o artigo do Urbas (publicação datada de 1996), mencionado pelo Walter, para report, e tivemos (eu e Giovanni) a oportunidade de analisar as relações entre o artigo e o trabalho do Giovanni. Quando o Andreas Brunner desenvolvia seu trabaho com o Walter, chamei a atenção, em nossos seminários de lógica, sobre como os sistemas introduzidos pelo Andreas constituiam, de fato, generalizações, para os cálculo Cn de da Costa, do sistema introduzido pelo Giovanni; também chamei a atenção sobre a semântica que estava sendo proposta por Brunner para tais sistemas. Brunner e Carnielli mencionam, em seu artigo, a tese de Giovanni. Como o Giovanni, apesar de minha insistência continuada, não publicou os resultados de sua Tese, no artigo "Deductive systems and translations", publicado em Pespectives on Universal Logic, Polimetrica, p. 125-157, 2007, em co-autoria com Hércules Feitosa, dedicamos um sessão sobre o sistema de Giovanni e o estudo de suas inter-relações com outras lógicas. Quando Graham Priest proferiu sua conferência no Evento em homenagem a da Costa, em agosto 2009 na UNICAMP, publicamente falei-lhe sobre o trabalho do Giovanni e, mais do que isso, disse-lhe que pensava que o sistema que ele acabara de apresentar era o próprio sistema do Giovanni. Após o evento, encaminhei ao Priest o arquivo de meu artigo com o Hércules, para que ele pudesse conhecer o sistema introduzido pelo Giovanni e as relações de tal sistema com o sistema C1 de da Costa e com outros sistemas não-clássicos. Nosso artigo também menciona o artigo do Brunner e Carnielli.
Sem dúvida, causa surpresa que Priest não mencione nossos artigos, ainda mais considerando-se a forte semelhança da abordagem e dos resultados por ele obtidos. Abraços, da Itala > Gostaria de levantar uma questão, envolvendo o artigo "Dualising > Intuitionistic Negation" > de Graham Priest, que acaba de aparecer no primeiro volume (de três) > de Principia, em homenagem > aos 80 anos do Prof. Newton da Costa: > http://www.cfh.ufsc.br/%7Eprincipi/olvol132.html, > conforme gentilmente postado pelo Décio. > > É claro que cada autor é livre para escolher suas referências. > Mas como é possível que a ciência e os critérios de publicação sejam > tais, que um autor como > Priest vem ao Brasil, publicar numa revisa brasileira como > Principia, e desconsidere olimpicamente > o que autores brasileiros já disseram sobre a tal dualidade > intuiocionismo X paraconsistência? > Não se seu ao trabalho de procurar, ou "não leu e não gostou"? > > Refiro-me à tese de Giovanni da Silva de Queiroz "Sobre a dualidade > entre intuicionismo e paraconssistencia" defendida em i998 na > UNICAMP (disponível on line, orientado pela nossa colega Itala Maria > Loffredo D'Ottaviano). > E refiro-me também ao artigo "Anti-intuitionism and paraconsistency" > (Andreas B.M. Brunner e Walter A. Carnielli > Journal of Applied Logic volume 3, Issue 1, March 2005, Pages 161-184. > > Ainda mais que o referido artigo foi publicaod nos proceedings do > WoPaLo de Trento > (cf. editorial "A Paraconsistent Decagon, The Workshop on Paraconsistent > Logic" > cujos editores foram João Marcos, Diderik Batens e eu mesmo). E a > desconsideração é mais > profunda: desconsidera até a contribuição de Urbas de 1996, > "Dual-intuitionistic logic" (Notre Dame Journal). > > Espero que não me compreendam mal: não se trata aqui de nenhuma > atitude hipócrita de "cite-me, por favor". > Priest poderia ter criticado, esculhambado e mostrado que seu enfoque > fosse melhor--mas não vejo que > em publicações científicas se possa desconsiderar, e repetir o que foi dito... > > Digo isso para levantar uma questão: até que ponto nosso sistema de > pareceristas funciona? > > Abraços, > > Walter > > -- > > +++++++++++++++++++++++++++++++++++++++++++++++++ > Walter Carnielli > Centre for Logic, Epistemology and the History of Science ? CLE > State University of Campinas ?UNICAMP > P.O. Box 6133 13083-970 Campinas -SP, Brazil > Phone: (+55) (19) 3788-6519 > Fax: (+55) (19) 3289-3269 > e-mail: carni...@cle.unicamp.br > Website: http://www.cle.unicamp.br/prof/carnielli > _______________________________________________ > Logica-l mailing list > Logica-l@dimap.ufrn.br > http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l > ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Itala M. L. D'Ottaviano Centre for Logic, Epistemology and the History of Science - CLE State University of Campinas - UNICAMP P.O. Box 6133 13083-970 - Campinas-SP, Brazil Fax: +55-19-3289-3269 Tel.:+5519-3521-6517 _______________________________________________ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
