Hello everyone and welcome to my blog!
1 Mailing list email@example.com
- Mailing list firstname.lastname@example.org (2019-10-20, updated 2019-10-20)
Comment souscrire, poster, et vérifier votre envoi sur la liste - How to subscribe, how to post, how to check your post on the mailing list.
2 Logico-philosophical posts
- Anselm’s Argument in First Order Logic (2019-10-20, updated 2019-10-20)
In the language of first-order logic, I provide in this note a proof in natural deduction that translates Anselm’s ontological argument (i.e. his a priori proof of the existence of God).