Foundations Without Foundationalism: A Case for Second-Order Logic

by

Write The First Customer Review

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 logic. He also shows how first-order languages are often insufficient to ...

Foundations Without Foundationalism: A Case for Second-Order Logic 1999, OUP Oxford

ISBN-13: 9780198250296

Revised edition

Trade paperback

Select
Foundations Without Foundationalism: A Case for Second-Order Logic 1991, Oxford University Press, USA, Oxford, England

ISBN-13: 9780198533917

Hardcover

Select