Repository | Journal | Volume | Articles
(2009) Philosophia Scientiae 13 (2).
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.
Publication details
DOI: 10.4000/philosophiascientiae.231
Full citation:
Müller-Hill, E. (2009). Formalizability and knowledge ascriptions in mathematical practice. Philosophia Scientiae 13 (2), pp. 21-43.
This document is available at an external location. Please follow the link below. Hold the CTRL button to open the link in a new window.
