The good, the bad and the ugly

This paper discusses the neo-logicist approach to the foundations of mathematics by highlighting an issue that arises from looking at the Bad Company objection from an epistemological perspective. For the most part, our issue is independent of the details of any resolution of the Bad Company objection and, as we will show, it concerns other foundational approaches in the philosophy of mathematics. In the first two sections, we give a brief overview of the “Scottish” neo-logicist school, present a generic form of the Bad Company objection and introduce an epistemic issue connected to this general problem that will be the focus of the rest of the paper. In the third section, we present an alternative approach within philosophy of mathematics, a view that emerges from Hilbert’s Grundlagen der Geometrie (1899, Leipzig: Teubner; Foundations of geometry (trans.: Townsend, E.). La Salle, Illinois: Open Court, 1959.). We will argue that Bad Company-style worries, and our concomitant epistemic issue, also affects this conception and other foundationalist approaches. In the following sections, we then offer various ways to address our epistemic concern, arguing, in the end, that none resolves the issue. The final section offers our own resolution which, however, runs against the foundationalist spirit of the Scottish neo-logicist program.

[1]  C. Wright On the Harmless Impredicativity of N= (Hume's Principle) , 2001 .

[2]  H. Stein,et al.  Logos, logic, and logistiké: some philosophical remarks on nineteenth-century transformation of mathematics , 1988 .

[3]  S. Shapiro Philosophy of mathematics : structure and ontology , 1997 .

[4]  J. Heijenoort From Frege To Gödel , 1967 .

[5]  Crispin Wright,et al.  Frege's conception of numbers as objects , 1984 .

[6]  Alberto Coffa,et al.  The semantic tradition from Kant to Carnap , 1991 .

[7]  Neil Tennant,et al.  Anti-realism and logic , 1987 .

[8]  Øystein Linnebo,et al.  Predicative fragments of Frege Arithmetic , 2004, Bull. Symb. Log..

[9]  G. Priest In Contradiction: A Study of the Transconsistent , 1987 .

[10]  S. Shapiro,et al.  Foundations Without Foundationalism: A Case for Second-Order Logic. , 1994 .

[11]  A. J. Dale Anti-Realism and Logic , 1989, The British Journal for the Philosophy of Science.

[12]  D. Hilbert Über das Unendliche , 1926 .

[13]  George Boolos,et al.  Logic, Logic, and Logic , 2000 .

[14]  Bob Hale,et al.  The Reason's Proper Study , 2001 .

[15]  C. Wright On the Philosophical Significance of Frege's Theorem , 2001 .

[16]  Alan Weir,et al.  Neo-Fregeanism: An Embarrassment of Riches , 2003, Notre Dame J. Formal Log..

[17]  Mark Wilson There's a Hole and a Bucket, Dear Leibniz , 1993 .

[18]  B. Russell,et al.  Introduction to Mathematical Philosophy , 1920, The Mathematical Gazette.

[19]  Crispin Wright,et al.  I—Crispin Wright: Warrant for Nothing (and Foundations for Free)? , 2004 .

[20]  Christian Thiel,et al.  Philosophical and Mathematical Correspondence of Gottlob Frege , 1980 .

[21]  A Weir Naïve set theory is innocent , 1998 .

[22]  Stewart Shapiro The Nature and Limits of Abstraction , 2004 .

[23]  Bob Hale,et al.  Reals by Abstractiont , 2000 .

[24]  William Demopoulos,et al.  Frege’s Philosophy of Mathematics , 1997 .

[25]  Crispin Wright,et al.  Neo-Fregean Foundations for Real Analysis: Some Reflections on Frege's Constraint , 2000, Notre Dame J. Formal Log..

[26]  E. L. The Foundations of Geometry , 1891, Nature.

[27]  Crispin Wright Frege's conception of numbers as objects , 1983 .

[28]  B R Greene,et al.  String theory. , 1994, Proceedings of the National Academy of Sciences of the United States of America.

[29]  John Corcoran,et al.  String theory , 1974, Journal of Symbolic Logic.

[30]  Stewart Shapiro,et al.  Principles of reflection and second-order logic , 1987, J. Philos. Log..

[31]  Michael Dummett,et al.  Frege: Philosophy of Mathematics. , 1993 .

[32]  Michael Hallett Physicalism, Reductionism & Hilbert , 1990 .

[33]  M. Detlefsen Hilbert's program , 1986 .

[34]  George Boolos Is Hume’s Principle Analytic? , 2007 .

[35]  Stewart Shapiro Sets and Abstracts – Discussion , 2005 .

[36]  James Pryor Highlights of Recent Epistemology , 2001, The British Journal for the Philosophy of Science.

[37]  Richard G. Heck On The Consistency of Second-Order Contextual Definitions , 1992 .

[38]  William Aspray,et al.  History and Philosophy of Modern Mathematics , 1988 .

[39]  Augustín Rayo Success by Default , 2003 .

[40]  J. Thomson On being and saying : essays for Richard Cartwright , 1987 .

[41]  Matthias Schirn The philosophy of mathematics today , 1998 .

[42]  Harold T. Hodes Logicism and the Ontological Commitments of Arithmetic , 1984 .