By what process of development he came to this opinion, though in itself an important and interesting question, is logically irrelevant to the inquiry how far the opinion itself is correct ; and among his opinions, when these have been ascertained, it becomes desirable to prune away such as seem inconsistent with his main doctrines, before those doctrines themselves are subjected to a critical scrutiny. Philosophic truth and falsehood, in short, rather than historical fact, are what primarily demand our attention (...) in this inquiry. (shrink)

Analytic philosophy has become the dominant philosophical tradition in the English-speaking world. This book illuminates that tradition through a historical examination of a crucial period in its formation: the rejection of Idealism by Bertrand Russell and G.E. Moore at the beginning of the twentieth century, and the subsequent development of Russell's thought in the period before the First World War.

This volume contains English translations of Frege's early writings in logic and philosophy and of relevant reviews by other leading logicians. Professor Bynum has contributed a biographical essay, introduction, and extensive bibliography.

This book provides the original text of A Critical Exposition of the Philosophy of Leibniz, which was first published in 1900. An example of Russell's early thought, the work took particular inspiration from the letters to Arnauld and the Discours de Métaphysique in developing a comprehensive theory of Leibniz's system. The text of the first edition is provided in its entirety, including an appendix containing extracts from Leibniz, classified according to subject. This book will be of value to anyone with (...) an interest in Leibniz and the early philosophy of Russell. (shrink)

This thesis discusses Russell's logical work from the period 1903 to 1908, focusing on three well-developed logical systems: The Principles of Mathematics, the substitution theory, and Principia Mathematica. I explore Russell's formal work as well as his philosophy of logic. My thesis is that Russell retained the belief throughout this period that propositions or propositional functions are abstract objects with a definite structure, and that apprehension of that structure is the foundation of human reasoning. ;The first chapter discusses the philosophical (...) and mathematical background to Russell's logicism, and gives an account of his philosophy of logic in The Principles of Mathematics. The second chapter presents Russell's system of logic in The Principles of Mathematics, and the paradoxes that Russell presents there. The relationship of his logical work to his philosophy of logic is discussed, and a section proves the formal completeness of a modern form of Russell's propositional logic. ;The third chapter, on the substitution theory of 1905, explicates one of Russell's attempts to construct a type-free theory which avoids the paradoxes. I consider an axiomatization of the substitution theory presented in an unpublished manuscript of Russell's dated 1905. A modern reconstruction of the substitution theory is given, which presents a recursively defined structure which models Russell's understanding of propositions. The form of the paradox which caused Russell to abandon the substitution theory is presented, and it is shown how the reconstruction of the substitution theory may avoid this paradox using a fixed point construction. ;The fourth chapter presents the evolution of the ramified theory of types. This theory is the solution to the paradoxes Russell developed after abandoning the substitution theory. The different versions of this theory are discussed showing how they ended in the theory of Principia Mathematica. (shrink)