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

Existence and Intentional Objects
Sous la direction de
Recherches sur le déflationnisme aléthique contemporain
Sous la direction de
Une édition critique des diagrammes des Eléments d'Euclide
Sous la direction de
Sidolin N.
L'interprétation double de la probabilité et les problèmes d'auto-localisation
Sous la direction de
Modélisation de l’action politique en vue de la paix civile
Sous la direction de
Analyse sociologique des incertitudes associées à l'élaboration et l'usage des modèles dans le domaine de l'environnement
Sous la direction de
La polémique relative aux notions d’objet et de structure depuis la perspective du structuralisme mathématique contemporain: les propositions de Shapiro, Parsons, Hellman et Chihara.
Sous la direction de
Les apports de la notion d’Aboutness aux sémantiques formelles pour le langage naturel
Sous la direction de
La méthode de l'analyse, entre heuristique et histoire
Sous la direction de
Gandon S.
La dynamique des pensées de se
Sous la direction de
SOUTIF Ludovic

Pages

Séminaires & colloques


Monday 3 December 2018 - 12:30 to 14:00
Tuesday 4 December 2018 - 15:00 to 18:00
Monday 10 December 2018 - 12:30 to 14:00
Monday 17 December 2018 - 17:30 to 19:30
Tuesday 22 January 2019 - 15:00 to 17:00
Monday 28 January 2019 - 17:30 to 19:30
Tuesday 29 January 2019 - 15:00 to 17:00
Tuesday 29 January 2019 - 17:00 to 19:00
Monday 25 February 2019 - 17:30 to 19:30
Tuesday 12 March 2019 - 15:00 to 17:00
Monday 25 March 2019 - 17:30 to 19:30
Tuesday 2 April 2019 - 15:00 to 17:00
Monday 15 April 2019 - 17:30 to 19:30
Tuesday 21 May 2019 - 15:00 to 17:00
Monday 17 June 2019 - 17:30 to 19:30