- Truth, Pretense and the Liar Paradox.Bradley Armour-Garb & James A. Woodbridge - 2015 - In T. Achourioti, H. Galinon, J. Martínez Fernández & K. Fujimoto (eds.), Unifying the Philosophy of Truth. Dordrecht: Imprint: Springer. pp. 339-354.details
|
|
Incompleteness Via Paradox and Completeness.Walter Dean - 2020 - Review of Symbolic Logic 13 (3):541-592.details
|
|
A fixed-point problem for theories of meaning.Niklas Dahl - 2022 - Synthese 200 (1):1-15.details
|
|
A Structured Argumentation Framework for Modeling Debates in the Formal Sciences.Marcos Cramer & Jérémie Dauphin - 2020 - Journal for General Philosophy of Science / Zeitschrift für Allgemeine Wissenschaftstheorie 51 (2):219-241.details
|
|
Minimalism and the generalisation problem: on Horwich’s second solution.Cezary Cieśliński - 2018 - Synthese 195 (3):1077-1101.details
|
|
On the Costs of Classical Logic.Luca Castaldo - 2021 - Erkenntnis 88 (3):1157-1188.details
|
|
Notes on Models of (Partial) Kripke–Feferman Truth.Luca Castaldo - 2023 - Studia Logica 111 (1):83-111.details
|
|
KF, PKF and Reinhardt’s Program.Luca Castaldo & Johannes Stern - 2022 - Review of Symbolic Logic (1):33-58.details
|
|
A theory of formal truth arithmetically equivalent to ID.Andrea Cantini - 1990 - Journal of Symbolic Logic 55 (1):244 - 259.details
|
|
True, false and paranormal.Jc Beall - 2006 - Analysis 66 (2):102–114.details
|
|
Property theory: The Type-Free Approach v. the Church Approach.George Bealer - 1994 - Journal of Philosophical Logic 23 (2):139 - 171.details
|
|
Levels of Truth.Andrea Cantini - 1995 - Notre Dame Journal of Formal Logic 36 (2):185-213.details
|
|
Classical Determinate Truth I.Kentaro Fujimoto & Volker Halbach - 2024 - Journal of Symbolic Logic 89 (1):218-261.details
|
|
Unifying the Philosophy of Truth.Theodora Achourioti, Henri Galinon, José Martínez Fernández & Kentaro Fujimoto (eds.) - 2015 - Dordrecht, Netherland: Springer.details
|
|
Logic, Mathematics, Philosophy, Vintage Enthusiasms: Essays in Honour of John L. Bell.David DeVidi, Michael Hallett & Peter Clark (eds.) - 2011 - Dordrecht, Netherland: Springer.details
|
|
‘True’ as Polysemous.Andy Yu - 2021 - Pacific Philosophical Quarterly 102 (4):542-569.details
|
|
Axiomatizing Kripke’s Theory of Truth.Volker Halbach & Leon Horsten - 2006 - Journal of Symbolic Logic 71 (2):677 - 712.details
|
|
Norms of Truth and Logical Revision.Giulia Terzian - 2015 - Topoi 34 (1):15-23.details
|
|
Proving that the Mind Is Not a Machine?Johannes Stern - 2018 - Thought: A Journal of Philosophy 7 (2):81-90.details
|
|
Modality and axiomatic theories of truth II: Kripke-Feferman.Johannes Stern - 2014 - Review of Symbolic Logic 7 (2):299-318.details
|
|
A guide to truth predicates in the modern era.Michael Sheard - 1994 - Journal of Symbolic Logic 59 (3):1032-1054.details
|
|
Truth, Revenge, and Internalizability.Kevin Scharp - 2014 - Erkenntnis 79 (S3):597-645.details
|
|
In defence of PKF.Ian Rumfitt - 2023 - Synthese 201 (2):1-21.details
|
|
Bicontextualism.Lorenzo Rossi - 2023 - Notre Dame Journal of Formal Logic 64 (1):95-127.details
|
|
Truth in a Logic of Formal Inconsistency: How classical can it get?Lavinia Picollo - 2020 - Logic Journal of the IGPL 28 (5):771-806.details
|
|
Truth and meaning.Donald Perlis - 1989 - Artificial Intelligence 39 (2):245-250.details
|
|
Provably True Sentences Across Axiomatizations of Kripke’s Theory of Truth.Carlo Nicolai - 2018 - Studia Logica 106 (1):101-130.details
|
|
Gaps, gluts, and theoretical equivalence.Carlo Nicolai - 2022 - Synthese 200 (5):1-22.details
|
|
Deflationary truth and the ontology of expressions.Carlo Nicolai - 2015 - Synthese 192 (12):4031-4055.details
|
|
The inexpressibility of validity.Julien Murzi - 2014 - Analysis 74 (1):65-81.details
|
|
Non-contractability and Revenge.Julien Murzi & Lorenzo Rossi - 2020 - Erkenntnis 85 (4):905-917.details
|
|
Generalized Revenge.Julien Murzi & Lorenzo Rossi - 2020 - Australasian Journal of Philosophy 98 (1):153-177.details
|
|
On meaningfulness and truth.BrianEdison McDonald - 2000 - Journal of Philosophical Logic 29 (5):433-482.details
|
|
On Meaningfulness and Truth.Brian Edison McDonald - 2000 - Journal of Philosophical Logic 29 (5):433 - 482.details
|
|
A Kripkean Approach to Unknowability and Truth.Leon Horsten - 1998 - Notre Dame Journal of Formal Logic 39 (3):389-405.details
|
|
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
|
|
The Primacy of the Classical? Saul Kripke Meets Niels Bohr.Colin Howson - 2019 - International Studies in the Philosophy of Science 32 (3-4):141-153.details
|
|
Consistency in the Sartrean analysis of emotion.Anthony Hatzimoysis - 2014 - Analysis 74 (1):ant084.details
|
|
The Substitutional Analysis of Logical Consequence.Volker Halbach - 2019 - Noûs 54 (2):431-450.details
|
|
Reducing compositional to disquotational truth.Volker Halbach - 2009 - Review of Symbolic Logic 2 (4):786-798.details
|
|
On the Costs of Nonclassical Logic.Volker Halbach & Carlo Nicolai - 2018 - Journal of Philosophical Logic 47 (2):227-257.details
|
|
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
|
|
Truth, reflection, and hierarchies.Michael Glanzberg - 2005 - Synthese 142 (3):289 - 315.details
|
|
Truth, Partial Logic and Infinitary Proof Systems.Martin Fischer & Norbert Gratzl - 2017 - Studia Logica 106 (3):1-26.details
|
|
Is the HYPE about strength warranted?Martin Fischer - 2022 - Synthese 200 (3):1-25.details
|
|
Hypatia's silence.Martin Fischer, Leon Horsten & Carlo Nicolai - 2021 - Noûs 55 (1):62-85.details
|
|
Maudlin’s Truth and Paradox. [REVIEW]Hartry Field - 2006 - Philosophy and Phenomenological Research 73 (3):713–720.details
|
|
Axioms for determinateness and truth.Solomon Feferman - 2008 - Review of Symbolic Logic 1 (2):204-217.details
|
|
Logic: The Basics (2nd Edition).Jc Beall & Shay A. Logan - 2017 - Routledge.details
|
|