Les théorèmes logiques limitatifs et la notion robuste de la vérité

Dans ce livre, qui constitue le deuxième volume de son trilogie sur la vérité, la preuve et les théorèmes limitatifs de la logique mathématique, l'auteur explique en quoi consiste l'approche inflationniste de la vérité et, via l'« argument sémantique » de S. Shapiro et J. Ketland, im élabore un cadre défendant cette approche. Il présente et explique systématiquement le défi sémantique soulevé contre le déflationnisme, en analysant ses dimensions et en regroupant ses composantes (argument de réflexion et argument de conservativité) en fonction du pilier déflationniste qu'elles visent.

Autorentext

Saeb Elamami est chercheur post-doctoral en logique et épistémologie des mathématiques. Il est titulaire d'une maîtrise en mathématiques, d'une licence en philosophie, d'un mastère en fondements des mathématiques et d'une thèse de doctorat en 'logique et philosophie des mathématiques'. Il est aussi doctorant en didactique des mathématiques.