PP-2007-24: Formalizability and Knowledge Ascriptions in Mathematical Practice

PP-2007-24: Wilhelmus, Eva (2007) Formalizability and Knowledge Ascriptions in Mathematical Practice. [Report]

Text (Full Text)

Download (188kB) | Preview
[img] Text (Abstract)

Download (942B)


We investigate the truth conditions of knowledge ascriptions for the case of mathematical knowledge. The availability of a formalizable mathematical proof appears to be a natural criterion: (*) X knows that p iff X has available a formalizable proof of p. Yet, formalizability plays no major role in actual mathematical practice. We present results of an empirical study, which suggest that certain readings of formalizability criteria like (*) are not necessarily applied by mathematicians when ascribing knowledge. Further, we argue that the concept of mathematical knowledge underlying the actual use of 'to know' in mathematical practice is compatible with certain philosophical intuitions, but seems to differ from philosophical knowledge conceptions underlying (*).

Item Type: Report
Report Nr: PP-2007-24
Series Name: Prepublication (PP) Series
Year: 2007
Uncontrolled Keywords: philosophy of mathematics; epistemology; mathematical knowledge
Subjects: Philosophy
Depositing User: Benedikt
Date Deposited: 12 Oct 2016 14:36
Last Modified: 12 Oct 2016 14:36
URI: https://eprints.illc.uva.nl/id/eprint/258

Actions (login required)

View Item View Item