- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
What Mathematical Theories of Truth Should be Like (and Can be)
Abstract
Hannes Leitgeb formulated eight norms for theories of truth in his paper [5]: `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.My notes
Similar books and articles
A mathematical theory of truth and an application to the regress problem.S. Heikkilä - forthcoming - Nonlinear Studies 22 (2).
A mathematically derived definitional/semantical theory of truth.Seppo Heikkilä - 2018 - Nonlinear Studies 25 (1):173-189.
Notes on ω-inconsistent theories of truth in second-order languages.Eduardo Barrio & Lavinia Picollo - 2013 - Review of Symbolic Logic 6 (4):733-741.
What theories of truth should be like (but cannot be).Hannes Leitgeb - 2007 - Philosophy Compass 2 (2):276–290.
Theories of Truth without Standard Models and Yablo’s Sequences.Eduardo Alejandro Barrio - 2010 - Studia Logica 96 (3):375-391.
Analytics
Added to PP
2013-10-02
Downloads
372 (#57,060)
6 months
65 (#79,848)
2013-10-02
Downloads
372 (#57,060)
6 months
65 (#79,848)
Historical graph of downloads
Citations of this work
A mathematically derived definitional/semantical theory of truth.Seppo Heikkilä - 2018 - Nonlinear Studies 25 (1):173-189.
A mathematical theory of truth and an application to the regress problem.S. Heikkilä - forthcoming - Nonlinear Studies 22 (2).
References found in this work
Der wahrheitsbegriff in den formalisierten sprachen.Alfred Tarski - 1935 - Studia Philosophica 1:261--405.
Axiomatizing Kripke’s Theory of Truth.Volker Halbach & Leon Horsten - 2006 - Journal of Symbolic Logic 71 (2):677 - 712.
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-68866f4b87-hhxx8 uwo