Russell’s mathematical logic* (1944)

Abstract

Abstract Mathematical logic, which is nothing else but a precise and complete formulation of formal logic, has two quite different aspects. On the one hand, it is a section of mathematics treating of classes, relations, combinations of symbols, etc., instead of numbers, functions, geometric figures, etc. On the other hand, it is a science prior to all others, which contains the ideas and principles underlying all sciences. It was in this second sense that mathematical logic was first conceived by Leibniz in his Characteristica universalis, of which it would have formed a central part. But it was almost two centuries after his death before his idea of a logical calculus really sufficient for the kind of reasoning occurring in the exact sciences was put into effect (in some form at least, if not the one Leibniz had in mind) by Frege and Peano. Frege was chiefly interested in the analysis of thought and used his calculus in the first place for deriving arithmetic from pure logic. Peano, on the other hand, was more interested in its applications within mathematics and created an elegant and flexible symbolism, which permits expressing even the most complicated mathematical theorems in a perfectly precise and often very concise manner by single formulas.