Présentation de Hannes Leitgeb, professeur invité du 10 au 21 mars
Hannes Leitgeb est professeur invité à l'université Paris 1 Panthéon-Sorbonne, est professeur Alexander von Humboldt à l'Université de Munich, titulaire depuis 2010 de la chaire de logique et de philosophie du langage et directeur du Centre de philosophie mathématique de la LMU de Munich.
https://www.mcmp.philosophie.uni-muenchen.de/people/faculty/hannes_leitgeb/index.html
Les recherches de Hannes Leitgeb portent sur la logique (théories de la vérité et de la modalité, paradoxe, conditionnels, raisonnement non monotone, logique doxastique dynamique), l'épistémologie (croyance, inférence, révision de la croyance, fondements de la probabilité, bayésianisme), la philosophie des mathématiques (structuralisme, prouvabilité informelle, abstraction, critères d'identité), la philosophie du langage (représentation symbolique et réseaux neuronaux, métacognition), la philosophie des sciences (contenu empirique, théorie de la mesure), abstraction, critères d'identité), philosophie du langage (indétermination de la traduction, compositionnalité), sciences cognitives (représentation symbolique et réseaux neuronaux, métacognition), philosophie des sciences (contenu empirique, théorie de la mesure) et histoire de la philosophie (positivisme logique, Carnap, Quine). Il est très favorable à la philosophie mathématique ou formelle, c'est-à-dire à l'application des méthodes logiques et mathématiques à la philosophie. Le 19 mars, Hannes Leitgeb recevra officiellement à Berlin le très prestigieux prix Leibniz. https://www.leopoldina.org/en/members/members-in-focus/hannes-leitgeb-awarded-the-2025-gottfried-wilhelm-leibniz-prize/
Deux conférences du professeur Leitgeb
Séminaire général de l'IHPST
le mardi 11 mars de 16h30 à 18h30
à l'IHPST, 13 rue du four, 2e étage, salle de conférences
Titre : The Logic of Epistemic Reasons. From Philosophy via Logic to AI
Résumé: The talk will argue for a system of axioms that is meant to capture the logic of normative reasons for belief. The system concerns two kinds of reason-for relations, an identity criterion for reasons, an aggregation function for reasons, and a function for the revision of belief by reasons. The resulting theory avoids problems that have been ascribed to the additive aggregation of reasons, it entails that reasons conform to a vector structure, it builds a bridge between the philosophical theory of reasons and Bayesian formal epistemology, and it might have some applications in explainable AI.
---------------
Séminaire Philmath de l'IHPST
le mardi 18 mars de 11h à 13h
à l'IHPST, 13 rue du four, 2e étage, salle de conférences
Titre: When Rules Define Logical Operators. Rules as Second-Order Definitions
Résumé: Logical inferentialists hold that the meaning of logical operators is given by their rules of inference. Arthur Prior cast doubt on this by introducing rules for his tonk operator that would allow for the derivation of any sentence whatsoever from any sentence whatsoever. The obvious inferentialist reply was to require some constraints on the defining rules, such as conservativeness (Belnap) or harmony (Dummett). In this talk, I will defend and investigate a different constraint: rules define a classical logical operator just in case they translate into an explicit definition in pure classical second-order logic.