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 (*). (shrink)

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 (*). (shrink)

One of the most famous critiques of the Leibnitian calculus is contained in the essay “The Analyst” written by George Berkeley in 1734. His key argument is those on compensating errors. In this article, we reconstruct Berkeley's argument from a systematical point of view showing that the argument is neither circular nor trivial, as some modern historians think. In spite of this well-founded argument, the critique of Berkeley is with respect to the calculus not a fundamental one. Nevertheless, it highlights (...) central aspects of the calculus that are characteristic of modern scientific theories. (shrink)