Foundations without foundationalism : a case for second-order logic /

Foundations without foundationalism : a case for second-order logic /

Saved in:
Bibliographic Details
Author / Creator:Shapiro, Stewart, 1951-
Imprint:Oxford : Clarendon Press ; New York : Oxford University Press, 1991.
Description:xx, 277 p. ; 24 cm.
Language:English
Series:Oxford logic guides 17
Subject:
Logic, Symbolic and mathematical
Logic, Symbolic and mathematical.
Format: Print Book
URL for this record:http://pi.lib.uchicago.edu/1001/cat/bib/1266307
Hidden Bibliographic Details
Varying Form of Title:Foundations without foundationalism
Other title:Second-order logic.
Second order logic.
ISBN:0198533918 : £35.00 ($52.50 U.S.)
Notes:Includes bibliographical references and index.
Table of Contents:
  • foundations Without Foundationalism
  • Oxford Logic Guides: 17
  • Foundations Without Foundationalism
  • Preface
  • Preface to Paperback Edition
  • Part I. Orientation
  • 1. Terms and Questions
  • 2. Foundationalism and Foundations of Mathematics
  • Part II. Logic and Mathematics
  • 3. Theory
  • 4. Metatheory
  • 5. Second-Order Logic and Mathematics
  • 6. Advanced Metatheory
  • Part III. History and Philosophy
  • 7. The Historical 'Triumph' of First-Order Languages
  • 8. Second-Order Logic and Rule-Following
  • 9. The Competition
  • References
  • Index

Similar Items