Philosophie de la connaissance et logique intuitionniste

Le titre de ce mémoire, Philosophie de la connaissance et logique intuitionniste, indique l’unité des articles qui composent cet ouvrage : ce travail de recherches est un effort pour montrer ce qu’apporte la logique intuitionniste de Heyting à la philosophie de la connaissance, telle que celle-ci a été définie par Vuillemin à partir de sa classification des systèmes philosophiques. Il faut donner à cette expression « philosophie de la connaissance » non pas uniquement un sens épistémologique qui renverrait à l’enquête sur l’acquisition de la connaissance, mais également un sens ontologique, puisqu’un système philosophique qui porte sur le contenu de la connaissance et fait passer au second plan l’enquête sur l’accès à celle-ci, est aussi évidemment une philosophie de la connaissance. Pour rendre compte de l’unité des ces articles, on peut aussi faire référence au titre d’un des livres de Dummett, "The Logical Basis of Metaphysics", puisque tous ces articles montrent, à partir d’un angle à chaque fois différent, à quel point le rejet ou l’adoption de la logique intuitionniste fonde une métaphysique de la connaissance, c’est-à-dire décide du domaine de celle-ci ou de ses conditions de possibilité