Walter Carnielli

Walter Alexandre Carnielli, 1952 in Campinas, Brasilien, geboren, hat eine Karriere als Mathematiker, Philosoph und Hochschullehrer aufgebaut. Sein akademisches Werk konzentriert sich auf mehrwertige Logik, parakonsistente Logik und Kombinatorik. Während seiner gesamten Karriere pflegte er eine langjährige Verbindung zur Staatlichen Universität von Campinas, wo er sowohl seinen Bachelor- als auch seinen Doktortitel erwarb.

Akademische Ausbildung und frühe Arbeit

Carnielli absolvierte sein Bachelor- und Masterstudium an der Staatlichen Universität von Campinas, bevor er 1984 unter der Betreuung von Newton da Costa promovierte. Nach seinem Doktoratsstudium forschte er als Postdoktorand an der University of California, Berkeley, auf Einladung von Leon Henkin.

Beiträge zur Logik

Seine Forschung konzentriert sich auf die Beweistheorie und Semantik mehrwertiger und parakonsistenter Systeme. Er entwickelte eine Tableau-Methode für mehrwertige Logik, die bestehende Ansätze verallgemeinerte. Seine Arbeit zur Semantik möglicher Übersetzungen lieferte einen neuen interpretativen Rahmen für parakonsistente Logik, während seine Erforschung der Logik formaler Inkonsistenz die Lücke zwischen parakonsistenter Theorie und Anwendungen in der Informatik schloss.

Kombinatorik und modulierte Logiken

Carnielli hat Arbeiten zur endlichen und unendlichen Kombinatorik veröffentlicht, einschließlich Forschungen zu Turm-Domänen-Problemen. In Zusammenarbeit mit A. M. Sette und P. A. Veloso entwickelte er modulierte Logiken, ein System zur Formalisierung qualitativen Schließens durch verallgemeinerte Quantoren. Seine breiteren Forschungsinteressen umfassen Modelltheorie, Grundlagen des Quantencomputings und die Methodik der Kombination logischer Systeme.

Institutionelle Führung und Anerkennung

Carnielli war drei Amtszeiten lang Direktor des Zentrums für Logik, Epistemologie und Wissenschaftsgeschichte an der Universität von Campinas und hatte den Vorsitz der Brasilianischen Logikgesellschaft inne. Er war Mitglied in den Redaktionsbeiräten von Publikationen wie Studia Logica und dem Journal of Applied Logic. Seine Forschung wurde durch ein Alexander-von-Humboldt-Stipendium unterstützt, und er wurde 2012 mit der Telesio-Galilei-Goldmedaille ausgezeichnet.

Fakten

- Geboren: 1952, Campinas, Brasilien - Promotion: Staatliche Universität von Campinas, 1984 - Post-Doc: University of California, Berkeley - Aktueller Arbeitgeber: Universität von Campinas - Hauptgebiete: Mathematische Logik, Kombinatorik, Philosophie - Wichtige Auszeichnung: Telesio-Galilei-Goldmedaille, 2012

Fragen von Lesern

### Was ist der Schwerpunkt von Carniellis Forschung in der Logik?

Er ist spezialisiert auf mehrwertige Logik, parakonsistente Logik und die Systematisierung formaler Inkonsistenz zur Unterstützung von Anwendungen in der Informatik.

### Wo hatte Carnielli wichtige akademische Führungsrollen inne?

Er war Präsident der Brasilianischen Logikgesellschaft und Direktor des Zentrums für Logik, Epistemologie und Wissenschaftsgeschichte an der UNICAMP.