Cover Image

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

Show other versions (1)

Stewart Shapiro presents a distinctive original view of the foundations of mathematics, arguing that second-order logic has a central role to play in laying these foundations.

Bibliographic Details
Main Author: Shapiro, Stewart, 1951-
Format: eBook
Language:English
Published: Oxford : Clarendon Press, ©1991.
Series:Oxford logic guides ; 17.
Oxford science publications.
Subjects:
Logic, Symbolic and mathematical.
Logique symbolique et mathématique.
MATHEMATICS > Infinity.
MATHEMATICS > Logic.
Logic, Symbolic and mathematical
Wiskundige logica.
Mathematical foundations
Philosophy of mathematics
Logic and methodology
Electronic books.
Online Access:Connect to the full text of this electronic book
Table of Contents:
  • Terms and questions
  • Foundationalism and foundations of mathematics
  • Theory
  • Metatheory
  • Second-order logic and mathematics
  • Advanced metatheory
  • The historical "triumph" of first-order languages
  • Second-order logic and rule-following
  • The competition.