Passer au contenu

/ Department of Philosophy

Je donne

Rechercher

Expert in: Intuitionist logic

Lepage, François

LEPAGE, François

Professeur honoraire

My recent work addresses the probabilistic interpretations of logic where validity is defined in terms of probability, in particular the interpretation of intuitionistic logic with strong negation where the probability of the conditional is the conditional probability. Also in intuitionistic logic, I am working on developing a mixed direct method (Quine substitution and normal forms) to test intuitionist validity in propositional calculus. I am also developing a similar method for intuitionistic logic with strong negation. I have also worked recently on Lesniewski's ontology and its relations with set theory.

Read more...

Full Profile