This introduction to first-order logic clearly works out the role of first-order logic in the foundations of mathematics, particularly the two basic questions of the range of ...

The Quine-Putnam indispensability argument in the philosophy of mathematics urges us to place mathematical entities on the same ontological footing as other theoretical ...

Describes the use of computer programs to check several proofs in the foundations of mathematics.

After a brief presentation of the classical conceptions of truth - correspondence, coherence, verificationist, and pragmatist theories - the book focuses on the debate between ...

This book explores the interplay between the two main currents of mathematics, the continuous and the discrete.

"A pleasure to read. Gracefully written by a scholar well grounded in the relevant philosophical, historical, and technical background. . . . a helpfully clarifying review and ...