Walter Carnielli

Walter Alexandre Carnielli, né à Campinas au Brésil en 1952, a mené une carrière de mathématicien, philosophe et enseignant universitaire. Sa production académique se concentre sur la logique polyvalente, la logique paraconsistante et la combinatoire. Tout au long de sa carrière, il a entretenu une longue association avec l'Université d'État de Campinas, où il a obtenu ses diplômes de premier cycle et de doctorat.

Formation académique et travaux initiaux

Carnielli a obtenu ses diplômes de licence et de master à l'Université d'État de Campinas avant d'obtenir son doctorat en 1984 sous la direction de Newton da Costa. Après ses études doctorales, il a effectué des recherches postdoctorales à l'Université de Californie à Berkeley, à l'invitation de Leon Henkin.

Contributions à la logique

Ses recherches portent sur la théorie de la démonstration et la sémantique des systèmes polyvalents et paraconsistants. Il a développé une méthode de tableaux pour la logique polyvalente qui a généralisé les approches existantes. Ses travaux sur la sémantique des traductions possibles ont fourni un nouveau cadre interprétatif pour la logique paraconsistante, tandis que son exploration des logiques de l'incohérence formelle a comblé le fossé entre la théorie paraconsistante et les applications en informatique.

Combinatoire et logiques modulées

Carnielli a publié des travaux sur la combinatoire finie et infinie, notamment des recherches sur les problèmes de domaine des tours. En collaboration avec A. M. Sette et P. A. Veloso, il a développé des logiques modulées, un système conçu pour la formalisation du raisonnement qualitatif par le biais de quantificateurs généralisés. Ses intérêts de recherche plus larges englobent la théorie des modèles, les fondements du calcul quantique et la méthodologie de combinaison des systèmes logiques.

Leadership institutionnel et reconnaissance

Carnielli a effectué trois mandats en tant que directeur du Centre de logique, d'épistémologie et d'histoire des sciences de l'Université de Campinas et a occupé la présidence de la Société brésilienne de logique. Il a siégé aux comités de rédaction de publications telles que Studia Logica et le Journal of Applied Logic. Ses recherches ont été soutenues par une bourse Alexander von Humboldt, et il a reçu la médaille d'or Telesio-Galilei en 2012.

Faits marquants

- Naissance : 1952, Campinas, Brésil - Doctorat : Université d'État de Campinas, 1984 - Post-doctorat : Université de Californie, Berkeley - Employeur actuel : Université de Campinas - Domaines principaux : Logique mathématique, combinatoire, philosophie - Prix majeur : Médaille d'or Telesio-Galilei, 2012

Questions posées par les lecteurs

### Quel est le centre de recherche de Carnielli en logique ?

Il se spécialise dans la logique polyvalente, la logique paraconsistante et la systématisation de l'incohérence formelle pour soutenir les applications en informatique.

### Où Carnielli a-t-il occupé des rôles de leadership académique majeurs ?

Il a été président de la Société brésilienne de logique et directeur du Centre de logique, d'épistémologie et d'histoire des sciences à l'UNICAMP.