Joan Weiner (2007) has argued that Frege’s definitions of numbers are linguistic stipulations, with no content-preserving or ontological point: they don’t capture any determinate content of numerals, as they have none, and don’t present numbers as preexisting objects. I show that this view is based on exegetical and systematic errors. First, Idemonstrate that Weiner misrepresents the Fregean notions of ‘Foundations-content’, sense, reference, and truth. I then consider the role of definitions, demonstrating that they cannot be mere linguistic stipulations, since they (...) have a content-preserving, ontological point, and a decompositional aspect; Frege’s project of logical analysis and systematisation makes no sense without definitions so understood. The pivotal ontological role of elucidations is also explained. Next, three aspects of definition are distinguished, the informal versus the formal aspect, and the aspect of definition achieved through the entire process of systematisation, which encompasses the previous two and is little discussed in the literature. It is suggested that these insights can contribute to resolving some of the puzzles concerning the tension between the epistemological aim of logicism and Frege’s presentation of definitions as arbitrary conventions. Finally, I stress the interdependence between the epistemological and ontological aspects of Frege’s project of defining number. (shrink)

In (1959), Carnap famously attacked Heidegger for having constructed an insane metaphysics based on a misconception of both the logical form and the semantics of ordinary language. In what follows, it will be argued that, once one appropriately (i.e., in a Russellian fashion) reads Heidegger’s famous sentence that should paradigmatically exemplify such a misconception, i.e., “the nothing nothings”, there is nothing either logically or semantically wrong with it. The real controversy as to how that sentence has to be evaluated—not as (...) to its meaning but as to its truth—lies at the metaphysico- ontological level. For in order for the sentence to be true one has to endorse an ontology of impossibilia and Leibniz’s principle of the identity of indiscernibles. (shrink)

Setting out to understand Frege, the scholar confronts a roadblock at the outset: We just have little to go on. Much of the unpublished work and correspondence is lost, probably forever. Even the most basic task of imagining Frege's intellectual life is a challenge. The people he studied with and those he spent daily time with are little known to historians of philosophy and logic. To be sure, this makes it hard to answer broad questions like: 'Who influenced Frege?' But (...) the information vacuum also creates local problems of textual interpretation. Say we encounter a sentence that may be read as alluding to a scientific dispute. Should it be read that way? To answer, we'd need to address prior questions. Is it .. (shrink)

Over the course of the nineteenth century mathematicians became vividly aware that great advances in intuitive “understanding” could be obtained if novel definitions were devised for old notions such as “conic section”, for one thereby often gained a deeper appreciation for why old theorems in the subject had to be true. From a naïve philosophical standpoint, such definitional alterations look as if they must properly displace the “propositional contents” of the very theorems they seek to illuminate. Haven’t our reformers merely (...) “changed the subject”, rather than truly provided. The conceptual enlightenment they claim? Many practitioners of the time claimed that “Science” enjoys a special prerogative to ignore “surface content” in its search for truth, a sentiment with which Frege often concurs, at least in his early writings. Yet it is hard to render these opinions consistent with his official views on sense andreference, as this essay details. It also surveys Russell’s views on such topics, although he was generally less aware than Frege of the revolutionary mathematical work pursued within the “search for fruitful definitions” program. (shrink)