Philosophy of mathematics and logic remain central disciplines in contemporary philosophy. This volume covers these disciplines, giving the reader an overview of the major problems, positions, and battle lines. It is aimed at those wishing to learn... Zobraziť viac
The central contention of this book is that second-order logic has a central role to play in laying the foundations of mathematics. In order to develop the argument fully, the author presents a detailed description of higher-order logic, including a... Zobraziť viac
