ISITE IRP - Logique et/ou philosophie des mathématiques // ISITE IRP - Logic and/or the philosophy of mathematics

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.
------------------------------------------------------------------------------------------------------------------------------------------------------------------------
------------------------------------------------------------------------------------------------------------------------------------------------------------------------

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.
------------------------------------------------------------------------------------------------------------------------------------------------------------------------
------------------------------------------------------------------------------------------------------------------------------------------------------------------------

Début de la thèse : 01/10/2026

Financement d'un établissement public Français

Université de Lorraine

78 SLTC - SOCIETES, LANGAGES, TEMPS, CONNAISSANCES

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)
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)