2019-10-20, updated 2019-10-20 next - previous

Hello everyone and welcome to my blog!

1 Mailing list

  • Mailing list (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).

3 Emacs setup

4 Personal posts

Author: Joseph Vidal-Rosset

Date: 2019-10-20 dim. 19:04


Made with Emacs 26.1 (Org mode 9.2.6) and Org export head (Many thanks to Ivan Tadeu Ferreira Antunes Filho!)