Sobre a SBL
Histórico
Diretoria
Estatuto
Atas
 
Associados
Sócios Fundadores
Torne-se Sócio da SBL
 
Eventos
EBL
SLALM
 
Publicações
Boletins Elêtrônicos
Publicações
 
Contato
Fale com a SBL
Localização
 
Links
Links relacionados
 
 
Interatividade
 
 
 
 
 


 

Notícias

9/8/2012 - CLE
 
 
Walter Carnielli, diretor do CLE e professor do Departamento de Filosofia do IFCH, foi indicado para receber a medalha de ouro da Telesio Galilei Academy of Science (baseada em Bellinzona, Suíça) para 2013 na área de Matemática, por suas contribuições conjuntas à Matemática, Lógica e Filosofia:

Professor da UNICAMP recebe medalha de ouro da Academia Telesio Galilei

Walter Carnielli é  Professor Titular do Departamento de Filosofia da Universidade Estadual de Campinas e Diretor do Centro de Lógica, Epistemologia e História da Ciência (CLE), cargo que já ocupou por dois outros mandatos. É editor e membro do corpo editorial de diversas revistas científicas  e de diversas sociedades científicas internacionais e membro do SQIG - Security and Quantum Information Group (IST,Lisboa, Portugal).

 

Pesquisa e ensina na área de Filosofia, com ênfase em Lógica e Fundamentos da Matemática. Atua principalmente nos seguintes temas: fundamento dos sistemas da lógica contemporânea, lógica e fundamentos da computação semânticas formais, combinação de lógicas, combinatória finita e infinita, história e filosofia da lógica. Presidiu a Sociedade Brasileira de Lógica por dois mandatos, e fundou o GT de Lógica da ANPOF, o qual coordenou por vários anos.

Carnielli é bolsista I do CNPq, e autor/coautor de cerca de 20 livros e 90 artigos científicos. Foi agraciado com o Prêmio Jabuti 2007 pelo livro Computabilidade, Funções Computáveis, Lógica e os Fundamentos da Matemática (Editora UNESP, 2006), em coautoria com Richard L. Epstein, cuja versão em inglês, Computability: Recursive Functions, Logic and the Foundations of Mathematics (Wadsworth-Brooks/Cole, EUA 1988, e várias re-edições) e adotado como livro-texto em mais de 50 universidades pelo mundo, sendo inclusive indicado pelo Philosophy Handbook 2011–2012 da University of London como um dos livros-textos principais do curso de Lógica Simbólica (cf. http://www.londoninternational.ac.uk/sites/default/files/governance/phil_comphb.pdf p. 196 ).

O seguinte texto foi extraído de “The International Directory of Logicians: Who's Who in Logic 2008 College Publications D. M. Gabbay and J. Woods, eds”

- - - - - - - - - -
Research Profile: Made substantial contributions to the proof theory and semantics for contemporary heterodox (non-classical) logics. Of special significance are his contributions to many-valued logics and paraconsistent logics and combination of logics. With his students and collaborators Carnielli introduced the possible-translations semantics, which led to a revival in the semantic interpretation of paraconsistent logics, and the concept of logics of formal inconsistency which systematize a great number of extant paraconsistent logics, opening the way to applications of paraconsistency to computer science and to philosophical investigations around the topic. Carnielli has also worked on finite and infinite combinatorics, and shaped, with collaborators, the modulated logics, a wide class of logics dedicated to formalize quantified uncertain reasoning.

Honours and Awards:

Alexander von Humboldt Fellow, Germany; Honorary Member, Deutsche
Vereinigung fuer Mathematische Logik und Grundlagen der Exakten Wissenschaften, Germany; Honorary Member, Polskie Towarzystwo Logiki i Filozofii Nauki, Poland.
Achievement Award, National Insurance Academy Pune, India.

Service to the Profession: Editor or member of editorial boards of major journals: Reviews Editor, Editorial Board, Logic and Logical Philosophy; Editorial Board, Journal of Logic and Computation; Editor, CLE e-Prints; Editorial Board,
Reports on Mathematical Logic; Editorial Board, Studia Logica; Associate Editor, Journal of Applied Non-Classical Logic.

- - - - - - - - - - - - - - - - -
Junto com o Prof. Carnielli será agraciado também com uma medalha o filósofo francês Luc Ferry, ex-ministro da Educação e Pesquisa do Governo francês (2002 – 2004) e professor das universidades de Lyon II, Caen, e Paris VII.

O nome da academia homenageia Bernardino Telesio e Galileo Galilei, tidos com heróis da resistência à autoridade contra a ciência livre.

A academia premiou desde 2008 diversos físicos, matemáticos e alguns poucos filósofos, incluindo os brasileiros Fernando Galembeck (Química, Unicamp) e Djairo Guedes de Figueiredo (Matemática, Unicamp).

http://telesio-galilei.com/tg/index.php/academy-award-2013
 

 

 
Notícias:
 
De 29/03/2013 a 07/04/2013
Evento
4º Congresso Mundial e Escola da Lógica Universal
6/3/2013
Revista Cálculo
Problemão disfarçado de probleminha
 
03/09/2009
Agência Fapesp
Combate à exclusão racional
 
 
 
 

© Copyright SBL 2009. Todos os Direitos Reservados.
SOCIEDADE BRASILEIRA DE LÓGICA - SBL
Centro de Lógica - UNICAMP
Rua Sérgio Buarque de Holanda, 251 | Caixa Postal - 6133 A | CEP 13083-970 Campinas, SP | Brasil
sbl@cle.unicamp.br