Preuve, Vérité et Théorèmes logiques limitatifs

Dans cet ouvrage, l'auteur traite 'le problème du déflationnisme et les théorèmes limitatifs de la logique mathématique'. Les théories 'déflationnistes' sont des conceptions de la vérité souvent, mais pas toujours, caractérisées comme des approches qui acceptent l'utilité expressive de la vérité sans lui accorder d'utilité cognitive. En ce qui concerne la notion de vérité en mathématiques, une variété déflationniste de ce type n'est désormais plus soutenable. Le cas de l'arithmétique et de la notion tarskienne de vérité fournit un argument concluant en faveur de l'utilité épistémique et démonstrative des théories de la vérité. L'ajout de la définition de la vérité de Tarski à un système formel cohérent T (l'arithmétique de Peano) permet d'établir la vérité de la phrase de Gödel G(T), ainsi que d'énoncés cognitivement utiles pour la pratique mathématique (comme la cohérence de l'arithmétique et, par conséquent, la fiabilité du raisonnement mathématique).

Pagina's: 620, Paperback, Éditions universitaires européennes