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: Hardcover
• Language: English
• ISBN: 0198533918
• ISBN13: 9780198533917
• Release Date: November 1991
• Publisher: Oxford University Press, USA
• Length: 300 Pages
• Weight: 1.40 lbs.
• Dimensions: 0.9" x 6.4" x 9.6"