Mathematics and Its Logics

The essays in this volume present a sustained case for a healthy pluralism in mathematics and its logics.

The essays in this volume present a case for pluralism in mathematics and its logics, largely supporting coexistence despite apparent contradictions between different systems. In addition, the volume further develops Hellman's modal-structuralist account of mathematics, recognizing indefinite extendability of models and stages at which sets occur.In these essays Geoffrey Hellman presents a strong case for a healthy pluralism in mathematics and its logics, supporting peaceful coexistence despite what appear to be contradictions between different systems, and positing different frameworks serving different legitimate purposes. The essays refine and extend Hellman's modal-structuralist account of mathematics, developing a height-potentialist view of higher set theory which recognizes indefinite extendability of models and stages at which sets occur. In the first of three new essays written for this volume, Hellman shows how extendability can be deployed to derive the axiom of Infinity and that of Replacement, improving on earlier accounts; he also shows how extendability leads to attractive, novel resolutions of the set-theoretic paradoxes. Other essays explore advantages and limitations of restrictive systems - nominalist, predicativist, and constructivist. Also included are two essays, with Solomon Feferman, on predicative foundations of arithmetic.