Abstract

Nous examinons les conditions de vérité pour des attributions de savoir dans le cas des connaissances mathématiques. La disposition d’une démonstration formalisable semble être un critère naturel :(*) X sait que p est vrai si et seulement si X en principe dispose d’une démonstration formalisable pour p.La formalisabilité pourtant ne joue pas un grand rôle dans la pratique mathématique effective. Nous présentons des résultats d’une recherche empirique qui indiquent que les mathématiciens n’employent pas certaines spécifications de (*) quand ils attribuent du savoir. De plus, nous montrons que le concept de savoir mathématique qui est à la base de l’emploi effectif du mot « savoir » de la pratique mathématique est tout à fait compatible avec certaines intuitions philosophiques mais apparaît comme différent des concepts philosophiques formant la base de (*).