First published in 1903, _Principles of Mathematics_ was Bertrand Russell’s first major work in print. It was this title which saw him begin his ascent towards eminence. In this groundbreaking and important work, Bertrand Russell argues that mathematics and logic are, in fact, identical and what is commonly called mathematics is simply later deductions from logical premises. Highly influential and engaging, this important work led to Russell’s dominance of analytical logic on western philosophy in the twentieth century.

First published in 1903, _Principles of Mathematics_ was Bertrand Russell’s first major work in print. It was this title which saw him begin his ascent towards eminence. In this groundbreaking and important work, Bertrand Russell argues that mathematics and logic are, in fact, identical and what is commonly called mathematics is simply later deductions from logical premises. Highly influential and engaging, this important work led to Russell’s dominance of analytical logic on western philosophy in the twentieth century.

This book, written by one of philosophy's pre-eminent logicians, argues that many of the basic assumptions common to logic, philosophy of mathematics and metaphysics are in need of change. It is therefore a book of critical importance to logical theory. Jaakko Hintikka proposes a new basic first-order logic and uses it to explore the foundations of mathematics. This new logic enables logicians to express on the first-order level such concepts as equicardinality, infinity, and truth in the same language. (...) The famous impossibility results by Gödel and Tarski that have dominated the field for the last sixty years turn out to be much less significant than has been thought. All of ordinary mathematics can in principle be done on this first-order level, thus dispensing with the existence of sets and other higher-order entities. (shrink)

This book, written by one of philosophy's pre-eminent logicians, argues that many of the basic assumptions common to logic, philosophy of mathematics and metaphysics are in need of change. It is therefore a book of critical importance to logical theory. Jaakko Hintikka proposes a new basic first-order logic and uses it to explore the foundations of mathematics. This new logic enables logicians to express on the first-order level such concepts as equicardinality, infinity, and truth in the same language. (...) The famous impossibility results by Gödel and Tarski that have dominated the field for the last sixty years turn out to be much less significant than has been thought. All of ordinary mathematics can in principle be done on this first-order level, thus dispensing with the existence of sets and other higher-order entities. (shrink)

Published in 1903, this book was the first comprehensive treatise on the logical foundations of mathematics written in English. It sets forth, as far as possible without mathematical and logical symbolism, the grounds in favour of the view that mathematics and logic are identical. It proposes simply that what is commonly called mathematics are merely later deductions from logical premises. It provided the thesis for which _Principia Mathematica_ provided the detailed proof, and introduced the work of Frege (...) to a wider audience. In addition to the new introduction by John Slater, this edition contains Russell's introduction to the 1937 edition in which he defends his position against his formalist and intuitionist critics. (shrink)

First published in 1937. Routledge is an imprint of Taylor & Francis, an informa company.

Published in 1903, this book was the first comprehensive treatise on the logical foundations of mathematics written in English. It sets forth, as far as possible without mathematical and logical symbolism, the grounds in favour of the view that mathematics and logic are identical. It proposes simply that what is commonly called mathematics are merely later deductions from logical premises. It provided the thesis for which _Principia Mathematica_ provided the detailed proof, and introduced the work of Frege (...) to a wider audience. In addition to the new introduction by John Slater, this edition contains Russell's introduction to the 1937 edition in which he defends his position against his formalist and intuitionist critics. (shrink)

In "the principles of mathematics" russell accepts (a) that word meaning (e.G., That 'fido' means fido) is irrelevant to logic and (b) that such sentences as 'all men are mortal' do not express quantified propositions but are about things (in this case, The class of men). If we note these confusions, And also that (b), Though not (a) has been abandoned by 'on denoting', We see what denoting is and how russell relates to frege on sinn and bedautung.

Unaware of Frege's 1879 Begriffsschrift, Russell's 1903 The Principles of Mathematics set out a calculus for logic whose foundation was the doctrine that any such calculus must adopt only one style of variables–entity (individual) variables. The idea was that logic is a universal and all-encompassing science, applying alike to whatever there is–propositions, universals, classes, concrete particulars. Unfortunately, Russell's early calculus has appeared archaic if not completely obscure. This paper is an attempt to recover the formal system, showing its (...) philosophical background and its semantic completeness with respect to the tautologies of a modern sentential calculus. (shrink)

Although symbolic logic has grown considerably in the subsequent decades, this book remains a classic.

In The Principles of Mathematics Revisited Jaakko Hintikka proposes nothing less than “to prepare the ground for the next revolution in the foundations of mathematics”. Hintikka’s proposal involves a rejection, inter alia, of the views that ordinary first-order logic is the basic elementary logic and that axiomatic set theory is a natural framework for theorizing about mathematics.

Set theory -- Logic -- Proofs -- Functions -- Group theory -- Linear algebra.

