The first complete English translation of a groundbreaking work. An ambitious account of the relation of mathematics to logic. Includes a foreword by Crispin Wright, translators' Introduction, and an appendix on Frege's logic by Roy T. Cook. The German philosopher and mathematician Gottlob Frege (1848-1925) was the father of analytic philosophy and to all intents and purposes the inventor of modern logic. Basic Laws of Arithmetic, originally published in German in two volumes (1893, 1903), is Freges magnum opus. It was (...) to be the pinnacle of Freges lifes work. It represents the final stage of his logicist project the idea that arithmetic and analysis are reducible to logic and contains his mature philosophy of mathematics and logic. The aim of Basic Laws of Arithmetic is to demonstrate the logical nature of mathematical theorems by providing gapless proofs in Frege's formal system using only basic laws of logic, logical inference, and explicit definitions. The work contains a philosophical foreword, an introduction to Frege's logic, a derivation of arithmetic from this logic, a critique of contemporary approaches to the real numbers, and the beginnings of a logicist treatment of real analysis. As is well-known, a letter received from Bertrand Russell shortly before the publication of the second volume made Frege realise that his basic law V, governing the identity of value-ranges, leads into inconsistency. Frege discusses a revision to basic law V written in response to Russells letter in an afterword to volume II. The continuing importance of Basic Laws of Arithmetic lies not only in its bearing on issues in the foundations of mathematics and logic but in its model of philosophical inquiry. Frege's ability to locate the essential questions, his integration of logical and philosophical analysis, and his rigorous approach to criticism and argument in general are vividly in evidence in this, his most ambitious work. Philip Ebert and Marcus Rossberg present the first full English translation of both volumes of Freges major work preserving the original formalism and pagination. The edition contains a foreword by Crispin Wright and an extensive appendix providing an introduction to Frege's formal system by Roy T. Cook. Readership: Scholars and advanced students in philosophy of logic, philosophy of mathematics, and early analytic philosophy. (shrink)

The aim of this paper is to shed new light on the logical roots of arithmetic by presenting a logical framework that takes seriously ordinary locutions like ‘at least n Fs’, ‘n more Fs than Gs’ and ‘n times as many Fs as Gs’, instead of paraphrasing them away in terms of expressions of the form ‘the number of Fs’. It will be shown that the basic concepts of arithmetic can be intuitively defined in the language of ALA, and the (...) Dedekind–Peano axioms can be derived from those definitions by logical means alone. It will also be shown that some fundamental facts about cardinal numbers expressed using singular terms of the form ‘the number of Fs’, including Hume’s Principle, can be derived solely from definitions. (shrink)

Kit Fine develops a Fregean theory of abstraction, and suggests that it may yield a new philosophical foundation for mathematics, one that can account for both our reference to various mathematical objects and our knowledge of various mathematical truths. The Limits ofion breaks new ground both technically and philosophically.

Here, Bob Hale and Crispin Wright assemble the key writings that lead to their distinctive neo-Fregean approach to the philosophy of mathematics. In addition to fourteen previously published papers, the volume features a new paper on the Julius Caesar problem; a substantial new introduction mapping out the program and the contributions made to it by the various papers; a section explaining which issues most require further attention; and bibliographies of references and further useful sources. It will be recognized as the (...) most powerful presentation yet of a neo-Fregean program. (shrink)

Michael Dummett mounts, in Frege: Philosophy of Mathematics, a concerted attack on the attempt, led by Crispin Wright, to salvage defensible versions of Frege's platonism and logicism in which Frege's criterion of numerical identity plays a leading role. I discern four main strands in this attack—that Wright's solution to the Caesar problem fails; that explaining number words contextually cannot justify treating them as enjoying robust reference; that Wright has no effective counter to ontological reductionism; and that the attempt is vitiated (...) by the unavoidable impredicativity of its leading principle—and argue that none of them succeeds. (shrink)

Neo-Fregeans argue that substantial mathematics can be derived from a priori abstraction principles, Hume's Principle connecting numerical identities with one:one correspondences being a prominent example. The embarrassment of riches objection is that there is a plurality of consistent but pairwise inconsistent abstraction principles, thus not all consistent abstractions can be true. This paper considers and criticizes various further criteria on acceptable abstractions proposed by Wright settling on another one—stability—as the best bet for neo-Fregeans. However, an analogue of the embarrassment of (...) riches objection resurfaces in the metatheory and I conclude by arguing that the neo-Fregean program, at least insofar as it includes a platonistic ontology, is fatally wounded by it. (shrink)

