## 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 |