François Lepage
- Professeur honoraire
-
Faculté des arts et des sciences - Département de philosophie
Courriels
francois.lepage@umontreal.ca (Travail)
Expertises
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.
Encadrement Tout déplier Tout replier
Cycle : Doctorat
Diplôme obtenu : Ph. D.
Cycle : Maîtrise
Diplôme obtenu : M.A.
Cycle : Maîtrise
Diplôme obtenu : M.A.
Cycle : Maîtrise
Diplôme obtenu : M.A.
Cycle : Maîtrise
Diplôme obtenu : M.A.
Cycle : Maîtrise
Diplôme obtenu : M.A.
Projets de recherche Tout déplier Tout replier
EXISTENCE ET CONNAISSANCE DES OBJETS MATHEMATIQUES Projet de recherche au Canada / 2010 - 2015
EXISTENCE ET CONNAISSANCE DES OBJETS MATHEMATIQUE Projet de recherche au Canada / 2010 - 2015
ATELIER: LA CRISE DES FONDEMENTS: QUELLE CRISE? /THE FOUNDATIONS CRISIS: WHICH CRISIS? Projet de recherche au Canada / 2011 - 2013
ATELIER : LA CRISE DES FONDEMENTS: QUELLE CRISE ? /THE FOUNDATIONS CRISIS: WHICH CRISIS ? Projet de recherche au Canada / 2011 - 2013
LES SYSTEMES LOGIQUES DE LESNIEWSKI: UNE PERSPECTIVE CONTEMPORAINE Projet de recherche au Canada / 2009 - 2011
Consultez cette fiche sur :