This is the first complete English translation of Gottlob Frege's Grundgesetze der Arithmetik, with introduction and annotation. The importance of Frege's ideas within contemporary philosophy would be hard to exaggerate. He was, to all intents and purposes, the inventor of mathematical logic, and the influence exerted on modern philosophy of language and logic, and indeed on general epistemology, by the philosophical framework.
According to Ole Hjortland, Timothy Williamson, Graham Priest, and others, anti-exceptionalism about logic is the view that logic “isn’t special”, but is continuous with the sciences. Logic is revisable, and its truths are neither analytic nor a priori. And logical theories are revised on the same grounds as scientific theories are. What isn’t special, we argue, is anti-exceptionalism about logic. Anti-exceptionalists disagree with one another regarding what logic and, indeed, anti-exceptionalism are, and they are at odds with naturalist philosophers of (...) logic, who may have seemed like natural allies. Moreover, those internal battles concern well-trodden philosophical issues, and there is no hint as to how they are to be resolved on broadly scientific grounds. We close by looking at three of the founders of logic who may have seemed like obvious enemies of anti-exceptionalism—Aristotle, Frege, and Carnap—and conclude that none of their positions is clearly at odds with at least some of the main themes of anti-exceptionalism. We submit that, at least at present, anti-exceptionalism is too vague or underspecified to characterize a coherent conception of logic, one that stands opposed to more traditional approaches. (shrink)
Nelson Goodman's acceptance and critique of certain methods and tenets of positivism, his defence of nominalism and phenomenalism, his formulation of a new riddle of induction, his work on notational systems, and his analysis of the arts place him at the forefront of the history and development of American philosophy in the twentieth-century. However, outside of America, Goodman has been a rather neglected figure. In this first book-length introduction to his work Cohnitz and Rossberg assess Goodman's lasting contribution to philosophy (...) and show that although some of his views may be now considered unfashionable or unorthodox, there is much in Goodman's work that is of significance today. The book begins with the "grue"-paradox, which exemplifies Goodman's way of dealing with philosophical problems. After this, the unifying features of Goodman's philosophy are presented - his constructivism, conventionalism and relativism - followed by an discussion of his central work, The Structure of Appearance and its significance in the analytic tradition. The following chapters present the technical apparatus that underlies his philosophy, his mereology and semiotics, which provides the background for discussion of Goodman's aesthetics. (shrink)
Nelson Goodman's acceptance and critique of certain methods and tenets of positivism, his defence of nominalism and phenomenalism, his formulation of a new riddle of induction, his work on notational systems, and his analysis of the arts place him at the forefront of the history and development of American philosophy in the twentieth-century. However, outside of America, Goodman has been a rather neglected figure. In this first book-length introduction to his work Cohnitz and Rossberg assess Goodman's lasting contribution to philosophy (...) and show that although some of his views may be now considered unfashionable or unorthodox, there is much in Goodman's work that is of significance today. The book begins with the "grue"-paradox, which exemplifies Goodman's way of dealing with philosophical problems. After this, the unifying features of Goodman's philosophy are presented - his constructivism, conventionalism and relativism - followed by an discussion of his central work, The Structure of Appearance and its significance in the analytic tradition. The following chapters present the technical apparatus that underlies his philosophy, his mereology and semiotics, which provides the background for discussion of Goodman's aesthetics. The final chapter examines in greater depth the presuppositions underlying his philosophy. (shrink)
Abstractionism, which is a development of Frege's original Logicism, is a recent and much debated position in the philosophy of mathematics. This volume contains 16 original papers by leading scholars on the philosophical and mathematical aspects of Abstractionism. After an extensive editors' introduction to the topic of abstractionism, the volume is split into 4 sections. The contributions within these sections explore the semantics and meta-ontology of Abstractionism, abstractionist epistemology, the mathematics of Abstractionis, and finally, Frege's application constraint within an abstractionist (...) setting. (shrink)
Eli Hirsch recently suggested the metaontological doctrine of so-called "quantifier variance", according to which ontological disputes—e.g. concerning the question whether arbitrary, possibly scattered, mereological fusions exist, in the sense that these are recognised as objects proper in our ontology—can be defused as insubstantial. His proposal is that the meaning of the quanti er `there exists' varies in such debates: according to one opponent in this dispute, some existential statement claiming the existence of, e.g., a scattered object is true, according to (...) the other it is not. This paper argues that Hirsch's proposal leads into inconsistency. (shrink)
This paper investigates feasible ways of destroying artworks, assuming they are abstract objects, or works of a particular art-form, where the works of at least this art-form are assumed to be abstracta. If artworks are eternal, mind-independent abstracta, and hence discovered, rather than created, then they cannot be destroyed, but merely forgotten. For more moderate conceptions of artworks as abstract objects, however, there might be logical space for artwork destruction. Artworks as abstracta have been likened to impure sets (i.e., sets (...) of concrete things, as opposed to pure sets, i.e., sets of nothing but other sets) that have a beginning in time, namely when their members come into being, and an end in time, namely when their members cease to exist. Alternatively, artworks as abstracta have been thought of as types that are created with their first token. Artwork destruction is harder on this account: merely destroying every token might not yet destroy the type. To what extent such similes can be spelt out and made plausible as an ontology of artworks, and what options there are on the different accounts for artwork destruction, is explored in this paper. (shrink)
Paraconsistent and dialetheist approaches to a theory of truth are faced with a problem: the expressive resources of the logic do not suffice to express that a sentence is just true—i.e., true and not also false—or to express that a sentence is consistent. In his recent book, Spandrels of Truth, Jc Beall proposes a ‘just true’-operator to identify sentences that are true and not also false. Beall suggests seven principles that a ‘just true’-operator must fulfill, and proves that his operator (...) indeed fulfills all of them. He concludes that just true has been expressed in the language. I argue that, while the seven conditions may be necessary for an operator to express just true, they are not jointly sufficient. Specifically, first, I prove that a further plausible desideratum for necessary conditions on ‘just true’ is not fulfilled by Beall's proposal, namely that ‘just true’ ascriptions should themselves be just true, and not also false (or equivalently, that the ‘just true’-operator iterates). Second, I show that Beall's operator does not adequately express just true, but that it merely captures an arbitrary proper subset of the just true sentences. Further, there is no prospect of extending the proposal in order to encompass a more reasonable subset of the just true sentences without presupposing that we have antecedent means to characterize the class of just true sentences. (shrink)
This paper investigates the claim that the second-order consequence relation is intractable because of the incompleteness result for SOL. The opponents’ claim is that SOL cannot be proper logic since it does not have a complete deductive system. I argue that the lack of a completeness theorem, despite being an interesting result, cannot be held against the status of SOL as a proper logic.
In 1885, Georg Cantor published his review of Gottlob Frege's Grundlagen der Arithmetik . In this essay, we provide its first English translation together with an introductory note. We also provide a translation of a note by Ernst Zermelo on Cantor's review, and a new translation of Frege's brief response to Cantor. In recent years, it has become philosophical folklore that Cantor's 1885 review of Frege's Grundlagen already contained a warning to Frege. This warning is said to concern the defectiveness (...) of Frege's notion of extension. The exact scope of such speculations varies and sometimes extends as far as crediting Cantor with an early hunch of the paradoxical nature of Frege's notion of extension. William Tait goes even further and deems Frege 'reckless' for having missed Cantor's explicit warning regarding the notion of extension. As such, Cantor's purported inkling would have predated the discovery of the Russell-Zermelo paradox by almost two decades. In our introductory essay, we discuss this alleged implicit (or even explicit) warning, separating two issues: first, whether the most natural reading of Cantor's criticism provides an indication that the notion of extension is defective; second, whether there are other ways of understanding Cantor that support such an interpretation and can serve as a precisification of Cantor's presumed warning. (shrink)
It is often claimed that nominalistic programmes to reconstruct mathematics fail, since they will at some point involve the notion of logical consequence which is unavailable to the nominalist. In this paper we use an idea of Goodman and Quine to develop a nominalistically acceptable explication of logical consequence.
Second-order axiomatizations of certain important mathematical theories—such as arithmetic and real analysis—can be shown to be categorical. Categoricity implies semantic completeness, and semantic completeness in turn implies determinacy of truth-value. Second-order axiomatizations are thus appealing to realists as they sometimes seem to offer support for the realist thesis that mathematical statements have determinate truth-values. The status of second-order logic is a controversial issue, however. Worries about ontological commitment have been influential in the debate. Recently, Vann McGee has argued that one (...) can get some of the technical advantages of second-order axiomatizations—categoricity, in particular—while walking free of worries about ontological commitment. In so arguing he appeals to the notion of an open-ended schema—a schema that holds no matter how the language of the relevant theory is extended. Contra McGee, we argue that second-order quantification and open-ended schemas are on a par when it comes to ontological commitment. (shrink)
Boolos has suggested a plural interpretation of second-order logic for two purposes: to escape Quine’s allegation that second-order logic is set theory in disguise, and to avoid the paradoxes arising if the second-order variables are given a set-theoretic interpretation in second-order set theory. Since the plural interpretation accounts only for monadic second-order logic, Rayo and Yablo suggest an new interpretation for polyadic second-order logic in a Boolosian spirit. The present paper argues that Rayo and Yablo’s interpretation does not achieve the (...) goal. (shrink)
This paper investigates the relation of the Calculus of Individuals presented by Henry S. Leonard and Nelson Goodman in their joint paper, and an earlier version of it, the so-called Calculus of Singular Terms, introduced by Leonard in his Ph.D. dissertation thesis Singular Terms. The latter calculus is shown to be a proper subsystem of the former. Further, Leonard’s projected extension of his system is described, and the definition of an intensional part-relation in his system is proposed. The final section (...) discusses to what extend Goodman might have contributed to the formulation of the Calculus of Individuals. (shrink)
All contributions included in the present issue were originally presented at an ‘Author Meets Critics’ session organised by Richard Zach at the Pacific Meeting of the American Philosophical Association in San Diego in the Spring of 2014.
In this thesis I provide a survey over different approaches to second-order logic and its interpretation, and introduce a novel approach. Of special interest are the questions whether second-order logic can count as logic in some proper sense of logic, and what epistemic status it occupies. More specifically, second-order logic is sometimes taken to be mathematical, a mere notational variant of some fragment of set theory. If this is the case, it might be argued that it does not have the (...) "epistemic innocence" which would be needed for, e.g., foundational programmes in mathematics for which second-order logic is sometimes used. I suggest a Deductivist conception of logic, that characterises logical consequence by means of inference rules, and argue that on this conception second-order logic should count as logic in the proper sense. (shrink)
This paper introduces and evaluates two contemporary approaches of neo-logicism. Our aim is to highlight the diﬀerences between these two neo-logicist programmes and clarify what each projects attempts to achieve. To this end, we ﬁrst introduce the programme of the Scottish school – as defended by Bob Hale and Crispin Wright1 which we believe to be a..
This is the first complete English translation of Gottlob Frege's Grundgesetze der Arithmetik (1893 and 1903), with introduction and annotation. As the culmination of his ground-breaking work in the philosophy of logic and mathematics, Frege here tried to show how the fundamental laws of arithmetic could be derived from purely logical principles.
In this short letter to Ed Zalta we raise a number of issues with regards to his version of Neo-Logicism. The letter is, in parts, based on a longer manuscript entitled “What Neo-Logicism could not be” which is in preparation. A response by Ed Zalta to our letter can be found on his website: http://mally.stanford.edu/publications.html (entry C3).
The volume is the first collection of essays that focuses on Gottlob Frege's Basic Laws of Arithmetic (1893/1903), highlighting both the technical and the philosophical richness of Frege's magnum opus. It brings together twenty-two renowned Frege scholars whose contributions discuss a wide range of topics arising from both volumes of Basic Laws of Arithmetic. The original chapters in this volume make vivid the importance and originality of Frege's masterpiece, not just for Frege scholars but for the study of the history (...) of logic, mathematics, and philosophy. (shrink)