Feferman on Foundations Logic, Mathematics, Philosophy

Feferman on Foundations Logic, Mathematics, Philosophy / edited by Gerhard Jäger, Wilfried Sieg.

This volume honours the life and work of Solomon Feferman, one of the most prominent mathematical logicians of the latter half of the 20th century. In the collection of essays presented here, researchers examine Feferman’s work on mathematical as well as specific methodological and philosophical iss...

Full description

Saved in:
Bibliographic Details
Corporate Author: SpringerLink (Online service)
Other Authors: Jäger, Gerhard (Editor), Sieg, Wilfried (Editor)
Format: eBook
Language:English
Published: Cham : Springer International Publishing : Imprint: Springer, 2017.
Edition:1st ed. 2017.
Series:Outstanding Contributions to Logic, 13
Springer eBook Collection.
Subjects:
Mathematical logic.
Logic.
Electronic resources (E-books)
Online Access:Click to view e-book
Holy Cross Note:Loaded electronically.
Electronic access restricted to members of the Holy Cross Community.
Table of Contents:
  • Tentative TOC Table of contents Introduction: Perspective Feferman: Autobiography I. Mathematical Logic
  • Model Theory
  • Set Theory
  • Proof Theory. - Computability Theory II. Conceptual Expansions . Predicativity
  • Unfolding 2
  • Semi-constructive systems III. Axiomatic Foundations
  • Explicit Mathematics and Operational Set Theory
  • Theories of Truth
  • Foundations of Category Theory IV. From Logic to Philosophy
  • What is Logic?
  • Foundational Ways
  • Gödel, Minds and Machines
  • New Axioms and the Continuum Problem
  • Conceptual Structuralism V. Responses Feferman: Bibliography Contributors: Short biographies
  • Index. .

Similar Items