index

2020-10-07, updated 2020-10-07 next - previous

Hello everyone and welcome to my blog!

1 Mailing list educasup.philo

  • Mailing List educasup.philo (2020-06-07, updated 2020-07-29)
    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 Philosophical arguments

  • Descartes’s First Proof of God’s Existence in First-Order Logic (2020-09-30, updated 2020-09-30)
    In the language of first-order logic, I provide in this post a proof in natural deduction which translates the argument that Descartes gave as evidence of the existence of God.
  • Anselm’s Argument in First-Order Logic (2020-09-30, updated 2020-09-30)
    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 Provers

4 Code

 

Author: Joseph Vidal-Rosset

Date: 2020-10-07 mer. 15:58

Blog: https://wwww.vidal-rosset.net

Made with Emacs 27.1 (Org mode 9.4) and Org export head (Many thanks to Ivan Tadeu Ferreira Antunes Filho!;)