Topic description
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 : l'histoire du projet de formalisation, couvrant approximativement la période allant de Thomas d'Aquin à Richard Montague, et 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: the history of the project of formalization, ranging in time roughly from Thomas Aquinas to Richard Montague, and 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/
Funding category
Funding further details
Financement d'un établissement public Français
En cliquant sur "JE DÉPOSE MON CV", vous acceptez nos CGU et déclarez avoir pris connaissance de la politique de protection des données du site jobijoba.com.