2020-04-23, updated 2020-04-23 next - previous

Hello everyone and welcome to my blog!

1 Mailing list educasup.philo

  • Mailing List educasup.philo (2020-01-02, updated 2020-01-02)
    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

  • Descartes’s First Proof of God’s Existence in First-Order Logic (2020-04-25, updated 2020-04-25)
    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-01-02, updated 2020-01-02)
    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 Code

  • First Order Logic with Athena (2020-04-23, updated 2020-04-23)
    This note is about Athena, a language invented by Konstantine Arkoudas, for expressing proofs and computation.
  • Proof checkers (2020-04-25, updated 2020-04-25)
    I am used to check with different programs the proofs that I provide in my papers. In this post, I check the proofs given in this blog.
  • Installing Comment Engine Remark42 (2020-01-02, updated 2020-01-02)
    Remark42 is the comment engine of this blog. I describe in details its installation in this post, thinking that it could be helpful to others.
  • My nginx Setup (2020-01-02, updated 2020-01-02)
    This page will be maybe useful for others.
  • The code that runs this blog (2020-01-02, updated 2020-01-02)
    I am very thankful to Ivan Tadeu Ferreira Antunes Filho who wrote org-export-head that is the the code that runs his blog, and also mine now.

4 Personal posts


Author: Joseph Vidal-Rosset

Date: 2020-04-25 sam. 18:00


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