Malebranche’s approach to God’s existence

In this paper, the author reproduces one of Nicolas Malebranche’s arguments for God’s existence. The text offers (I) a logical formalization of the argument, (II) a formal proof of validity of the argument and, finally, some philosophical reflections concerning not only (III.I) the soundness of the argument, but (III.II) the intellectual benefits that a logical formalization offers to a philosophical historian of philosophy.