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.
ThriftBooks sells millions of used books at the lowest everyday prices. We personally assess every book's quality and offer rare, out-of-print treasures. We deliver the joy of reading in recyclable packaging with free standard shipping on US orders over $20. ThriftBooks.com. Read more. Spend less.