BIBLIO is the largest independent book marketplace in the world, with over 100 million books.

Skip to content

Foundations without Foundationalism: A Case for Second-order Logic (Oxford Logic Guides)

Foundations without Foundationalism: A Case for Second-order Logic (Oxford Logic Guides)

Foundations without Foundationalism: A Case for Second-order Logic (Oxford Logic
Stock photo: cover may vary

Foundations without Foundationalism: A Case for Second-order Logic (Oxford Logic Guides) Paperback - 2000

by Shapiro, Stewart

Add to wish list
  • Used
  • Paperback
Used: Good

Description

OXFORD UNIVERSITY PRESS, 2000-05-18. paperback. Used: Good. 9.21x6.14x0.63. Buy with confidence. Excellent Customer Service & Return policy.
Ask the seller a question Add to wish list
A$88.35
Free Delivery within USA
Standard delivery: 5 to 10 days
More delivery options
Dropship order
Ships from Ergodebooks (Texas, United States)
The BIBLIO Guarantee

Details

About Ergodebooks Texas, United States

Specialising in: Rare Books, Rare Dvd, Rare Video, Textbook
Biblio member since 2005

Our goal is to provide best customer service and good condition books for the lowest possible price. We are always honest about condition of book. We list book only by ISBN # and hence exact book is guaranteed.

Terms of Sale:

We have 30 day return policy.

Browse books from Ergodebooks

Reader reviews for Foundations without Foundationalism: A Case for Second-order Logic (Oxford Logic Guides)

Write a review for this book

There are no reviews for this book yet. Be the first to write a review!

Your review will be anonymous unless you login or create an account first.

Overall rating
Remember: You’re rating the book as a work, not the seller or the condition of the specific copy you purchased!

Important Terms and Guidelines

  • Please focus on the book’s content and context. Also, add any personal comments as to how you enjoyed the book. Substantiate your likes and dislikes. You may make comparisons to other books.
  • Reviews must be at least 140 characters in length.
  • Please do not reveal critical plot elements.
  • This is not a help line. Contact customer support if you need help.
Your review must not include:
  • Obscenities, discriminatory language, or other insulting language not suitable for public domain
  • Advertisements, “spam” content, or references to other products, offers or websites.
  • Email addresses, URLs, phone numbers, physical addresses or other contact information.
  • Overly critical comments about other reviews or reviewers
  • Time-sensitive material (i.e. promotional tours, seminars, lectures, etc.)
  • Availability, price, or alternative ordering/shipping information

From the publisher

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 codify many concepts in contemporary mathematics, and thus that both first- and higher-order logics are needed to fully reflect current work. Throughout, the emphasis is on discussing the associated philosophical and historical issues and the implications they have for foundational studies. For the most part, the author assumes little more than a familiarity with logic comparable to that provided in a beginning graduate course which includes the incompleteness of arithmetic and the Lowenheim-Skolem theorems. All those concerned with the foundations of mathematics will find this a thought-provoking discussion of some of the central issues in the field today.

Please wait a moment while we load the requested page.

tracking-