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

MaRDI QIDQ5498640zbMATH OpenFDO

Authors S. Heikkilä

Publication date 10 February 2015

Full work available at URL https://arxiv.org/abs/1311.3539, http://www.nonlinearstudies.com/index.php/nonlinear/article/view/948/691

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)

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.

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

Cited in

(10)

• A mathematical theory of truth and an application to the regress problem
• What is a truth value and how many are there?
• scientific article; zbMATH DE number 2149371 (Why is no real title available?)
• Does truth equal provability in the maximal theory?
• scientific article; zbMATH DE number 6307931 (Why is no real title available?)
• scientific article; zbMATH DE number 6131416 (Why is no real title available?)
• Truth as translation. Part B
• What difference does it make: Three truth-values or two plus gaps?
• Is Mathematical Truth Time-Dependent
• scientific article; zbMATH DE number 48555 (Why is no real title available?)

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)