Institut Jean Nicod

Accueil du site > Membres > Archives > 2011-2012 > 2.PhD > VIDAL Mathieu > Présentation



Présentation

 

email: math.vidal@laposte.net 

Titulaire d’un D.E.A en Philosophie (Université Rennes 1) et d’un Master of Science en Logique (ILLC, Amsterdam), je suis actuellement ingénieur d’étude en informatique chez C-S Communication & Système à Grenoble. Architecte logiciel, concepteur et développeur, je travaille actuellement sur des applications J2EE de simulation ou de calcul haute performance.

La thèse que je prépare sous la direction de Frédéric Nef a pour thème l’utilisation de la notion de connexion comme principe explicatif de notre compréhension des phrases conditionnelles. Ces phrases, dont le prototype est « Si A, B », sont considérées comme étant une des bases de la logique formelle et plus généralement de tout type de raisonnement utilisant le langage. Malgré leur caractère fondamental, aucun consensus n’est encore atteint quant à une sémantique décrivant correctement leur emploi, en particulier lorsqu’elles sont employées dans le langage naturel. Je souhaite tout d’abord utiliser le concept de connexion pour obtenir une classification des conditionnels en plusieurs types présentant chacun des propriétés logiques propres. Dans un deuxième temps, j’espère pouvoir rendre compte des différents types de conditionnels dégagés en utilisant une sémantique formelle en terme de mondes possibles prenant en compte cette notion de connexion.

 

EHESSCNRSENS