Logique, langage, philosophie des mathématiques

Responsable (s)

La logique et sa philosophie forment, depuis plusieurs décennies, l’un des principaux axes de recherche de l’IHPST. Dans la configuration actuelle, la logique est conçue dans une interaction forte avec l’enquête philosophique sur les mathématiques, l’analyse sémantique du langage et l’histoire de la philosophie analytique. Le contexte institutionnel est celui d’une communauté d’établissements centrée sur le domaine des SHS, où les recherches en philosophie des sciences formelles placent l’IHPST en position de leader. 

Dans les trois directions indiquées, les recherches sont conduites en collaboration avec la communauté scientifique nationale et internationale, dans un esprit d’ouverture vers des disciplines et des questions connexes comme l’informatique, la linguistique, le fondement des mathématiques, la philosophie formelle ou la philosophie des sciences.

Au nombre des principaux sujets de recherche figurent la notion de démonstration en logique et en mathématiques, l’histoire et la philosophie de la logique dans son rapport à la philosophie analytique, la pensée de certaines figures majeures de cette histoire comme Hilbert, Tarski, ou Carnap, la nature et l’objectivité des mathématiques en lien avec la pratique mathématique et son histoire, ou encore la sémantique de la langue naturelle et ses implications ontologiques.

Thèses


Thèses en cours

Sous la direction de
Existence and Intentional Objects
Sous la direction de
Déflationnisme en matière de vérité et vérité mathématique
Sous la direction de
Sous la direction de
Conséquence logique, modèles et modalités
Sous la direction de
La Belle au bois dormant : un obstacle sur le chemin assuré des théoriciens de la probabilité ?
Sous la direction de
Sous la direction de
Logique de l'agent rationnel
Sous la direction de
Sous la direction de
La dynamique des pensées de se
Sous la direction de
SOUTIF Ludovic

Pages

Séminaires & colloques


Lundi 25 février 2019 - 17:3019:30
Lundi 19 Novembre 2018 - 17:3019:30
Lundi 17 Décembre 2018 - 17:3019:30
Lundi 15 Octobre 2018 - 17:3019:30
Lundi 28 Janvier 2019 - 17:3019:30
Lundi 25 Mars 2019 - 17:3019:30