Colegas, Compartilho meus profundos sentimentos de tristeza pela perda do Ryszard Wójcicki.
Com Itala e outros colegas do Departamento de Matemática da Unicamp (Ayda Arruda, Mário Sette, Luiz Paulo de Alcântara) participamos das primeiras versões do livro dele, onde Wójcicki diligentemente escrevia na lousa todas os conceitos e demonstrações que usaria no livro. Há pouco tempo eu estava na Polônia e estávamos conversando sobre ele, que foi orientador do Jacek Malinowski. Um detalhe para os "anais da Lógica": inclusive numa festa na casa dele em Wroclaw participei ativamente de uma discussão onde se decidia passar a revista Studia Logica (que ele dirigia na época) para a Springer, mantendo os direitos da Academia de Ciências da Polônia. Uma grande perda. W. Uma ======================== Walter Carnielli CLE and Department of Philosophy University of Campinas –UNICAMP, Brazil AI2- Advanced Institute for Artificial Intelligence Em qui., 29 de jan. de 2026 11:24, Itala Maria Loffredo Dottaviano < [email protected]> escreveu: > Colegas: > > Mais um importante lógico que parte de nosso convívio! > > Ayda Arruda recebeu-o no Brasil, com auxílio FAPESP, durante meses, na > UNICAMP. > > Tive o privilégio de participar dos Seminários ministrados por ele, > durante os quais expôs os que viria a ser seu fudamental livrio Theory of > Logical Calculi - Basic Theory of Consequence Operations. > > Pessoa encantadora, que esteja em paz! > > Itala > > Em qui., 29 de jan. de 2026 às 16:16, jean-yves beziau < > [email protected]> escreveu: > >> Meu aluno Thiago me passou hoje a notícia do falecimento de Ryszard >> Wójcicki >> https://logika.net.pl/language/en/death-of-professor-ryszard-wojcicki/ >> Wójcicki foi um dos mais importantes lógicos da tradição polonesa do >> operador de consequência com teoria geral das lógicas, >> após a segunda guerra mundial, dando continuação aos trabalhos de Tarski, >> Lindenbaum, Wajsberg, Los, Suszko, ... >> Seu livro publicado em 1988, é uma síntese de 60 anos de desenvolvimento >> desta teoria. >> Theory of Logical Calculi - Basic Theory of Consequence Operations >> https://link.springer.com/book/10.1007/978-94-015-6942-2 >> Uma primeira versão deste livro foi publicada em 1984: >> Lectures on Propositional Calculi. Ossolineum, Wrocław >> Eu acho esta primeira versão mais aconchegante >> além do fato que foi escrita principalmente quando ele estava no Brasil, >> tal que dito o no prefácio: >> "Although the work on this book was concluded only after my return to >> Poland, the substantial >> part of it have been done during my stay in Brazil sponsored by FAPESP >> (Fundação de Amparo >> à Pesquisa do Estado de São Paulo, Brazil, grant no 80/1188–8). I >> benefited a great deal and in >> various ways from the opportunity to have scientific context with my >> Brazilian colleagues and >> friends. My greatest debt has been to Prof. Ayda I. Arruda, at that time >> the Director of Instituto de >> Matemática e Estatística e Ciência de Computação, Universidade Estadual >> de Campinas both for >> the care she took for creating me excellent conditions for work and for >> her keen and penetrating >> interest in the ideas I discussed in my lectures. Also I own a special >> debt to Prof. Newton C. A. >> da Costa for his invitation to Instituto de Matemática e Estatística, >> Universidade de São Paulo and >> stimulating discussions we held, and to Prof. Elias Alves for his >> introducing me to people from >> the Logical Center of UNICAMP and his assisting me on many occasions." >> Ver mais detalhes no meu artigo >> The Lvov-Warsaw School: A True Mythology >> https://link.springer.com/chapter/10.1007/978-3-319-65430-0_55 >> onde eu conto a minha primeira estadia na Polônia em 1992-93 onde comecei >> a usar a expressão "Universal Logic" para uma teoria geral das lógicas, >> continuação da teoria do operador de consequência. >> JYB >> >> -- >> LOGICA-L >> Lista acadêmica brasileira dos profissionais e estudantes da área de >> Lógica <[email protected]> >> --- >> Você recebeu essa mensagem porque está inscrito 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 [email protected]. >> Para ver esta conversa, acesse >> https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAF2zFLACOdUjNFgm0oNKnbMf3FhFASmTUOUKwOuEH%2BoEOHKwyA%40mail.gmail.com >> <https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAF2zFLACOdUjNFgm0oNKnbMf3FhFASmTUOUKwOuEH%2BoEOHKwyA%40mail.gmail.com?utm_medium=email&utm_source=footer> >> . >> > > > -- > Prof. Dr. Itala M. Loffredo D'Ottaviano > Full Professor in Logic and the Foundations of Science > Member and Researcher of the *Centre for Logic, Epistemology and the* *History > of Science* at the University of Campinas > Research Fellow of the *Brazilian National Council for Scientific and > Technological Development* > Titular Member, *Brazilian Academy of Philosophy* (Rio de Janeiro) > Emeritus Member, *Académie Internationale de Philosophie de Sciences * > (Bruxelles) > Titular Member, *Institut International de Philosophie *(Paris-Nancy) > Editor of *Coleção CLE, *by the *Centre for Logic, Epistemology and the* > *History > of Science.* > > -- > LOGICA-L > Lista acadêmica brasileira dos profissionais e estudantes da área de > Lógica <[email protected]> > --- > Você recebeu essa mensagem porque está inscrito 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 [email protected]. > Para ver esta conversa, acesse > https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAGi1dG6JAn0DEZVBXg738KqykN7MKyVUKRJv4B%2B1XL9T-Us-vw%40mail.gmail.com > <https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAGi1dG6JAn0DEZVBXg738KqykN7MKyVUKRJv4B%2B1XL9T-Us-vw%40mail.gmail.com?utm_medium=email&utm_source=footer> > . > -- LOGICA-L Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica <[email protected]> --- 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 [email protected]. Para ver esta conversa, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAOrCsLe-_1r3t-4M4g0GRiaguJ9J1J-NX3smFY68WfzTDiRc3g%40mail.gmail.com.
