Offre de thèse
ISITE IRP - Logique et/ou philosophie des mathématiques
Date limite de candidature
01-06-2026
Date de début de contrat
01-10-2026
Directeur de thèse
ARANA Andrew
Encadrement
La thèse sera co-encadrée par Professeur Kai Wehmeier au département de logique et philosophie des sciences à l'Université de Californie-Irvine, É.-U.
Type de contrat
école doctorale
équipe
contexte
**FaTiLLaM (Formalisation comme traduction en logique, langage et mathématiques)** est un projet de recherche collaboratif quinquennal financé par le CNRS, l'Université de Lorraine et l'Université de Californie à Irvine, et mené conjointement par les Archives Henri-Poincaré de l'Université de Lorraine (France) et le Center for the Advancement of Logic, its Philosophy, History, and Applications (C-ALPHA) de l'Université de Californie à Irvine (États-Unis). Il comprend deux axes principaux : (1) l'histoire du projet de formalisation, couvrant approximativement la période allant de Thomas d'Aquin à Richard Montague, et (2) l'étude systématique des méthodes de formalisation telles qu'elles se déploient dans la comparaison de langages formels interprétés, de logiques et de théories mathématiques, et qui concerne les approches symboliques et neuro-symboliques de l'intelligence artificielle.spécialité
Philosophielaboratoire
AHP-PReST - Archives Henri Poincaré - Philosophie et Recherches sur les Sciences et les Technologies
Mots clés
Logique, philosophie des mathématiques
Détail de l'offre
Voici la traduction en français :
**FaTiLLaM (Formalisation comme traduction en logique, langage et mathématiques)** est un projet de recherche collaboratif quinquennal financé par le CNRS, l'Université de Lorraine et l'Université de Californie à Irvine, et mené conjointement par les Archives Henri-Poincaré de l'Université de Lorraine (France) et le Center for the Advancement of Logic, its Philosophy, History, and Applications (C-ALPHA) de l'Université de Californie à Irvine (États-Unis). Il comprend deux axes principaux : (1) l'histoire du projet de formalisation, couvrant approximativement la période allant de Thomas d'Aquin à Richard Montague, et (2) l'étude systématique des méthodes de formalisation telles qu'elles se déploient dans la comparaison de langages formels interprétés, de logiques et de théories mathématiques, et qui concerne les approches symboliques et neuro-symboliques de l'intelligence artificielle.
Le ou la doctorant(e) travaillera sous la direction conjointe du professeur Andrew Arana (UL) et du professeur Kai Wehmeier (UCI) sur un sujet s'inscrivant dans l'un ou l'autre des deux axes principaux décrits ci-dessus. Le sujet est par ailleurs libre. Les candidats doivent posséder un master en philosophie, mathématiques, linguistique théorique, informatique théorique, ou dans un domaine connexe. Nous sommes particulièrement intéressés par les personnes ayant une solide formation dans un ou plusieurs des domaines suivants : logique mathématique, logique philosophique, histoire de la logique, sémantique formelle (par exemple, grammaire de Montague), intelligence artificielle symbolique et/ou connexionniste.
Keywords
Logic, Philosophy of mathematics
Subject details
FaTiLLaM (Formalization as Translation in Logic, Language, and Mathematics) is a five-year joint research project funded by the CNRS, the Université de Lorraine, and the University of California, Irvine, and jointly carried out by the Archives Henri-Poincaré at the Université de Lorraine (France) and the Center for the Advancement of Logic, its Philosophy, History, and Applications (C-ALPHA) at the University of California, Irvine (USA). It consists of two principal axes: (1) the history of the project of formalization, ranging in time roughly from Thomas Aquinas to Richard Montague, and (2) the systematic investigation of methods of formalization as it occurs in the comparison of interpreted formal languages, logics, and mathematical theories, and bears on symbolic and neurosymbolic approaches to artificial intelligence. The PhD student will be working under the joint supervision of Prof. Andrew Arana (UL) and Prof. Kai Wehmeier (UCI) on a topic fitting into either of the two principal axes described above. The topic is otherwise open. Candidates must possess a master's degree in philosophy, mathematics, theoretical linguistics, theoretical computer science, or a related area. We are especially interested in persons with substantial backgrounds in one or more of the following areas: mathematical logic, philosophical logic, history of logic, formal semantics (e.g. Montague Grammar), symbolic and/or connectionist artificial intelligence.
Profil du candidat
Voici la traduction de ce passage :
Le ou la doctorant(e) travaillera sous la direction conjointe du professeur Andrew Arana (UL) et du professeur Kai Wehmeier (UCI) sur un sujet s'inscrivant dans l'un ou l'autre des deux axes principaux décrits ci-dessus. Le sujet est par ailleurs libre. Les candidats doivent être titulaires d'un master en philosophie, mathématiques, linguistique théorique, informatique théorique, ou dans un domaine connexe. Nous sommes particulièrement intéressés par les personnes ayant une solide formation dans un ou plusieurs des domaines suivants : logique mathématique, logique philosophique, histoire de la logique, sémantique formelle (par exemple, la grammaire de Montague), intelligence artificielle symbolique et/ou connexionniste.
Les candidat(e)s intéressé(e)s doivent envoyer :
- Un curriculum vitae incluant les publications
- Une brève déclaration d'intérêts de recherche, comprenant une description du projet de recherche qui sera mené pendant le contrat (jusqu'à 5 pages)
Candidate profile
The PhD student will be working under the joint supervision of Prof. Andrew Arana (UL) and Prof. Kai Wehmeier (UCI) on a topic fitting into either of the two principal axes described above. The topic is otherwise open. Candidates must possess a master's degree in philosophy, mathematics, theoretical linguistics, theoretical computer science, or a related area. We are especially interested in persons with substantial backgrounds in one or more of the following areas: mathematical logic, philosophical logic, history of logic, formal semantics (e.g. Montague Grammar), symbolic and/or connectionist artificial intelligence.
Prospective applicants should send:
- A curriculum vitae including publications
- a brief statement of research interests including a description of the research project to be undertaken during the contract (up to 5 pages)
Référence biblio
A. Arana & W. Stafford (2023), “On the difficulty of discovering mathematical proofs”, Synthese 202:38, 1–29.
A. Arana (2024), Elements of purity. Cambridge University Press.
A. Arana (2024), “Disagreement about new axioms in mathematics,” Annals of the Japan Association for Philosophy of Science 33:47-56.
A. Arana & J. Kennedy (forthcoming), Aesthetics in mathematics. Cambridge University Press.
T. Meadows (2024), 'Beyond linguistic interpretation in theory comparison,' The Review of Symbolic Logic 17:3, 819-859.
T. Meadows (2023), 'Risk and theoretical equivalence in mathematical foundations,' Synthese 202:5, 1-35.
T. Meadows (2021), 'Relative Interpretation Between Logics,' Erkenntnis 88, 3203–3220.
K. Wehmeier (2023), 'On Equivalence Relations between Interpreted Languages, with an Application to Modal and First-Order Language,' Erkenntnis 88, 193–213.
T. Piecha & K. Wehmeier, editors (2024), Peter Schroeder-Heister on Proof-Theoretic Semantics, Springer.
K. Wehmeier (2024), 'On Quantification and Extensionality,' Review of Symbolic Logic 17:2, 343-365.
K. Wehmeier (2024), 'Wittgensteinian Predicate Logic and Compositionality,' Notre Dame Journal of Formal Logic 65:2, 113-125.
K. Wehmeier (2024), 'On the logical substantiveness of compositionality,' Linguistics & Philosophy 47 (6):1071-1087.
K. Wehmeier (forthcoming), 'How Tarskian are Carnap's Semantics?', History and Philosophy of Logic.
Julie Kallini, Isabel Papadimitriou, Richard Futrell, Kyle Mahowald, and Christopher Potts. 2024. 'Mission: Impossible Language Models,' In: Proceedings of the 62nd Annual Meeting of the Association for Computational Linguistics, pages 14691–14714. Winner of ACL Best Paper Award.
J. Kroll, A. Chan, A. Cheng, G. Scontras (2023), 'How to frame bilingualism in context: Putting people and places in mind,' Bilingualism: Language and Cognition 26, 17–19.
G. Scontras (2023), 'Adjective ordering across languages,' Annual Review of Linguistics 9, 357–376.
G. Scontras (2022), 'On the semantics of number morphology,' Linguistics and Philosophy 45, 1165–1196.