Bertrand Russell presented three systems of propositional logic, one first in Principles of Mathematics, University Press, Cambridge, 1903 then in “The Theory of Implication”, Routledge, New York, London, pp. 14–61, 1906) and culminating with Principia Mathematica, Cambridge University Press, Cambridge, 1910. They are each based on different primitive connectives and axioms. This paper follows “Peirce’s Law” through those systems with the aim of understanding some of the notorious peculiarities of the 1910 system and so revealing some of the (...) early history of classical propositional logic. “Peirce’s Law” is a valid formula of elementary propositional logic: [ ⊃ p] ⊃ p This sentence is not even a theorem in the 1910 system although it is one of the axioms in 1903 and is proved as a theorem in 1906. Although it is not proved in 1910, the two lemmas from the proof in 1906 occur as theorems, and Peirce’s Law could have been derived from them in a two step proof. The history of Peirce’s Law in Russell’s systems helps to reconstruct some of the history of axiomatic systems of classical propositional logic. (shrink)

This volume shows Bertrand Russell in transition from a neo-Kantian and neo-Hegelian philosopher to an analytic philosopher of the highest rank. During this period, his research centered on writing The Principles of Mathematics. The volume draws together previously unpublished drafts which shed light on Russell's struggle to accept Cantor's notion of continuum as well as Russell's infinite ordinal and cardinal numbers. It also includes the first version of Russell's Paradox.

This book concisely states the main laws and precepts of formal logic along with their immediate corollaries. Commentary is kept to a minimum.

Marburg Neo-Kantianism has attracted substantial interest among contemporary philosophers drawn by its founding idea that the success of advanced theoretical science is a given fact and it is the task of philosophical inquiry to ground the objectivity of scientific achievement in its a priori sources (Cohen and Natorp 1906, p. i). The Marburg thinkers realized that recent advances and developments in the mathematical sciences had changed the character of Kant’s transcendental project, demanding new methods and approaches to establish the objectivity (...) of the latest insights into physical reality. Hermann Cohen, one of the founders of the Marburg School, attempted to base the objectivity of science on the concepts of .. (shrink)

The focus of this chapter is on the book mentioned in its title. There, Russell combines the metaphysics of Platonic Atomism with the logic of relations, which he developed on the basis of Peano's logic and with logicism. Logicism is deployed as an argument against Idealism; in particular, it is used to defend the idea that the truths of mathematics are absolutely true, not merely relatively true as the Idealists had held. And it is also used to argue that (...) consistent theories of space and time are available. This fact, Russell claims, undermines the Idealist claim that our ordinary knowledge is inconsistent. The chapter also raises some of the problems thrown up by Russell's view, in particular the paradox that bears his name. (shrink)

Introductory paragraph from unpublished review.

This article presents notes that Russell made while reading the works of Gottlob Frege in 1902. These works include Frege’s books as well as the packet of offprints Frege sent at Russell’s request in June of that year. Russell relied on these notes while composing “Appendix A: The Logical and Arithmetical Doctrines of Frege” to add to _The Principles of Mathematics_, which was then in press. A transcription of the marginal comments in those works of Frege appeared in the (...) previous issue of this journal. (shrink)

This volume shows Russell in transition from a neo-Kantian and neo-Hegelian philosopher to an analytic philosopher of the first rank. During this period his research centred on writing The Principles of Mathematics where he drew together previously unpublished drafts. These shed light on Russell's paradox. This material will alter previous accounts of how he discovered his paradox and the related paradox of the largest cardinal. The volume also includes a previously unpublished draft of an early attempt to solve (...) his paradox, as well as the earliest known version of his generalised relation arithmetic. It contains three articles which have never previously been published in English. (shrink)

The critic against subject-predicate propositions is a Russell’s feature. See for example A Critical Exposition of the Philosophy of Leibniz. However, in The Principles of Mathematics Russell goes back to the subject-predicate form but in the context of his contribuition to the development of Modern Logic and his philosophy of mathematics.

In this review article of Volumes 2 and 3 of _The Collected Papers of Bertrand Russell, I distinguish and attempt to clarify three periods of Russell's early philosophical development: R 'subscript 1', his Hegelian period of 1894-1898; R 'subscript 2', his Moore-influenced period from the end of 1898 to his meeting Peano in August 1900; and R 'subscript 3', the period after he met Peano through the completion of _The Principles of Mathematics. I argue that the position Russell (...) defends in R 'subscript 2' is in conflict with the logicism he develops in R 'subscript 3' and that this conflict within Russell's postidealist philosophy is reflected in the _Principles. (shrink)

Several interesting themes emerge from G. E. Moore’s previously unpub­lished review of _The Principles of Mathematics_. These include a worry concerning whether mathematical notions are identical to purely logical ones, even if coextensive logical ones exist. Another involves a conception of infinity based on endless series neglected in the Principles but arguably involved in Zeno’s paradox of Achilles and the Tortoise. Moore also questions the scope of Russell’s notion of material implication, and other aspects of Russell’s claim that (...) mathematics reduces to logic. (shrink)