Feferman and the Truth

Andrea Cantini, Halbach Volker, Kentaro Fujimoto

Research output: Chapter in Book/Report/Conference proceedingChapter in a book

Abstract

We outline some of Feferman’s main contributions to the theory of
truth and the motivations behind them. In particular, we sketch
the role truth can play in the foundations of mathematics and in the
formulation of reflection principles, systems of ramified truth, sev-
eral variants of the Kripke–Feferman theory, a deflationist theory
in an extension of classical logic, and the system for determinate
truth.
Original languageEnglish
Title of host publicationFeferman on Foundations
Subtitle of host publicationLogic, Mathematics, Philosophy
PublisherSpringer
Pages287
Number of pages314
Publication statusPublished - 2 Apr 2018

Fingerprint Dive into the research topics of 'Feferman and the Truth'. Together they form a unique fingerprint.

Cite this