What mathematical theories of truth should be (and can be)

zbMATH Open1322.03008arXiv1311.3539MaRDI QIDQ5498640FDOQ5498640

Authors: S. Heikkilä 

Publication date: 10 February 2015

Abstract: Hannes Leitgeb formulated eight norms for theories of truth in his paper: `What Theories of Truth Should be Like (but Cannot be'). We shall present in this paper a theory of truth for suitably constructed languages which contain the first-order language of set theory, and prove that it satisfies all those norms.

Full work available at URL: https://arxiv.org/abs/1311.3539

Recommendations

• A mathematical theory of truth and an application to the regress problem
• A mathematically derived definitional/semantical theory of truth
• Axioms for grounded truth
• The truth is never simple
• scientific article; zbMATH DE number 48555

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Philosophy of mathematics (00A30) Classical first-order logic (03B10) Computability and recursion theory on ordinals, admissible sets, etc. (03D60) Models of arithmetic and set theory (03C62) Set theory (03E99)

Cited In (10)

• Title not available (Why is that?)
• What difference does it make: Three truth-values or two plus gaps?
• Title not available (Why is that?)
• A mathematical theory of truth and an application to the regress problem
• What is a truth value and how many are there?
• Truth as translation. Part B
• Is Mathematical Truth Time-Dependent
• Title not available (Why is that?)
• Title not available (Why is that?)
• Does truth equal provability in the maximal theory?

This page was built for publication: What mathematical theories of truth should be (and can be)

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5498640)