Saeb Elamami

Déflationnisme modéré

Une théorie déflationniste modérée et conservatrice de la vérité compatible avec la pratique mathématique

• Broschiertes Buch

Produktbeschreibung

Ce tome analyse et défend cette thèse déflationniste modérée selon laquelle notre notion de vérité, bien qu'elle jouisse d'une utilité cognitive, n'a rien de profond. Selon ce point de vue, la notion de vérité permet de prouver des propriétés formelles (comme Con(PA) et la correction (soundness), garantissant ainsi la fiabilité du raisonnement mathématique. Elle a une utilité cognitive métamathématique, nécessaire à la pratique mathématique. Cependant, cette utilité opérationnelle de la vérité en mathématiques peut également être obtenue par une extension syntaxique de la théorie originale (disons une théorie arithmétique S), voire par l'ajout d'un prédicat de prouvabilité (à travers l'ajout de règles logiques régissant ce prédicat) et cela via l'addition de principes de réflexion locales. Ainsi, l'utilité cognitive apportée par un prédicat de vérité est atteignable par des règles logiques structurant le prédicat de prouvabilité. En adoptant un sens particulier du déflationnisme et du conservatisme, l'auteur conclut que la vérité est dépourvue de toute essence substantialiste.

Produktdetails

• Verlag: OmniScriptum / Éditions universitaires européennes
• Seitenzahl: 304
• Erscheinungstermin: 1. August 2025
• Französisch
• Abmessung: 220mm x 150mm x 19mm
• Gewicht: 471g
• ISBN-13: 9786208978792
• ISBN-10: 6208978793
• Artikelnr.: 75308789

Autorenporträt

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.