Notica triste. Um grande lógico. Algumas coisas do meu "livro de memória". Encontrei-me (como vários colegas ) muitas vezes com Kosta Dosen em diversos lugares (Toulouse em particular, quando Kosta fugia um pouco da então conturbada Belgrado).
Me lembro que Kosta esteve no Encontro Brasileiro de Lógica em Salvador em maio de 1996, e ao ser informado que era outono no Brasil, ele disse : "Caramba, vocês mudam tudo no Brasil- não só mudaram a primavera para outono, mas ainda conseguiram esquentar o outono?" Uma outra vez, quando estavamos ouvindo nosso petulante amigo Jean-Yves Girard, que se referiu àqueles que fazem " lógica con la costa de la mano", Kosta me disse " Esta vendo? Ele se refere ao mesmo tempo a mim e ao Newton da Costa, isso não pode ser! E eu acrescentei " E talvez junto com o Costas Drossos..." Viverá nas nossas memórias, abraços tristes Walter 2017-10-22 13:11 GMT-02:00 Valeria de Paiva <valeria.depa...@gmail.com>: > Sad news, as Peter SH says > > > ---------- Forwarded message ---------- > From: Peter Schroeder-Heister <p...@uni-tuebingen.de> > Date: Sun, Oct 22, 2017 at 5:07 AM > Subject: [PT] Sad news: Kosta Dosen > To: proofthe...@lists.bath.ac.uk > > > Yesterday, 21 October 2017, our dear friend and colleague Kosta Dosen passed > away; losing his long struggle with cancer. He is survived by his daughter > Ana. The service and funeral will take place at the New Cemetery in Belgrade > on 24 October 2017, 12:00 (noon). > > > Born 1954 in Belgrade (Serbia), Kosta Dosen graduated from the University of > Belgrade in 1977 and received a doctorate from the University of Oxford in > 1981. He became a professor at the Mathematical Institute Belgrade in 1982, > was professor at the Department of Computer Science of the University of > Toulouse (France) from 1994 to 1998, and held the Chair of Logic in the > Philosophical Faculty of the University of Belgrade since 2003. He had > visiting posts at universities including Notre Dame (USA), Montpellier > (France) and Tuebingen (Germany). > > > Kosta Dosen's D.Phil. on "Logical Constants" was supervised by Michael > Dummett and Dana Scott. As part of this, and in subsequent publications, he > developed a proof-theoretic characterization of logical constants by means > of so-called "double-line rules", which has become widely discussed since > and is one of the major approaches in the debate on what logicality should > mean. Working on the proof theory (and partly also model theory) of logics > with restricted structural rules, he coined the term "substructural logic" > at a conference in Tuebingen in 1990. However, the main topic of his > intellectual life was the field of categorial proof theory that was opened > up by Lambek, Lawvere and others. Kosta Dosen shaped the development of this > field in many respects, in particular by his books on "Cut Elimination in > Categories" and "Proof-Theoretical Coherence" (the latter together with > Zoran Petric). He was a strong adherent and promotor of what Prawitz called > "general proof theory", which is the study of proofs as objects in their own > right rather than under the aspect of provability. This implied for him that > the question of the identity of proofs was the central topic of general > proof theory, where he was particularly interested in the relationship > between normalization-based and generality-based approaches. In recent years > he worked with great passion on Goedel's work including unpublished > manuscripts in his Nachlass. A critical edition (together with Milos Adzic) > of Goedel's Notre Dame course in logic has just appeared. > > Kosta Dosen was a gifted and dedicated teacher, who was an inspiration to > students and colleagues alike. His explanations will live on in the pages of > his textbook on elementary logic (in Serbian). > > > A further, and more thorough discussion of Kosta Dosen's achievements will > be published at a later stage. > > > Kosta will be greatly missed by relatives, friends and colleagues, and all > who had the good fortune to know him. > > -- > Prof. Peter Schroeder-Heister > Department of Computer Science > University of Tuebingen > Sand 13 > 72076 Tuebingen > Germany > e-mail: p...@uni-tuebingen.de > http://ls.inf.uni-tuebingen.de > > > > > > -- > Valeria de Paiva > http://vcvpaiva.github.io/ > http://research.nuance.com/author/valeria-de-paiva/ > http://www.cs.bham.ac.uk/~vdp/ > > -- > 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 logica-l+unsubscr...@dimap.ufrn.br. > Para postar nesse grupo, envie um e-mail para logica-l@dimap.ufrn.br. > Acesse esse grupo em > https://groups.google.com/a/dimap.ufrn.br/group/logica-l/. > Para ver essa discussão na Web, acesse > https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAESt%3DXvcq4aKn7--nN8d%2Bdev%3DQhFTvs239s4Cy%3DrqB9nv0mJiA%40mail.gmail.com. -- ----------------------------------------------- Walter Carnielli Centre for Logic, Epistemology and the History of Science and Department of Philosophy State University of Campinas –UNICAMP 13083-859 Campinas -SP, Brazil Phone: (+55) (19) 3521-6517 Institutional e-mail: walter.carnie...@cle.unicamp.br Website: http://www.cle.unicamp.br/prof/carnielli CV Lattes : http://lattes.cnpq.br/1055555496835379 -- 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 postar neste grupo, envie um e-mail para logica-l@dimap.ufrn.br. Visite este grupo em https://groups.google.com/a/dimap.ufrn.br/group/logica-l/. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CA%2Bob58Ooaqxhf68PQZyRE900gW6XDTHK%2BMYBmaT65mzkmf_U6w%40mail.gmail.com.