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.
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 language | English |
|---|---|
| Title of host publication | Feferman on Foundations |
| Subtitle of host publication | Logic, Mathematics, Philosophy |
| Publisher | Springer |
| Pages | 287 |
| Number of pages | 314 |
| Publication status | Published - 2 Apr 2018 |
