- Classical Determinate Truth I.Kentaro Fujimoto & Volker Halbach - 2024 - Journal of Symbolic Logic 89 (1):218-261.details
|
|
Substitutional Validity for Modal Logic.Marco Grossi - 2023 - Notre Dame Journal of Formal Logic 64 (3):291-316.details
|
|
Naïve Truth and the Evidential Conditional.Andrea Iacona & Lorenzo Rossi - 2024 - Journal of Philosophical Logic 53 (2):559-584.details
|
|
Naive Infinitism : The Case for an Inconsistency Approach to Infinite Collections.Toby Meadows - unknowndetails
|
|
Theories of Truth without Standard Models and Yablo’s Sequences.Eduardo Alejandro Barrio - 2010 - Studia Logica 96 (3):375-391.details
|
|
Inferential Deflationism.Luca Incurvati & Julian J. Schlöder - 2023 - Philosophical Review 132 (4):529-578.details
|
|
A Logic for Frege's Theorem.Richard Heck - 1999 - In Richard G. Heck (ed.), Frege’s Theorem: An Introduction. The Harvard Review of Philosophy.details
|
|
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
|
|
Naïve Truth and the Evidential Conditional.Iacona Andrea & Lorenzo Rossi - 2024 - Journal of Philosophical Logic 1:1-26.details
|
|
Unifying the Philosophy of Truth.Theodora Achourioti, Henri Galinon, José Martínez Fernández & Kentaro Fujimoto (eds.) - 2015 - Dordrecht, Netherland: Springer.details
|
|
Shadows of Syntax: Revitalizing Logical and Mathematical Conventionalism.Jared Warren - 2020 - New York, USA: Oxford University Press.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
|
|
Cognitive Projects and the Trustworthiness of Positive Truth.Matteo Zicchetti - 2022 - Erkenntnis (8).details
|
|
Quantifier Variance and the Collapse Argument.Jared Warren - 2015 - Philosophical Quarterly 65 (259):241-253.details
|
|
Reference, paradoxes and truth.Michał Walicki - 2009 - Synthese 171 (1):195 - 226.details
|
|
A System of Complete and Consistent Truth.Volker Halbach - 1994 - Notre Dame Journal of Formal Logic 35 (1):311--27.details
|
|
The Ontological Innocence of Schematic Logic.Oliver William Tatton-Brown - forthcoming - Logic and Logical Philosophy:1.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
|
|
Weak and strong theories of truth.Michael Sheard - 2001 - Studia Logica 68 (1):89-101.details
|
|
All sets great and small: And I do mean ALL.Stewart Shapiro - 2003 - Philosophical Perspectives 17 (1):467–490.details
|
|
Some Notes on Truths and Comprehension.Thomas Schindler - 2018 - Journal of Philosophical Logic 47 (3):449-479.details
|
|
Axioms for grounded truth.Thomas Schindler - 2014 - Review of Symbolic Logic 7 (1):73-83.details
|
|
A Disquotational Theory of Truth as Strong as Z 2 −.Thomas Schindler - 2015 - Journal of Philosophical Logic 44 (4):395-410.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
|
|
Truthmaker Maximalism defended again.Eduardo Barrio & Gonzalo Rodriguez-Pereyra - 2015 - Analysis 75 (1):3-8.details
|
|
The proof-theoretic analysis of Σ11 transfinite dependent choice.Christian Rüede - 2003 - Annals of Pure and Applied Logic 122 (1-3):195-234.details
|
|
The proof-theoretic analysis of Σ< sub> 1< sup> 1 transfinite dependent choice.Christian Rüede - 2003 - Annals of Pure and Applied Logic 122 (1):195-234.details
|
|
Intuitionistic Fixed Point Theories for Strictly Positive Operators.Christian Rüede & Thomas Strahm - 2002 - Mathematical Logic Quarterly 48 (2):195-202.details
|
|
Simplicity and incompleteness.Panu Raatikainen - 1998 - Synthese 116 (3):357-364.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
|
|
Reference and Truth.Lavinia Picollo - 2020 - Journal of Philosophical Logic 49 (3):439-474.details
|
|
Higher-Order Logic and Disquotational Truth.Lavinia Picollo & Thomas Schindler - 2022 - Journal of Philosophical Logic 51 (4):879-918.details
|
|
The Implicit Commitment of Arithmetical Theories and Its Semantic Core.Carlo Nicolai & Mario Piazza - 2019 - Erkenntnis 84 (4):913-937.details
|
|
Dream of Recapture.Carlo Nicolai - 2022 - Analysis 82 (3):445-450.details
|
|
Systems for Non-Reflexive Consequence.Carlo Nicolai & Lorenzo Rossi - 2023 - Studia Logica 111 (6):947-977.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
|
|
Fix, Express, Quantify: Disquotation After Its Logic.Carlo Nicolai - 2021 - Mind 130 (519):727-757.details
|
|
Equivalences for truth predicates.Carlo Nicolai - 2017 - Review of Symbolic Logic 10 (2):322-356.details
|
|
Deflationary truth and the ontology of expressions.Carlo Nicolai - 2015 - Synthese 192 (12):4031-4055.details
|
|
A Note on Typed Truth and Consistency Assertions.Carlo Nicolai - 2016 - Journal of Philosophical Logic 45 (1):89-119.details
|
|
Generalized Revenge.Julien Murzi & Lorenzo Rossi - 2020 - Australasian Journal of Philosophy 98 (1):153-177.details
|
|
Conservative deflationism?Julien Murzi & Lorenzo Rossi - 2020 - Philosophical Studies 177 (2):535-549.details
|
|
Stable and Unstable Theories of Truth and Syntax.Beau Madison Mount & Daniel Waxman - 2021 - Mind 130 (518):439-473.details
|
|
Truth, Dependence and Supervaluation: Living with the Ghost.Toby Meadows - 2013 - Journal of Philosophical Logic 42 (2):221-240.details
|
|
Naive Infinitism: The Case for an Inconsistency Approach to Infinite Collections.Toby Meadows - 2015 - Notre Dame Journal of Formal Logic 56 (1):191-212.details
|
|
What theories of truth should be like (but cannot be).Hannes Leitgeb - 2007 - Philosophy Compass 2 (2):276–290.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
|
|