Cover Image

Feferman on Foundations Logic, Mathematics, Philosophy /

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

Corporate Author: SpringerLink (Online service)
Other Authors: Jäger, Gerhard. (Editor, http://id.loc.gov/vocabulary/relators/edt), Sieg, Wilfried. (Editor, http://id.loc.gov/vocabulary/relators/edt)
Language:English
Published: Cham : Springer International Publishing : Imprint: Springer, 2017.
Edition:1st ed. 2017.
Series:Outstanding Contributions to Logic, 13
Subjects:
Mathematical logic.
Logic.
Mathematical Logic and Foundations.
Mathematical Logic and Formal Languages.
Online Access:https://doi.org/10.1007/978-3-319-63334-3
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