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

Mostrar otras versiones (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.

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor principal: Shapiro, Stewart, 1951-
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Oxford : Clarendon Press, ©1991.
Colección:Oxford logic guides ; 17.
Oxford science publications.
Temas:
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
Acceso en línea:Texto completo
Tabla de Contenidos:
  • 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.

Ejemplares similares