- (1 other version)S. Feferman. Reflecting on incompleteness. The Journal of Symbolic Logic, vol. 56 , no. 1, pp. 1–49. - W. N. Reinhardt. Some remarks on extending and interpreting theories with a partial predicate for truth. Journal of Philosophical Logic, vol. 15 , no. 2, pp. 219–251. - V. Halbach and L. Horsten. Axiomatizing Kripke’s theory of truth. The Journal of Symbolic Logic, vol. 71 , no. 2, pp. 667–712 - H. Friedman and M. Sheard. An axiomatic approach to self-referential truth.Annals of Pure and Applied Logic, vol. 33 , no. 1, pp. 1–21. - V. Halbach. A system of complete and consistent truth. Notre Dame Journal of Formal Logic, vol. 35 , no. 3, pp. 311–327. [REVIEW]Graham E. Leigh - 2010 - Bulletin of Symbolic Logic 16 (3):424-428.details
|
|
Truth, Revenge, and Internalizability.Kevin Scharp - 2014 - Erkenntnis 79 (3):597-645.details
|
|
Paradoxes of Logical Equivalence and Identity.Andrew Bacon - 2013 - Topoi (1):1-10.details
|
|
Validity as a primitive.J. Ketland - 2012 - Analysis 72 (3):421-430.details
|
|
The Disjunction and Existence Properties for Axiomatic Systems of Truth.Harvey Friedman & Michael Sheard - 1987 - Annals of Pure and Applied Logic 40 (1):1--10.details
|
|
Are Our Logical and Mathematical Concepts Highly Indeterminate?Hartry Field - 1994 - Midwest Studies in Philosophy 19 (1):391-429.details
|
|
Friedman and the axiomatization of Kripke's theory of truth.John P. Burgess - unknowndetails
|
|
The Nature of Appearance in Kant’s Transcendentalism: A Seman- tico-Cognitive Analysis.Sergey L. Katrechko - 2018 - Kantian Journal 37 (3):41-55.details
|
|
Paradoxes and contemporary logic.Andrea Cantini - 2008 - Stanford Encyclopedia of Philosophy.details
|
|
A Liar Paradox.Richard G. Heck - 2012 - Thought: A Journal of Philosophy 1 (1):36-40.details
|
|
Weak and strong theories of truth.Michael Sheard - 2001 - Studia Logica 68 (1):89-101.details
|
|
No future.Leon Horsten & Hannes Leitgeb - 2001 - Journal of Philosophical Logic 30 (3):259-265.details
|
|
Editorial introduction.Volker Halbach - 2001 - Studia Logica 68 (1):3-20.details
|
|
Axiomatizing Kripke’s Theory of Truth.Volker Halbach & Leon Horsten - 2006 - Journal of Symbolic Logic 71 (2):677 - 712.details
|
|
Fitch's Argument and Typing Knowledge.Alexander Paseau - 2008 - Notre Dame Journal of Formal Logic 49 (2):153-176.details
|
|
(1 other version)A System Of Complete And Consistent Truth.Volker Halbach - 1994 - Notre Dame Journal of Formal Logic 35 (3):311-327.details
|
|
(1 other version)A System of Complete and Consistent Truth.Volker Halbach - 1994 - Notre Dame Journal of Formal Logic 35 (1):311--27.details
|
|
The two halves of disjunctive correctness.Cezary Cieśliński, Mateusz Łełyk & Bartosz Wcisło - 2023 - Journal of Mathematical Logic 23 (2).details
|
|
Nothing Is True.Will Gamester - 2023 - Journal of Philosophy 120 (6):314-338.details
|
|
Strong Homomorphisms, Category Theory, and Semantic Paradox.Jonathan Wolfgram & Roy T. Cook - 2022 - Review of Symbolic Logic 15 (4):1070-1093.details
|
|
Cognitive Projects and the Trustworthiness of Positive Truth.Matteo Zicchetti - 2022 - Erkenntnis (8).details
|
|
A Theory of Implicit Commitment for Mathematical Theories.Mateusz Łełyk & Carlo Nicolai - manuscriptdetails
|
|
Disquotationalism and the Compositional Principles.Richard Kimberly Heck - 2021 - In Carlo Nicolai & Johannes Stern (eds.), Modes of Truth: The Unified Approach to Truth, Modality, and Paradox. New York, NY: Routledge. pp. 105--50.details
|
|
Conceptual Marxism and Truth: Inquiry Symposium on Kevin Scharp’s Replacing Truth.Patrick Greenough - 2019 - Inquiry: An Interdisciplinary Journal of Philosophy 62 (4):403-421.details
|
|
Truth without standard models: some conceptual problems reloaded.Eduardo Barrio & Bruno Da Ré - 2017 - Journal of Applied Non-Classical Logics 28 (1):122-139.details
|
|
Conditionals in Theories of Truth.Anil Gupta & Shawn Standefer - 2017 - Journal of Philosophical Logic 46 (1):27-63.details
|
|
Can the Classical Logician Avoid the Revenge Paradoxes?Andrew Bacon - 2015 - Philosophical Review 124 (3):299-352.details
|
|
Contractions of noncontractive consequence relations.Rohan French & David Ripley - 2015 - Review of Symbolic Logic 8 (3):506-528.details
|
|
A theory of formal truth arithmetically equivalent to ID.Andrea Cantini - 1990 - Journal of Symbolic Logic 55 (1):244 - 259.details
|
|
An ordinal analysis for theories of self-referential truth.Graham Emil Leigh & Michael Rathjen - 2010 - Archive for Mathematical Logic 49 (2):213-247.details
|
|
Notes on ω-inconsistent theories of truth in second-order languages.Eduardo Barrio & Lavinia Picollo - 2013 - Review of Symbolic Logic 6 (4):733-741.details
|
|
Axiomatic theories of truth.Volker Halbach - 2008 - Stanford Encyclopedia of Philosophy.details
|
|
The Friedman—Sheard programme in intuitionistic logic.Graham E. Leigh & Michael Rathjen - 2012 - Journal of Symbolic Logic 77 (3):777-806.details
|
|
(2 other versions)Empirical adequacy and ramsification.Jeffrey Ketland - 2004 - British Journal for the Philosophy of Science 55 (2):287-300.details
|
|
Truth and reduction.Volker Halbach - 2000 - Erkenntnis 53 (1-2):97-126.details
|
|
The liar in context.Michael Glanzberg - 2001 - Philosophical Studies 103 (3):217 - 251.details
|
|
Self-reference and the languages of arithmetic.Richard Heck - 2007 - Philosophia Mathematica 15 (1):1-29.details
|
|
Possible-worlds semantics for modal notions conceived as predicates.Volker Halbach, Hannes Leitgeb & Philip Welch - 2003 - Journal of Philosophical Logic 32 (2):179-223.details
|
|
Truth, reflection, and hierarchies.Michael Glanzberg - 2005 - Synthese 142 (3):289 - 315.details
|
|
Saving the truth schema from paradox.Hartry Field - 2002 - Journal of Philosophical Logic 31 (1):1-27.details
|
|
A guide to truth predicates in the modern era.Michael Sheard - 1994 - Journal of Symbolic Logic 59 (3):1032-1054.details
|
|
What theories of truth should be like (but cannot be).Hannes Leitgeb - 2007 - Philosophy Compass 2 (2):276–290.details
|
|
Theories of truth which have no standard models.Hannes Leitgeb - 2001 - Studia Logica 68 (1):69-87.details
|
|
Truth as translation – part a.Hannes Leitgeb - 2001 - Journal of Philosophical Logic 30 (4):281-307.details
|
|
Truth in applicative theories.Reinhard Kahle - 2001 - Studia Logica 68 (1):103-128.details
|
|
(1 other version)Disquotational truth and analyticity.Volker Halbach - 2001 - Journal of Symbolic Logic 66 (4):1959-1973.details
|
|
The knower paradox in the light of provability interpretations of modal logic.Paul Égré - 2004 - Journal of Logic, Language and Information 14 (1):13-48.details
|
|
Axioms for Type-Free Subjective Probability.Cezary Cieśliński, Leon Horsten & Hannes Leitgeb - 2024 - Review of Symbolic Logic 17 (2):493-508.details
|
|
Higher-Order Logic and Disquotational Truth.Lavinia Picollo & Thomas Schindler - 2022 - Journal of Philosophical Logic 51 (4):879-918.details
|
|
Unifying the Philosophy of Truth.Theodora Achourioti, Henri Galinon, José Martínez Fernández & Kentaro Fujimoto (eds.) - 2015 - Dordrecht, Netherland: Springer.details
|
|