- Theories of Truth without Standard Models and Yablo’s Sequences.Eduardo Alejandro Barrio - 2010 - Studia Logica 96 (3):375-391.details
|
|
Consistency, Models, and Soundness.Matthias Schirn - 2010 - Axiomathes 20 (2):153-207.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
|
|
Typed and Untyped Disquotational Truth.Cezary Cieśliński - 2015 - In T. Achourioti, H. Galinon, J. Martínez Fernández & K. Fujimoto (eds.), Unifying the Philosophy of Truth. Dordrecht: Imprint: Springer.details
|
|
Unifying the Philosophy of Truth.Theodora Achourioti, Henri Galinon, José Martínez Fernández & Kentaro Fujimoto (eds.) - 2015 - Dordrecht, Netherland: Springer.details
|
|
The Significance of Evidence-based Reasoning in Mathematics, Mathematics Education, Philosophy, and the Natural Sciences.Bhupinder Singh Anand - 2020 - Mumbai: DBA Publishing (First Edition).details
|
|
Shadows of Syntax: Revitalizing Logical and Mathematical Conventionalism.Jared Warren - 2020 - New York, USA: Oxford University Press.details
|
|
The Significance of Evidence-based Reasoning for Mathematics, Mathematics Education, Philosophy and the Natural Sciences.Bhupinder Singh Anand - forthcomingdetails
|
|
Semantics and Truth.Jan Woleński - 2019 - Cham, Switzerland: Springer Verlag.details
|
|
A Model–Theoretic Approach to Proof Theory.Henryk Kotlarski - 2019 - Cham, Switzerland: Springer Verlag.details
|
|
Truth and Consistency.Jan Woleński - 2010 - Axiomathes 20 (2-3):347-355.details
|
|
Deflationism, Arithmetic, and the Argument from Conservativeness.Daniel Waxman - 2017 - Mind 126 (502):429-463.details
|
|
Deflationism and the Invisible Power of Truth.Andrea Strollo - 2013 - Dialectica 67 (4):521-543.details
|
|
Completeness and categoricity: Frege, gödel and model theory.Stephen Read - 1997 - History and Philosophy of Logic 18 (2):79-93.details
|
|
Coding true arithmetic in the Medvedev degrees of classes.Paul Shafer - 2012 - Annals of Pure and Applied Logic 163 (3):321-337.details
|
|
How do We Know that the Godel Sentence of a Consistent Theory Is True?G. Sereny - 2011 - Philosophia Mathematica 19 (1):47-73.details
|
|
Adding a Conditional to Kripke’s Theory of Truth.Lorenzo Rossi - 2016 - Journal of Philosophical Logic 45 (5):485-529.details
|
|
From numerical concepts to concepts of number.Lance J. Rips, Amber Bloomfield & Jennifer Asmuth - 2008 - Behavioral and Brain Sciences 31 (6):623-642.details
|
|
Inconsistent models of arithmetic part I: Finite models. [REVIEW]Graham Priest - 1997 - Journal of Philosophical Logic 26 (2):223-235.details
|
|
Reference in arithmetic.Lavinia Picollo - 2018 - Review of Symbolic Logic 11 (3):573-603.details
|
|
Parameter definability in the recursively enumerable degrees.André Nies - 2003 - Journal of Mathematical Logic 3 (01):37-65.details
|
|
On the logic of reducibility: Axioms and examples. [REVIEW]Karl-Georg Niebergall - 2000 - Erkenntnis 53 (1-2):27-61.details
|
|
Hilbert's programme and gödel's theorems.Karl-Georg Niebergall & Matthias Schirn - 2002 - Dialectica 56 (4):347–370.details
|
|
A Note on Typed Truth and Consistency Assertions.Carlo Nicolai - 2016 - Journal of Philosophical Logic 45 (1):89-119.details
|
|
Troubles with (the concept of) truth in mathematics.Roman Murawski - 2006 - Logic and Logical Philosophy 15 (4):285-303.details
|
|
Recursive Functions and Metamathematics: Problems of Completeness and Decidability, Gödel's Theorems.Rod J. L. Adams & Roman Murawski - 1999 - Dordrecht, Netherland: Springer Verlag.details
|
|
Conservative deflationism?Julien Murzi & Lorenzo Rossi - 2020 - Philosophical Studies 177 (2):535-549.details
|
|
Don't throw the baby out with the math water: Why discounting the developmental foundations of early numeracy is premature and unnecessary.Kevin Muldoon, Charlie Lewis & Norman Freeman - 2008 - Behavioral and Brain Sciences 31 (6):663-664.details
|
|
Relatively Recursively Enumerable Versus Relatively Σ1 in Models of Peano Arithmetic.Grzegorz Michalski - 1995 - Mathematical Logic Quarterly 41 (4):515-522.details
|
|
Truth, Dependence and Supervaluation: Living with the Ghost.Toby Meadows - 2013 - Journal of Philosophical Logic 42 (2):221-240.details
|
|
Extensions of the Finitist Point of View.Matthias Schirn & Karl-Georg Niebergall - 2001 - History and Philosophy of Logic 22 (3):135-161.details
|
|
Two-sorted Frege Arithmetic is not Conservative.Stephen Mackereth & Jeremy Avigad - 2022 - Review of Symbolic Logic:1-34.details
|
|
Axiomatization and Models of Scientific Theories.Décio Krause, Jonas R. B. Arenhart & Fernando T. F. Moraes - 2011 - Foundations of Science 16 (4):363-382.details
|
|
Other Proofs of Old Results.Henryk Kotlarski - 1998 - Mathematical Logic Quarterly 44 (4):474-480.details
|
|
Automorphisms of Countable Recursively Saturated Models of PA: Open Subgroups and Invariant Cuts.Henryk Kotlarski & Bozena Piekart - 1995 - Mathematical Logic Quarterly 41 (1):138-142.details
|
|
Automorphisms of Models of True Arithmetic: Subgroups which Extend to a Maximal Subgroup Uniquely.Henryk Kotlarski & Bożena Piekart - 1994 - Mathematical Logic Quarterly 40 (1):95-102.details
|
|
On the arithmetical content of restricted forms of comprehension, choice and general uniform boundedness.Ulrich Kohlenbach - 1998 - Annals of Pure and Applied Logic 95 (1-3):257-285.details
|
|
Yablo’s Paradox and ω-Inconsistency.Jeffrey Ketland - 2005 - Synthese 145 (3):295-302.details
|
|
Foundations of applied mathematics I.Jeffrey Ketland - 2021 - Synthese 199 (1-2):4151-4193.details
|
|
Bueno and Colyvan on Yablo’s Paradox.Jeffrey Ketland - 2004 - Analysis 64 (2):165–172.details
|
|
A Proof of the (Strengthened) Liar Formula in a Semantical Extension of Peano Arithmetic.Jeffrey Ketland - 2000 - Analysis 60 (1):1-4.details
|
|
The arithmetic of cuts in models of arithmetic.Richard Kaye - 2013 - Mathematical Logic Quarterly 59 (4-5):332-351.details
|
|
Infinitary definitions of equivalence relations in models of PA.Richard Kaye - 1997 - Annals of Pure and Applied Logic 89 (1):37-43.details
|
|
Hilbert's tenth problem for weak theories of arithmetic.Richard Kaye - 1993 - Annals of Pure and Applied Logic 61 (1-2):63-73.details
|
|
Automorphisms of recursively saturated models of arithmetic.Richard Kaye, Roman Kossak & Henryk Kotlarski - 1991 - Annals of Pure and Applied Logic 55 (1):67-99.details
|
|
Euler'sϕ-function in the context of IΔ 0.Marc Jumelet - 1995 - Archive for Mathematical Logic 34 (3):197-209.details
|
|
Consistency statements and iterations of computable functions in IΣ1 and PRA.Joost J. Joosten - 2010 - Archive for Mathematical Logic 49 (7-8):773-798.details
|
|
How Innocent Is Deflationism?Volker Halbach - 2001 - Synthese 126 (1-2):167-194.details
|
|
Two conceptions of truth? – Comment.V. Mc Gee - 2005 - Philosophical Studies 124 (1):71 - 104.details
|
|
Minimal truth and interpretability.Martin Fischer - 2009 - Review of Symbolic Logic 2 (4):799-815.details
|
|