This book offers a historical explanation of important philosophical problems in logic and mathematics, which have been neglected by the official history of modern logic. It offers extensive information on Gottlob Frege’s logic, discussing which aspects of his logic can be considered truly innovative in its revolution against the Aristotelian logic. It presents the work of Hilbert and his associates and followers with the aim of understanding the revolutionary change in the axiomatic method. Moreover, it offers useful tools to understand (...) Tarski’s and Gödel’s work, explaining why the problems they discussed are still unsolved. Finally, the book reports on some of the most influential positions in contemporary philosophy of mathematics, i.e., Maddy’s mathematical naturalism and Shapiro’s mathematical structuralism. Last but not least, the book introduces Biancani’s Aristotelian philosophy of mathematics as this is considered important to understand current philosophical issue in the applications of mathematics. One of the main purposes of the book is to stimulate readers to reconsider the Aristotelian position, which disappeared almost completely from the scene in logic and mathematics in the early twentieth century. (shrink)

In this chapter, I consider some problems with naturalizing mathematics. More specifically, I consider how the two leading kinds of approach to naturalizing mathematics, to wit, Quinean indispensability‐based approaches and Maddy's Second Philosophical approach, seem to run afoul of constraints that any satisfactory naturalistic mathematics must meet. I then suggest that the failure of these kinds of approach to meet the relevant constraints indicates a general problem with naturalistic mathematics meeting these constraints, and thus with the project of naturalizing mathematics (...) itself. (shrink)

C. S. Jenkins has recently proposed an account of arithmetical knowledge designed to be realist, empiricist, and apriorist: realist in that what’s the case in arithmetic doesn’t rely on us being any particular way; empiricist in that arithmetic knowledge crucially depends on the senses; and apriorist in that it accommodates the time-honored judgment that there is something special about arithmetical knowledge, something we have historically labeled with ‘a priori’. I’m here concerned with the prospects for extending Jenkins’s account beyond arithmetic—in (...) particular, to set theory. After setting out the central elements of Jenkins’s account and entertaining challenges to extending it to set theory, I conclude that a satisfactory such extension is unlikely. (shrink)

Laurence BonJour's (1985) coherence theory of empirical knowledge relies heavily on a traditional foundationalist theory of a priori knowledge. He argues that a foundationalist, rationalist theory of a priori justification is indispensable for a coherence theory. BonJour (1998) continues this theme, arguing that a traditional account of a priori justification is indispensable for the justification of putative a priori truths, the justification of any non-observational belief and the justification of reasoning itself. While BonJour's indispensability arguments have received some critical discussion (...) (Gendler 2001; Harman 2001; Beebe 2008), no one has investigated the indispensability arguments from a coherentist perspective. This perspective offers a fruitful take on BonJour's arguments, because he does not appreciate the depth of the coherentist alternative to the traditional empiricist-rationalist debate. This is surprising on account of BonJour's previous defense of coherentism. Two significant conclusions emerge: first, BonJour's indispensability arguments beg central questions about an explanationist form of coherentism; second, BonJour's original defense of coherentism took on board certain assumptions that inevitably led to the demise of his form of coherentism. The positive conclusion of this article is that explanatory coherentism is more coherent than BonJour's indispensability arguments assume, and more coherent than BonJour's earlier coherentist epistemology. (shrink)