The primary mechanism for ideological and theoretical unification in modern mathematics, set theory forms an essential element of any comprehensive treatment of the philosophy of mathematics. This unique approach to set theory offers a technically informed discussion that covers a variety of philosophical issues. Rather than focusing on intuitionist and constructive alternatives to the Cantorian/Zermelian tradition, the author examines the two most important aspects of the current philosop...

This book is based on two premises: one cannot understand philosophy of mathematics without understanding mathematics and one cannot understand mathematics without doing mathematics. It draws readers into philosophy of mathematics by having them do mathematics. It offers 298 exercises, covering philosophically important material, presented in a philosophically informed way. The exercises give readers opportunities to recreate some mathematics that will illuminate important readings in phil...

This volume offers English translations of three early works by Ernst Schröder (1841-1902), a mathematician and logician whose philosophical ruminations and pathbreaking contributions to algebraic logic attracted the admiration and ire of figures such as Dedekind, Frege, Husserl, and C. S. Peirce. Today he still engages the sympathetic interest of logicians and philosophers.The works translated record Schröder’s journey out of algebra into algebraic logic and document his transform...

Sometimes it is not big events or great men or women that change history. Often, an apparently trivial occasion or insignificant decision changes everything.Stephen Pollard's alternative history of the past sixty years examines ten such crucial days in our history. None of them are obviously historic. But each of them changed the country - some for good, others for ill.Combining history, analysis, humour and polemic, this incisive look at events stretched across six decades...

Moritz Pasch (1843-1930) is justly celebrated as a key figure in the history of axiomatic geometry. Less well known are his contributions to other areas of foundational research. This volume features English translations of 14 papers Pasch published in the decade 1917-1926. In them, Pasch argues that geometry and, more surprisingly, number theory are branches of empirical science; he provides axioms for the combinatorial reasoning essential to Hilbert’s program of consistency proofs; he ex...