index
2021-05-05, updated 2021-05-05 next - previous
Hello everyone and welcome to my blog!
1. Mailing list educasup.philo
- Mailing List educasup.philo (2021-01-28, updated 2021-01-28)
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. Logical and Philosophical Arguments
- Paraconsistent, Tennant’s Logic Is Inconsistent (2022-06-10, updated 2022-08-04)
The claim according to which the First Lewis’s Paradox is unprovable in Tennant’s logical system (i.e. Core logic) entails a contradiction in this system and therefore makes it inconsistent. - A Logical Remark on Swinburne’s Cartesian Argument for Substance Dualism (2022-06-17, updated 2022-06-17)
A logical proof that it is false that Swinburne improves Descartes’s Argument for Substance Dualism. - Descartes’s First Proof of God’s Existence in First-Order Logic (2021-07-21, updated 2021-10-13)
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 (2021-01-28, updated 2021-07-21)
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
- FCube: An Efficient Prover for Intuitionistic Propositional Logic (2022-01-11, updated 2022-06-14)
Ferrari, Fiorentini and Fiorino made fCube i.e. \(F^{3}\). - Sequent Calculus Prover with Antisequents for Classical Propositional Logic (2021-12-16, updated 2022-08-04)
A Tau Prolog prover, from Philip Zucker’s and Jens Otten’s works - Boole-Quine Prover for Classical Propositional Logic (2021-01-28, updated 2021-12-20)
A Boole-Quine prover in Prolog, online thanks to Carlo Capelli - G4i Prover (2021-01-28, updated 2021-01-28)
A Prolog prover for G4i sequent calculus . - G3cp-G3ip Prover (2021-01-28, updated 2021-01-28)
A g3cp-g3ip prover by Enrico Tassi and Stefano Zacchiroli - Tableaux’method for S4 (2021-01-28, updated 2021-01-28)
Michel Levy’s Prover or Original Website - Tableaux’method for intuitionistic logic through S4-translation (2021-01-28, updated 2021-01-28)
Michel Levy’s Prover or Original Website - Natural Deduction for Propositional logic (2021-01-28, updated 2021-01-28)
Michel Levy’s Prover or Original Website
4. Code
- Gnus Emacs as email client in IMAP with ProtonMail (2021-10-13, updated 2021-10-13)
In this post, my .gnus.el file and my .authfile to help ProtonMail users. - Installing Comment Engine Remark42 (2021-03-19, updated 2021-03-19)
Before Isso, Remark42 was the comment engine of this blog. I describe in details the installation of Remark42 in this post, th - First Order Logic with Athena (2021-03-19, updated 2021-03-19)
This note is about Athena, a language invented by Konstantine Arkoudas, for expressing proofs and computation. - Proof checkers (2021-01-28, updated 2021-01-28)
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 (2021-12-14, updated 2021-12-14)
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.
