Caro/as Colegas
Daqui a pouco vai começar na UNICAMP uma escola de verão de duas semanas em homenagem a Newton da Costa e aos 45 anos do CLE organizada por Itala D'Ottaviano e Walter Carnielli. https://www.cle.unicamp.br/splogic/ Vai ter cerca de 200 participantes do mundo inteiro. É um evento excepcional em muitos sentidos do qual vou participar do início até o fim (já cheguei em Campinas). Conheci o trabalho de Newton da Costa em 1989 lendo uma entrevista dele na revista lacaniana L'Âne (O Burro) quando passava um fim de semana na casa do pae da mina namorada perto de Angers na França, que era psicanalista e foi analisado pelo próprio Lacan. Gostei da entrevista que relacionava a lógica paraconsistente com o inconsciente e o Newton da Costa citava Pierre Curie “Faire de sa vie un rêve et de ses rêves une réalité”. Na época, depois de ter defendido em 1988 um mestrado de filosofia sobre a alegoria da caverna com Sarah Kofman na Sorbonne, eu estava fazendo um mestrado de lógica matemática na Universidade de Paris 7 e decidi então de conduzir minha dissertação de pesquisa sobre a lógica paraconsistente. Neste trabalho apresentei um sistema de sequentes para a lógica C1 do Newton da Costa, provei o teorema de eliminação das cortes (Andrés Raggio, que foi aluno do Paul Bernays na década 60, tinha tentando fazer isso sem sucesso), também apresentei uma versão melhorada da semântica de bivaloração para C1 em conexão a este sistema de sequente. Em janeiro de 1991 Newton da Costa visitou Paris, fazendo uma série de palestras e eu o conheci pessoalmente. Tivemos várias conversas e ele me convidou para passar um ano com ele na USP, fazendo um sanduíche, já que tinha começado meu doutorado de lógica matemática na França. Fiz este doutorado circulando no mundo, fiquei por longa duração na Polônia (Dpto de Lógica da Universidade de Wrocław) e na Califórnia (Fulbright no Dpto de Matemática da UCLA). Defendi meu doutorado em 1995 no Dpto de Matemática da Universidade Denis Diderot (Paris 7), considerado com um dos melhores do mundo. O título da minha tese é “Recherches sur la Logique Universelle”. Escolhi usar a expressão “lógica universal” quando estava na Polônia em 1993, como nome de uma teoria geral das estruturas lógicas, usando esta expressão por analogia à “álgebra universal” (expressão devida a J.J.Sylvester) que é uma teoria geral das estruturas algébricas. Este trabalho foi diretamente influenciado pelo trabalho de Newton da Costa sobre a teoria das valorações (escrevi dois artigos com ele sobre este assunto), que mostra que uma grande classe de lógicas pode ser descrita por semânticas bivalorades, geralmente não verifuncionais. O resultado principal do meu doutorado é um teorema não-trivial mostrando condições suficientes para que a interpretação semântica intuitiva (apresentada pelo próprio Gentzen) de uma regra de sequentes vale. Este teorema é típico da lógica universal, porque consegue a se provar um resultado geral a nível abstrato que depois pode se aplicar a milhares de sistemas, ele em particular trivializa o teorema de completude (para usar uma expressão devida a Wójcicki), considerado com um dos teoremas mais importantes da lógica moderna (Post / Gödel). Depois de passar um tempo no Rio de Janeiro trabalhando no LNCC - Laboratório Nacional de Computação Científica (a convite de Maurício Kritz) e no departamento de matemática da UFF (a convite de Jorge Petrucio) passei dois anos na Universidade de Stanford (a convite de Patrick Suppes). Depois fui trabalhar na Suíça onde lancei o primeiro congresso mundial de lógica universal (UNILOG) em Montreux em 2005 https://www.uni-log.org/ a revista Logica Universalis https://www.springer.com/journal/11787/ e a coleção de livros Studies in Universal Logic https://www.springer.com/series/7391 De volta para o Brasil, primeiro em Fortaleza (a convite de Tarcísio Pequeno), e depois entrando no Dpto de Filosofia da UFRJ, criei em setembro de 2014 o prêmio Newton da Costa de lógica para o aniversário de 85 anos dele. Rodrigo Freire venceu o prêmio e foi apresentar o trabalho dele na quinta edição do UNILOG na Universidade de Istambul na Turquia em 2015. Em 2013 organizei a quarta edição do UNILOG na Urca no Rio de Janeiro, que foi o maior evento de lógica até hoje no Brasil (e um dos maiores do mundo), com participação de cerca de 400 pesquisadores do mundo inteiro, incluindo uma escola e muitos workshops sobre todos os aspectos da lógica. Para a sexta edição do UNILOG organizada em Vichy na França em 2018 lancei o primeiro concurso mundial de prêmios de lógica, que foi vencido por Ivan Varzinczak, ganhador do prêmio de lógica Louis Couturat que eu criei na França. Até hoje monitorei a criação de cerca de 15 prêmios de lógica no mundo (em particular o prêmio Alfred Tarski na Polônia e o prêmio Aristóteles na Grecia). Ciro Russo, vencedor do prêmio Newton da Costa, ganhou o segundo concurso mundial de prêmios de lógica na sétima edição do UNILOG em 2022 em Creta. O próximo UNILOG vai ser na cidade de Cusco, no Peru, em 2025, organizado conjuntamente com Luis Felipe Alegre, presidente da Sociedade Peruana de Lógica e Epistemologia, e vai incluir o terceiro concurso mundial de prêmios de lógica. O Peru é o país de Francisco Miró Quesada, que foi embaixador do Peru na França e presidente de FISP (Fédération Internationale des Sociétés de Philosophie). Quesada foi um grande amigo de Newton da Costa e ele que propôs a expressão bem sucedida “lógica paraconsistente” a pedido do mesmo. Luis Felipe, junto com José Carlos Cifuentes, editou recentemente um número especial do SAJL - South American Journal of Logic (que lancei em 2015 e do qual sou editor chefe junto com Marcelo Coniglio), dedicado aos 100 anos do Quesada, onde há artigos e cartas originais dos dois sobre o assunto: http://www.sa-logic.org/sajl-62.html No SPLogIC vou fazer uma palestra sobre a paraconsistência, falando sobre a natureza e o sentido da noção de contradição, do ponto de vista lógico, filosófico, matemático e semiótico. Sempre continuei a trabalhar em lógica paraconsistente. Fui um dos principais organizadores do congresso de lógica paraconsistente na França em 2003, na Índia em 2014 e na Polônia em 2022 (a próxima edição em Oaxaca no México em 2024 vai ser organizado pela Maria del Rosario, posdoc comigo na UFRJ). Também estou editando a Paraconsistent Newsletter, entrevistando as maiores figuras da área: http://www.paraconsistency.org/interviews-2016-2021 A lógica paraconsistente me levou à lógica universal e também ao quadrado das oposições, sobre o qual estou organizando congressos interdisciplinares desde 2007 inclusive no Líbano, no Vaticano e na Ilha de Páscoa. Em 16 de setembro de 2019, dia do aniversário de Newton da Costa, organizei na USP junto com o Edelcio de Souza um pequeno evento para comemorar os 90 anos dele: https://sites.google.com/view/nca90/ Coletei nesta altura cartas de colegas do mundo inteiro celebrando o aniversário dele: https://sites.google.com/view/nca90/happy-birthday Em dezembro de 2019 organizei no Rio de Janeiro um congresso mundial dedicado ao Newton da Costa para os 90 anos dele sobre a criatividade: CREATIVITY 2019. Escolhi esta temática porque a criatividade caracteriza bem Newton da Costa. Quando estava na USP, ele estava chegando toda semana com uma ideia nova. Este congresso sobre criatividade foi o primeiro congresso mundial da Academia Brasileira de Filosofia (ABF) do qual eu fui eleito presidente em 2018, após o falecimento do João Ricardo Moderno, depois de atuar por 6 anos como diretor das relações internacionais. Conheci o Moderno no evento que foi organizado em 2009 na UNICAMP para o 80 anos do Newton da Costa. Através do Newton da Costa conheci também o Jorge Forbes presidente do ramo brasileiro da associação lacaniana La Cause Freudienne. Jorge me indicou para dar aulas de lógica em Paris à Presidente da Cause Freudienne Lilia Mahjoub-Trobas, experiência que foi bem interessante. Convidei o Jorge para o CREATIVITY 2019 no Rio de Janeiro. https://sites.google.com/view/creativity2019 Depois de lançar o concurso mundial de prêmios de lógicas em 2018, desenvolvido no modelo do prêmio Newton da Costa de lógica, lancei o dia mundial da lógica o dia 14 de janeiro de 2019 e na sequência fui visitar em Paris, enquanto presidente da ABF, a Embaixadora do Brasil na UNESCO, para submeter o projeto a assembleia geral da UNESCO. Este dia foi aceito por unanimidade por todos os países membros da UNESCO em novembro de 2019. Foi a integração mais rápida de um dia no calendário da UNESCO, e o único dia do calendário que foi proposto pelo Brasil. https://www.youtube.com/watch?v=xeDNHL-YHKA Meu mais recente artigo junto com Newton da Costa é: “Is God Paraconsistent?”. Está ligado ao projeto sobre lógica e religião que estou desenvolvendo desde 2014 com Ricardo Silvestre, organizando o primeiro WoCoLoR (World Congress on Logic and Religion) em João Pessoa em 2015 (ano passado organizamos o WoCoLoR 3 em Varanasi na Índia). Tenho atualmente com Ricardo e o Fabio Bertato (Coordenador do CLE) um projeto de pesquisa CNPq sobre o conceito de deus e a paraconsistência. Em 2022 criamos em Varsóvia a LARA (Logic And Religion Association): https://www.logicandreligion.com/lara Anteriormente, em 2021, lancei a LUA (Logica Universalis Association) para monitorar os congressos de lógica universal, os prêmios de lógica e todas as atividades que estou desenvolvendo em relação à lógica. LUA é uma meta-associação, associação de associações, a mais recente integrante é a recente criada Sociedade Portuguesa de Lógica. http://www.logica-universalis.org/LUAD >----------------------------------------------------------------------------------------------- Prof. Dr. Dr. Jean-Yves Beziau Programa de Pós-Graduação em Filosofia - PPGF Departamento de Filosofia, Universidade Federal do Rio de Janeiro http://www.jyb-logic.org/ -- LOGICA-L Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica <logica-l@dimap.ufrn.br> --- 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/CAF2zFLCDetHL0oGWYnMEHA%2BKARQyPA1-PTYwbxdp4z2AaXj59Q%40mail.gmail.com.
