Preuves intuitionnistes touchant la première philosophie

Vuillemin a toujours lu Descartes comme un intuitionniste avant la lettre, si l’on entend par « intuitionniste » un mathématicien qui adopte la philosophie de Brouwer et la logique de Heyting. On se propose dans l’Introduction et la première section de cet article de montrer que cette lecture que Vuillemin fait de Descartes est parfaitement justifiée en expliquant pourquoi les Méditations peuvent être lues comme une application de la logique intuitionniste. La seconde et la troisième section sont respectivement consacrées à l’analyse logique de la preuve du Cogito (Méditation seconde) et de la première preuve de l’existence de Dieu (Méditation troisième). On montre que les deux preuves fondamentales des Méditations métaphysiques de Descartes sont toutes les deux valides en logique intuitionniste. Du point de vue logique, la première preuve de l’existence de Dieu que donne Descartes pourrait être considérée comme un progrès par rapport à la preuve d’Anselme qui est concluante en logique classique mais qui échoue en logique intuitionniste. Cependant on nuance ce jugement en conclusion en insistant sur le fait que le concept de Dieu sur lequel Descartes fonde sa preuve est indiscutablement un élément réaliste et non constructif.