Foundations Without Foundationalism: A Case for Second-Order Logic

by Stewart Shapiro

Book Overview

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 comprehensive discussion of its semantics. He goes on to demonstrate the prevalence of second-order concepts in mathematics and the extent to which mathematical ideas can be formulated in higher-order...

• Format: Paperback
• Language: English
• ISBN: 0198250290
• ISBN13: 9780198250296
• Release Date: May 2000
• Publisher: OUP Oxford
• Length: 300 Pages
• Weight: 1.20 lbs.
• Dimensions: 0.6" x 6.1" x 9.2"