Essays on the Foundations of Mathematics by Moritz Pasch THE WESTERN ONTARIO SERIES IN PHILOSOPHY OF SCIENCE
A SERIES OF BOOKS IN PHILOSOPHY OF SCIENCE, METHODOLOGY, EPISTEMOLOGY, LOGIC, HISTORY OF SCIENCE, AND RELATED FIELDS
Managing Editor
WILLIAM DEMOPOLOS Department of Philosophy, niversity of Western Ontario, Canada
Managing Editor 1980–1997
ROBERT E. BTTS Late, Department of Philosophy, niversity of Western Ontario, Canada
Editorial Board
JOHN L. BELL, niversity of Western Ontario JEFFREY BB, niversity of Maryland PETER CLARK, St Andrews niversity DAID DEIDI, niversity of Waterloo ROBERT DiSALLE, niversity of Western Ontario MICHAEL FRIEDMAN, Stanford niversity MICHAEL HALLETT, McGill niversity WILLIAM HARPER, niversity of Western Ontario CLIFFORD A. HOOKER, niversity of Newcastle ASONIO MARRAS, niversity of Western Ontario JÜRGEN MITTELSTRASS, niversität Konstanz WAYNE C. MYROLD, niversity of Western Ontario THOMAS EBFL, niversity of Manchester † ITAMAR PITOWSKY , Hebrew niversity
OLME 83 Stephen Pollard Editor
Essays on the Foundations of Mathematics by Moritz Pasch
123 Editor Prof. Stephen Pollard Truman State niversity Dept. Philosophy & Religion 63501 Kirksville Missouri SA [email protected]
ISBN 978-90-481-9415-5 e-ISBN 978-90-481-9416-2 DOI 10.1007/978-90-481-9416-2 Springer Dordrecht Heidelberg London New York
Library of Congress Control Number: 2010929951
c Springer Science+Business Media B.. 2010 No part of this work may be reproduced, stored in a retrieval system, or transmitted in any form or by any means, electronic, mechanical, photocopying, microfilming recording or otherwise, without written permission from the Publisher, with the exception of any material supplied specificall for the purpose of being entered and executed on a computer system, for exclusive use by the purchaser of the work.
Printed on acid-free paper
Springer is part of Springer Science+Business Media (www.springer.com) Preface
Moritz Pasch (1843–1930) has a secure reputation as a key figur in the history of axiomatic geometry. Less well known are his contributions to other areas of founda- tional research. This volume features English translations of fourteen papers Pasch published in the decade 1917–1926 during the surge in productivity after his retire- ment from the niversity of Giessen (Justus-Liebig-niversit at¨ Gießen). In them, Pasch argues that geometry and number theory are branches of empirical science; he provides axioms for the combinatorial reasoning essential to Hilbert’s program of consistency proofs; he explores implicit definitio (a generalization of definitio by abstraction) and indicates how this technique yields an empiricist reconstruc- tion of set theory; he argues that we cannot fully understand the logical structure of mathematics without clearly distinguishing between decidable and undecidable properties; he offers a rare glimpse into the mind of a master of axiomatics, sur- veying in detail the thought experiments he employed as he struggled to identify fundamental mathematical principles; and much more. The fourteen papers in this volume present Pasch’s most mature positions on key foundational issues that had occupied him for decades. They will: • Introduce English speakers to an important body of work from a turbulent and pivotal period in the history of mathematics. • Help us look beyond the familiar triad of formalism, intuitionism, and logicism. • Show how deeply we can see with the help of a guide determined to present fundamental mathematical ideas in ways that match our human capacities. The book should interest researchers in logic and the foundations of mathematics, including historians, mathematicians, and philosophers. In translating Pasch’s German into English, my goal has been to produce a text that might have been composed by a mathematically and philosophically competent writer whose f rst language is English. I mention this so readers will be aware that my errors will generally not be in the direction of excessive literalness. I have made no effort to produce a text from which the original German can be mechanically reproduced. The result of such an effort is unlikely to be idiomatic English. Readers should also be aware that I have silently corrected some obvious misprints. When it
v vi Preface