This book provides an accessible, critical introduction to the three main approaches that dominated work in the philosophy of mathematics during the twentieth century: logicism, intuitionism and formalism.

Geared to preparing students to make the transition from solving problems to proving theorems, this text teachs them the techniques needed to read and write proofs. The book begins with the basic concepts of logic and set theory, to familiarize students with the language of mathematics and how it is interpreted. These concepts are used as the basis for a step-by-step breakdown of the most important techniques used in constructing proofs. To help students construct their own proofs, this new edition (...) contains over 200 new exercises, selected solutions, and an introduction to Proof Designer software. No background beyond standard high school mathematics is assumed. Previous Edition Hb (1994) 0-521-44116-1 Previous Edition Pb (1994) 0-521-44663-5. (shrink)

Dieses Buch blickt in eine bedeutende Epoche der Philosophie der Mathematik zurück, deren Strömungen die heutige Gestalt der Mathematik prägten. In der Wende vom 19. zum 20. Jahrhundert befand sich die Mathematik in einem fundamentalen Umbruch, der die Mathematiker dieser Zeit herausforderte. Sie mussten Stellung beziehen. Die Grundsätze und Wege der philosophischen Richtungen, die dieses Buch verständlich, kritisch und anerkennend beschreibt, wurden von Mathematikern formuliert. Eine Zeit gravierender Disharmonien begann, die bis in Streit und Feindschaften mündeten und zugleich faszinierende und (...) fruchtbare Ergebnisse hervorbrachten, mathematisch wie philosophisch. Es war ein aufregendes, intellektuelles Abenteuer zu Beginn des 20. Jahrhunderts auf einem außergewöhnlich scharfsinnigen und kreativen Niveau. Die Debatte über die unversöhnlichen Ansichten versiegte allmählich und inzwischen ist wieder relative Ruhe in die Gemeinde der Mathematiker eingekehrt. Zentrale philosophische Fragen aber, die damals die Protagonisten spalteten, sind nach wie vor unbeantwortet. Die Suche nach dem Wesen der Mathematik geht weiter und greift auf die Ideen dieser Kontroversen zurück. (shrink)

We propose the use of variable declarations in natural deduction. A variable declaration is a line in a derivation that introduces a new variable into the derivation. Semantically, it can be regarded as declaring that the variable denotes an element of the universe of discourse. Undeclared variables, in contrast, do not denote anything, and may not occur free in any formula in the derivation. Although most natural deduction systems in use today do not have variable declarations, the idea can be (...) traced back to one of the first papers on natural deduction. We show how the use of variable declarations in natural deduction leads to a formal system that has a number of desirable features: It is simple, easy to use and understand, and corresponds closely to ordinary informal reasoning. Soundness and completeness of the system are easily proven. Furthermore, the system clarifies the role of the existential instantiation rule in natural deduction. (shrink)