Fui convidado pelo Newton da Costa nesta altura para passar um ano na USP.
Foi com esses dois professores da USP que desenvolvi mais contatos.
A Marilena Chauí me emprestou a sala dela, mas quase nao vi ela porque ela estava afastada fazendo política
Fiquei assistindo ao seminário da Andrea e rapidamente desenvolvemos amizade.
Ela falava fluentemente francês tendo feito um mestrado sobre Maurice Merleau-Ponty no Reino da Bélgica, sob a direção do Jean Ladrière
Ela morava perto na USP e eu estava indo para a casa dela com uma certa frequência, ela morava com o filho e a filha.
Entre outras coisas me lembro de ter assistido dia 11 de novembro de 1991 (exatamente 30 anos atrás ...)
na casa deles ao lançamento do videoclip do Michael Jackson "Black or White"
Conversamos um pouco sobre o tudo e o nada.
Ele me contou em particular várias coisas sobre o desenvolvimento do trabalho dela que relatarei numa outra oportunidade.
Nesta época ela já estava muito ligada a computação e computadores ...
Antes de eu ir para Polônia, ela me vendeu um Toshiba T1000, considerado com o primeiro laptop de verdade:
Este instrumento foi fundamental para o desenvolvimento das minhas pesquisas nos 5 anos seguintes.
Escrevi com ele meu doutorado de matemática, meu doutorado de filosofia, um mestrado de cinema, uma novela, 15 contos e cerca de 50 artigos.
Neste primeiro ano no Brasil o meu trabalho de pesquisa estava diretamente ligado às trabalhos fundamentais dela, em particular :
- A.Loparc, "Une étude sémantique de quelques calculs propositionnels."
Comptes Rendus de l’Académie des Sciences de Paris, 284a (1977), pp.835-838.
onde ela apresenta uma semântica bivalorade para a lógica paraconsistente Cw, assim que um método de decisão
dando sequência a uma nota publicada no ano anterior no CRAS, na qual da Costa e Alves apresentam tal semântica para a lógica C1.
Tal que ela escreve nesta nota, esses resultados se aplicam diretamente à lógica intuitionista.
- A.Loparic and N.C.A.da Costa "Paraconsistency, paracompleteness and valuations"
Logique et Analyse, 106 (1984), pp.119-131
que eu reeditei na antologia de lógica universal (pp.373-385)
Universal Logic: An Anthology - From Paul Hertz to Dov Gabbay
acompanhado de um artigo que escrevi apresentando este trabalho:
J-Y.Beziau, "Paralogics and the theory of valuation”,
Universal Logic: An Anthology - From Paul Hertz to Dov Gabbay, Birkhäuser, Basel, 2012, pp.361-372.
Durante minha estadia em 1991-92 escrevi vários artigos que são a continuação do trabalho dela, em particular:
J.-Y.Béziau, “Recherches sur la logique abstraite: les logiques normales” que foi publicado só mais tarde na Polônia,
Acta Universitatis Wratislaviensis, 18 (1998), pp.105-114.
Vamos publicar um número especial do SAJL - South American Journal of Logic -
em homenagem a Andrea Loparic que está sendo editado por Edelcio G.de Souza, professor da USP,. que foi monitor dela
Todo mundo é bem-vindo para contribuir. Ver aqui o CFP:
No SAJL já publicamos números em homenagem a Carlos Alchourrón, Francisco Miraglia e tem um já quase pronto em homenagem a Francisco Miró Quesada, o criador da "lógica paraconsistente".
JYB