index

2021-05-05, updated 2023-02-10 next - previous

Hello everyone and welcome to my blog!

1. Logical and Philosophical Arguments

Paraconsistent, Tennant’s Logic Is Inconsistent (2022-06-10, updated 2024-04-09)
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 2024-03-01)
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 2024-03-01)
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 2024-03-01)
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).

John Slaney’s Prover for Minimal and Intuitionistic Propositional Logic (2022-12-11, updated 2024-03-01)
Minlog: “a no-frills theorem prover” that can be used online here.
leanTAP Revisited Again (2022-09-22, updated 2024-03-01)
Another sequent calculus Prolog prover for classical propositional logic, based on Fitting’s paper [1].
FCube-4.1 for Intuitionistic Propositional Logic (2022-09-04, updated 2024-03-01)
Ferrari, Fiorentini and Fiorino made fCube i.e. \(F^{3}\).
Sequent Calculus Prover with Antisequents for Classical Propositional Logic (2021-12-16, updated 2024-04-05)
A Tau Prolog prover, from Philip Zucker’s and Jens Otten’s works
Boole-Quine Prover for Classical Propositional Logic (2021-01-28, updated 2024-03-01)
A Boole-Quine prover in Prolog, online thanks to Carlo Capelli
G4i Prover (2021-01-28, updated 2024-03-01)
A Prolog prover for G4i sequent calculus.
Natural Deduction for Propositional logic (2021-01-28, updated 2024-03-01)
Michel Levy’s Prover or Original Website

Gnus Emacs as email client in IMAP with ProtonMail (2021-10-13, updated 2024-03-01)
In this post, my .gnus.el file and my .authfile to help ProtonMail users.
Installing Comment Engine Remark42 (2021-03-19, updated 2024-03-01)
Before Isso, Remark42 was the comment engine of this blog. I describe in details the installation of Remark42 in this post,
First Order Logic with Athena (2021-03-19, updated 2024-03-01)
This note is about Athena, a language invented by Konstantine Arkoudas, for expressing proofs and computation.
Proof checkers (2021-01-28, updated 2024-03-01)
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 2024-03-01)
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.

Réponse à un rapport calamiteux (2025-04-26, updated 2025-04-27)
Je réponds au rapport envoyé par l’actuel rédacteur en chef de Philosophia Scientiae pour rejeter in extremis l’article “Prior remplace Diodore”.
Prior remplace Diodore (2025-04-26, updated 2025-04-26)
Cet article avait été accepté pour paraître dans un numéro spécial de Philosophia Scientiae, mais au dernier moment, le rédacteur en chef de cette revue a décidé de le rejeter.
De quoi l’incroyant est-il coupable? (2025-04-19, updated 2025-04-19)
Pour participer à la journée sur l’œuvre de Pouivet, je partirai du texte suivant:
Propositions pour l’enseignement supérieur (2022-12-28, updated 2024-03-05)
À quelques années de mon départ en retraite, je fais ici quelques propositions de réforme pour l’enseignement supérieur en philosophie. Ce texte n’engage que moi.