PSA2016: The 25th Biennial Meeting of the Philosophy of Science Association

Full Program »

The Discovery and Justification of Mathematical Knowledge in the Light of Modern Computational Methods

This paper discusses the transformational impact of modern computational methods for the justification of mathematical knowledge. The distinction and interplay between the context of discovery and justification has not been prominent in philosophy of mathematics, partly due to an emphasis on the role of proofs in mathematical justification. I will argue that this depiction of mathematics is somewhat idiosyncratic and that it doesn't accommodate many modern computational methods. I will propose a reconstruction of the perspective underlying such successful practices in order to distinguish two importantly different varieties of reliabilism that are at play in the justification of mathematical statements.

Author Information:

Nicolas Fillion    
Department of Philosophy
Simon Fraser University


Powered by OpenConf®
Copyright©2002-2015 Zakon Group LLC