The book is an attempt at explaining to the nation the ideas of Frege's Grundlagen. It is wordy and trite, a paradigm case of a redundant piece of writing. The reader is advised to steer clear of it.

One of the main problems plaguing neo-logicism is the Bad Company challenge: the need for a well-motivated account of which abstraction principles provide legitimate definitions of mathematical concepts. In this article a solution to the Bad Company challenge is provided, based on the idea that definitions ought to be conservative. Although the standard formulation of conservativeness is not sufficient for acceptability, since there are conservative but pairwise incompatible abstraction principles, a stronger conservativeness condition is sufficient: that the class of acceptable (...) abstraction principles be strictly logically symmetrically class conservative . The article concludes with an examination of which classes of abstraction principles meet this criteria. (shrink)

The purpose of this book is to develop a terminological structure in which private perceptions can be discussed publicly without bringing into existence the usual unnecessary philosophical problems of confused usage of language. chisholm displays an appraisive, quasi-ethical use of language, whereby he claims that a thing has some particular sensible property is to have adequate evidence that it actually does have that property. (staff).

According to the species of neo-logicism advanced by Hale and Wright, mathematical knowledge is essentially logical knowledge. Their view is found to be best understood as a set of related though independent theses: (1) neo-fregeanism-a general conception of the relation between language and reality; (2) the method of abstraction-a particular method for introducing concepts into language; (3) the scope of logic-second-order logic is logic. The criticisms of Boolos, Dummett, Field and Quine (amongst others) of these theses are explicated and assessed. (...) The issues discussed include reductionism, rejectionism, the Julius Caesar problem, the Bad Company objections, and the charge that second-order logic is set theory in disguise. (shrink)

A number of formal constraints on acceptable abstraction principles have been proposed, including conservativeness and irenicity. Hume’s Principle, of course, satisfies these constraints. Here, variants of Hume’s Principle that allow us to count concepts instead of objects are examined. It is argued that, prima facie, these principles ought to be no more problematic than HP itself. But, as is shown here, these principles only enjoy the formal properties that have been suggested as indicative of acceptability if certain constraints on the (...) size of the continuum hold. As a result, whether or not these higher-order versions of Hume’s Principle are acceptable seems to be independent of standard (ZFC) set theory. This places the abstractionist in an uncomfortable dilemma: Either there is some inherent difference between counting objects and counting concepts, or new criteria for acceptability will need to be found. It is argued that neither horn looks promising. (shrink)

This paper is a reply to George Boolos's three papers (Boolos (1987a, 1987b, 1990a)) concerned with the status of Hume's Principle. Five independent worries of Boolos concerning the status of Hume's Principle as an analytic truth are identified and discussed. Firstly, the ontogical concern about the commitments of Hume's Principle. Secondly, whether Hume's Principle is in fact consistent and whether the commitment to the universal number by adopting Hume's Principle might be problematic. Also the so-called `surplus content' worry is discussed, (...) which points out that the conceptual resources to grasp Hume's Principle vastly outstrip the conceptual resources employed in arithmetical reasoning. And lastly whether Hume's Principle is in bad company with other unsuccessful implicit definitions. In the last section, an account towards our entitlement to Hume&'s Principle is sketched. (shrink)

Neo-Fregean logicism seeks to base mathematics on abstraction principles. But the acceptable abstraction principles are surrounded by unacceptable ones. This is the "bad company problem." In this introduction I first provide a brief historical overview of the problem. Then I outline the main responses that are currently being debated. In the course of doing so I provide summaries of the contributions to this special issue.

"One of the most careful and intensive among the introductory texts that can be used with a wide range of students. It builds remarkably sophisticated technical skills, a good sense of the nature of a formal system, and a solid and extensive background for more advanced work in logic.... The emphasis throughout is on natural deduction derivations, and the text's deductive systems are its greatest strength. Lemmon's unusual procedure of presenting derivations before truth tables is very effective." --Sarah Stebbins, The (...) Journal of Symbolic Logic. (shrink)