The fundamental texts of the great classical period in modern logic, some of them never before available in English translation, are here gathered together for ...

... as 'logicism') that the content expressed by true propositions of arithmetic and analysis is not something of an irreducibly mathematical character, ...

This unique book by Stewart Shapiro looks at a range of philosophical issues and positions concerning mathematics in four comprehensive sections. Part I describes questions and issues about mathematics that have motivated philosophers since the beginning of intellectual history. Part II is an historical survey, discussing the role of mathematics in the thought of such philosophers as Plato, Aristotle, Kant, and Mill. Part III covers the three major positions held throughout the twentieth century: the idea that mathematics is logic (logicism), (...) the view that the essence of mathematics is the rule-governed manipulation of characters (formalism), and a revisionist philosophy that focuses on the mental activity of mathematics (intuitionism). Finally, Part IV brings the reader up-to-date with a look at contemporary developments within the discipline. This sweeping introductory guide to the philosophy of mathematics makes these fascinating concepts accessible to those with little background in either mathematics or philosophy. (shrink)

This is the first single-volume edition and translation of Frege's philosophical writings to include all of his seminal papers and substantial selections from all three of his major works.

Moving beyond both realist and anti-realist accounts of mathematics, Shapiro articulates a "structuralist" approach, arguing that the subject matter of a mathematical theory is not a fixed domain of numbers that exist independent of each other, but rather is the natural structure, the pattern common to any system of objects that has an initial object and successor relation satisfying the induction principle.

In this investigation into Frege's philosophical views as a whole, the central focus is on his notion of sense, the conception that has proved most influential in the development of analytical philosophy, and around which the main problems of interpretation revolve.

This book is available either individually, or as part of the specially-priced Arguments of the Philosphers Collection.

In recent work on Frege, one of the most salient issues has been whether he was prepared to make serious use of semantical notions such as reference and truth. I argue here Frege did make very serious use of semantical concepts. I argue, first, that Frege had reason to be interested in the question how the axioms and rules of his formal theory might be justified and, second, that he explicitly commits himself to offering a justification that appeals to the (...) notion of reference. I then discuss the justifications Frege offered, focusing on his discussion of inferences involving free variables, in section 17 of Grundgesetze, and his argument, in sections 29-32, that every well-formed expression of his formal language has a unique reference. (shrink)

A comprehensive historical overview of formalist ideas in the philosophy of mathematics.

This analysis of Frege's views on language and metaphysics in On Sense and Reference, arguably one of the most important philosophical essays of the past hundred years, provides a thorough introduction to the function/argument analysis and applies Frege's technique to the central notions of predication, identity, existence and truth. Of particular interest is the analysis of the Paradox of Identity and a discussion of three solutions: the little-known Begriffsschrift solution, the sense/reference solution, and Russell's 'On Denoting' solution. Russell's views wend (...) their way through the work, serving as a foil to Frege. Appendices give the proofs of the first 68 propositions of Begriffsschrift in modern notation. This book will be of interest to students and professionals in philosophy and linguistics. (shrink)

It is a commonplace that in the development of modern logic towards its actual shape at least two directions or traditions have to be distinguished. These traditions may be called, following the mo...

Frege’s distinction between sense (Sinn) and meaning (Bedeutung) is his most influential contribution to philosophy, however central it was to his own projects, and however he may have conceived its importance. Philosophers of language influenced by, or reacting against the distinction, and historians of philosophy commenting on it, have all contributed to the voluminous literature surrounding it.1 Nonetheless in this essay I hope to shed new light on the distinction by considering it in the context of the development of Frege’s (...) thought, and connecting it more intimately than is usually done with Frege’s interests in logic, especially his views on judgment, truth and inference, which were central to his own projects as he conceived them. (shrink)

Studie over het werk van de Duitse wijsgeer Friedrich Ludwig Gottlob Frege (1848-1925).

This paper has three goals: (i) to show that the foundational program begun in the Begriffsschroft, and carried forward in the Grundlagen, represented Frege's attempt to establish the autonomy of arithmetic from geometry and kinematics; the cogency and coherence of 'intuitive' reasoning were not in question. (ii) To place Frege's logicism in the context of the nineteenth century tradition in mathematical analysis, and, in particular, to show how the modern concept of a function made it possible for Frege to pursue (...) the goal of autonomy within the framework of the system of second-order logic of the Begriffsschrift. (iii) To address certain criticisms of Frege by Parsons and Boolos, and thereby to clarify what was and was not achieved by the development, in Part III of the Begriffsschrift, of a fragment of the theory of relations. (shrink)

According to the received view (Bocheński, Kneale), from the end of the fourteenth to the second half of nineteenth century, logic enters a period of decadence. If one looks at this period, the richness of the topics and the complexity of the discussions that characterized medieval logic seem to belong to a completely different world: a simplified theory of the syllogism is the only surviving relic of a glorious past. Even though this negative appraisal is grounded on good reasons, it (...) overlooks, however, a remarkable innovation that imposes itself at the beginning of the sixteenth century: the attempt to connect the two previously separated disciplines of logic and mathematics. This happens along two opposite directions: the one aiming to base mathematical proofs on traditional (Aristotelian) logic; the other attempting to reduce logic to a mathematical (algebraical) calculus. This second trend was reinforced by the claim, mainly propagated by Hobbes, that the activity of thinking was the same as that of performing an arithmetical calculus. Thus, in the period of what Bocheński characterizes as ‘classical logic’, one may find the seeds of a process which was completed by Boole and Frege and opened the door to the contemporary, mathematical form of logic. (shrink)

Purporting to show how Frege's contributions to philosophy of language and philosophical logic were developed with the aim of furthering his logicist programme, the author construes him as more systematic than is often recognized. Centrally, the notion of sense as espoused in Frege's monumental articles of the Nineties had only an ostensible justification as an account of the informativeness of a posteriori identity statements. In fact its rationale was to help articulate the thesis that arithmetical truth is analytic, since, it (...) is maintained, to sustain such a thesis the two sides of the identities at the heart of the logicist reconstruction must be shown to have the same sense. Yet the notion of sense required for the analyticity thesis was not, and could not have been, successfully deployed on behalf of Frege's logicism. For Frege also held that many arithmetical propositions, including, apparently, identities, are informative. But no proposition can be at once informative and analytic. Although systematic, Frege's work harbored a crucial internal tension. (shrink)

This paper dates from about 1994: I rediscovered it on my hard drive in the spring of 2002. It represents an early attempt to explore the connections between the Julius Caesar problem and Frege's attitude towards Basic Law V. Most of the issues discussed here are ones treated rather differently in my more recent papers "The Julius Caesar Objection" and "Grundgesetze der Arithmetik I 10". But the treatment here is more accessible, in many ways, providing more context and a better (...) sense of how this issue relates to broader issues in Frege's philosophy. (shrink)

A feature of Frege's philosophy of arithmetic that has elicited a great deal of attention in the recent secondary literature is his contention that numbers are ‘self‐subsistent’ objects. The considerable interest in this thesis among the contemporary philosophy of mathematics community stands in marked contrast to Kreisel's folk‐lore observation that the central problem in the philosophy of mathematics is not the existence of mathematical objects, but the objectivity of mathematics. Although Frege was undoubtedly concerned with both questions, a goal of (...) the present paper is to argue that his success in securing the objectivity of arithmetic depends on a less contentious commitment to numbers as objects than either he or his critics have supposed. As such, this paper is an articulation and defense of both Frege's analysis of arithmetic and Kreisel's observation. (shrink)