I argued that Frege does not have a metatheory in the following sense: the justifications he offers for his basic laws and rules of inference neither employ nor require a truth-predicate or metalinguistic variables. In ‘Does Frege Use a Truth-predicate in his "Justification" of the Laws of Logic?’, Dirk Greimann disputes this. As Greimann interprets Frege, (i) Frege's remarks commit him to giving a metatheoretic justification of the basic laws and rules of his logic, and (ii) Frege actually gives such (...) a justification in the early sections of Grundgesetze—although the truth-predicate that Frege employs is a non-standard one: it is neither a predicate that holds of all and only true sentences nor a predicate that holds of all and only true thoughts. I argue that Greimann's interpretation is not, in the end, true to the text, and that his non-standard view of what is required of a Tarskian truth-predicate is ultimately not viable. (shrink)

It is widely recognized that Frege's systematic conception of science has a major impact on his work. I argue that central to this conception and its impact is Frege's Simplicity Requirement that a scientific system must have as few primitive truths as possible. Frege states this requirement often, justifies it in several ways, and appeals to it to motivate important aspects of his broader views. Acknowledging its central role illuminates several aspects of his work in new ways, including his treatment (...) of truth values, logical concepts, and the dependence relations that induce a ‘natural order’ of truths. (shrink)

The paper challenges a widely held interpretation of Frege's conception of logic on which the constituent clauses of basic law V have the same sense. I argue against this interpretation by first carefully looking at the development of Frege's thoughts in Grundlagen with respect to the status of abstraction principles. In doing so, I put forth a new interpretation of Grundlagen §64 and Frege's idea of ‘recarving of content’. I then argue that there is strong evidence in Grundgesetze that Frege (...) did not hold the relevant sense-identity claim regarding basic law V. (shrink)

One major difficulty confronting attempts to clarify the epistemological and ontological status of abstract objects is determining the sense, if any, in which such entities may be characterised as mind and language independent. Our contention is that the tolerant reductionist position of Michael Dummett can be strengthened by drawing on Husserl's mature account of the constitution of ideal objects and mathematical objectivity. According to the Husserlian position we advocate, abstract singular terms pick out weakly mind-independent sedimented meaning-contents. These meaning-contents serve (...) as the ‘thin’ referents of abstract singular terms, but are ultimately founded in prior acts of meaning-constitution. (shrink)

Joan Weiner has argued that Frege’s definitions of numbers constitute linguistic stipulations that carry no ontological commitment: they don’t present numbers as pre-existing objects. This paper offers a critical discussion of this view, showing that it is vitiated by serious exegetical errors and that it saddles Frege’s project with insuperable substantive difficulties. It is first demonstrated that Weiner misrepresents the Fregean notions of so-called Foundations-content, and of sense, reference, and truth. The discussion then focuses on the role of definitions in (...) Frege’s work, demonstrating that they cannot be understood as mere linguistic stipulations, since they have an ontological aim. The paper concludes with stressing both the epistemological and the ontological aspects of Frege’s project, and their crucial interdependence. (shrink)

This paper argues that Frege is not the metaphysical platonist about mathematics that he is standardly taken to be. It is shown that Frege’s project has two distinct stages: the identification of what is true of our ordinary notions, and then the provision of a systematic account that shares the identified features. Neither of these stages involves much metaphysics. The paper criticizes in detail Dummett’s interpretation of §§55-61 of Grundlagen. These sections fall under the heading ‘Every number is a self-subsistent (...) object’ and are described by Dummett as containing the worst arguments put forward by Frege. It is argued that essentially all of Dummett’s interpretive points are mistaken. Finally, I show that Frege’s claims about the independence of mathematics from humans and their activities does not commit him to any particularly metaphysical position either. (shrink)