index

2020-11-08, updated 2020-11-08 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.

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).

Boole-Quine Prover for Classical Propositional Logic (2020-11-08, updated 2020-11-08)
Jan Burse’s Prolog program, published online thanks to Carlo Capelli.
G4i Prover (2020-09-20, updated 2020-09-20)
A Prolog prover for G4i sequent calculus .
G3cp-G3ip Prover (2020-09-20, updated 2020-09-20)
A g3cp-g3ip prover by Enrico Tassi and Stefano Zacchiroli
Tableaux’method for S4 (2020-08-01, updated 2020-08-01)
Michel Levy’s Prover or Original Website
Tableaux’method for intuitionistic logic through S4-translation (2020-08-01, updated 2020-08-01)
Michel Levy’s Prover or Original Website
Natural Deduction for Propositional logic (2020-08-01, updated 2020-08-01)
Michel Levy’s Prover or Original Website

Gnus Emacs as email client in IMAP with ProtonMail (2020-10-07, updated 2020-10-07)
In this post, my .gnus.el file and my .authfile to help ProtonMail users.
Installing Comment Engine Remark42 (2020-06-07, updated 2020-07-29)
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.
First Order Logic with Athena (2020-06-07, updated 2020-07-29)
This note is about Athena, a language invented by Konstantine Arkoudas, for expressing proofs and computation.
Proof checkers (2020-06-07, updated 2020-07-29)
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.
The code that runs this blog (2020-11-04, updated 2020-11-04)
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.