Editer votre profil

Lepage, François

Professeur honoraire

Contact :

Lepage, François

Expertises de recherche

 

Mes travaux récents portent sur les interprétations probabilistes de la logique où la validité est définie en termes de probabilité, en particulier sur l'interprétation de la logique intuitionniste avec négation forte où la probabilité du conditionnel est la probabilité conditionnelle. Toujours en logique intuitionniste, je travaille à l'élaboration d'une méthode directe mixte (substitution à la Quine et formes normales) pour tester la validité intuitionniste en calcul propositionnel. Je développe également une méthode similaire pour la logique intuitionniste avec négation forte.J'ai également travaillé récemment sur l'Ontologie de Lesniewski et ses rapports avec la théorie des ensembles

Champs d'expertise

Thèses et mémoires dirigés au département et disponibles dans Papyrus