014 - The Axiom of Infinity and Logical Types

In Introduction to Mathematical Philosophy, Bertrand Russell penned a profound exploration while imprisoned for his anti-war activism during World War I. This work delves into the groundbreaking contributions of late nineteenth-century mathematicians and presents Russells own philosophy of mathematics known as Logicism, which posits that all mathematical truths are ultimately logical truths. He reflects on his earlier significant achievements in addressing the paradoxes that challenged the foundations of mathematics, culminating in the renowned three-volume Principia Mathematica, co-authored with Alfred North Whitehead. Russell underscores the necessity of a doctrine of types, the validity of Logicism, and the clarity that logical analysis brings to the philosophy of mathematics. (summary by Landon D. C. Elkind)