- On Deductionism.Dan Bruiger - manuscriptdetails
- Tarski Undefinability Theorem Terse Refutation.P. Olcott - manuscriptdetails
- Defining Gödel Incompleteness Away.P. Olcott - manuscriptdetails
- Deductively Sound Formal Proofs.P. Olcott - manuscriptdetails
- Proof That Wittgenstein is Correct About Gödel.P. Olcott - manuscriptdetails
- Halting Problem Undecidability and Infinitely Nested Simulation.P. Olcott - manuscriptdetails
- Refuting Tarski and Gödel with a Sound Deductive Formalism.P. Olcott - manuscriptdetails
- Minimal Type Theory (MTT).Pete Olcott - manuscriptdetails
- A Theory of Implicit Commitment for Mathematical Theories.Mateusz Łełyk & Carlo Nicolai - manuscriptdetails
- Semidisquotation and the Infinitary Function of Truth.Camillo Fiore - forthcoming - Erkenntnis:1-16.details
- Stable and Unstable Theories of Truth and Syntax.Beau Madison Mount & Daniel Waxman - 2021 - Mind 130 (518):439-473.details
- Conceptions of Set and the Foundations of Mathematics.Luca Incurvati - 2020 - Cambridge University Press.details
- Conservative Deflationism?Julien Murzi & Lorenzo Rossi - 2020 - Philosophical Studies 177 (2):535-549.details
- Metamathematics and the Philosophical Tradition, by William Boos, ed. Florence S. Boos. Berlin: De Gruyter. 2018. [REVIEW]Lydia Patton - 2020 - Philosophia 48 (4):1-4.details
- ¿Qué significa paraconsistente, indescifrable, aleatorio, computable e incompleto? Una revisión de la Manera de Godel: explota en un mundo indecible (Godel’s Way: exploits into an undecidable world) por Gregory Chaitin, Francisco A Doria, Newton C.A. da Costa 160P (2012) (revisión revisada 2019).Michael Richard Starks - 2019 - In Observaciones Sobre Imposibilidad, Incompleta, Paracoherencia,Indecisión,Aleatoriedad, Computabilidad, Paradoja E Incertidumbre En Chaitin, Wittgenstein, Hofstadter, Wolpert, Doria, Dacosta, Godel, Searle, Rodych, Berto,Floyd, Moyal-Sharrock Y Yanofsky. Las Vegas, NV USA: Reality Press. pp. 44-63.details
- The Logical Strength of Compositional Principles.Richard Heck - 2018 - Notre Dame Journal of Formal Logic 59 (1):1-33.details
- What Paradoxes Depend On.Ming Hsiung - 2018 - Synthese:1-27.details
- Reflection Principles and the Liar in Context.Julien Murzi & Lorenzo Rossi - 2018 - Philosophers' Imprint 18.details
- Provably True Sentences Across Axiomatizations of Kripke’s Theory of Truth.Carlo Nicolai - 2018 - Studia Logica 106 (1):101-130.details
- The Epistemic Lightness of Truth: Deflationism and its Logic.Cezary Cieśliński - 2017 - Cambridge University Press.details
- Deflationism, Arithmetic, and the Argument From Conservativeness.Daniel Waxman - 2017 - Mind 126 (502):429-463.details
- Computability, Finiteness and the Standard Model of Arithmetic.Massimiliano Carrara, Enrico Martino & Matteo Plebani - 2016 - In Francesca Boccuni & Andrea Sereni (eds.), Objectivity, Realism, and Proof. Filmat Studies in the Philosophy of Mathematics. Springer Verlag.details
- On Truth and Instrumentalisation.Chris Henry - 2016 - London Journal in Critical Thought 1 (1):5-15.details
- Can the Cumulative Hierarchy Be Categorically Characterized?Luca Incurvati - 2016 - Logique Et Analyse 59 (236):367-387.details
- The Innocence of Truth.Cezary Cieśliński - 2015 - Dialectica 69 (1):61-85.details
- Typed and Untyped Disquotational Truth.Cezary Cieśliński - 2015 - In Kentaro Fujimoto, José Martínez Fernández, Henri Galinon & Theodora Achourioti (eds.), Unifying the Philosophy of Truth. Springer Verlag.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
- Hilbert's Objectivity.Lydia Patton - 2014 - Historia Mathematica 41 (2):188-203.details
- Modality and Axiomatic Theories of Truth II: Kripke-Feferman.Johannes Stern - 2014 - Review of Symbolic Logic 7 (2):299-318.details
- Modality and Axiomatic Theories of Truth I: Friedman-Sheard.Johannes Stern - 2014 - Review of Symbolic Logic 7 (2):273-298.details
- Axiomatic Truth, Syntax and Metatheoretic Reasoning.Graham E. Leigh & Carlo Nicolai - 2013 - Review of Symbolic Logic 6 (4):613-636.details
- Axioms in Mathematical Practice.Dirk Schlimm - 2013 - Philosophia Mathematica 21 (1):37-92.details
- Axiomatic Theories of Truth.P. Smith - 2013 - Analysis 73 (1):163-168.details
- 8. Transcendental Arguments, Axiomatic Truth, and the Difficulty of Overcoming Idealism.Michael J. Olson - 2012 - In John Mullarkey & Anthony Paul Smith (eds.), Laruelle and Non-Philosophy. Edinburgh University Press. pp. 169-190.details
- V = L and Intuitive Plausibility in Set Theory. A Case Study.Tatiana Arrigoni - 2011 - Bulletin of Symbolic Logic 17 (3):337-360.details
- T-Equivalences for Positive Sentences.Cezary Cieśliński - 2011 - Review of Symbolic Logic 4 (2):319-325.details
- Relative Truth Definability of Axiomatic Truth Theories.Kentaro Fujimoto - 2010 - Bulletin of Symbolic Logic 16 (3):305-344.details
- The Gödel Paradox and Wittgenstein's Reasons.Francesco Berto - 2009 - Philosophia Mathematica 17 (2):208-219.details
- Benacerraf’s Dilemma and Informal Mathematics.Gregory Lavers - 2009 - Review of Symbolic Logic 2 (4):769-785.details
- Alternative Axiomatic Set Theories.M. Randall Holmes - 2008 - Stanford Encyclopedia of Philosophy.details
- The Importance of Truth in the Thought of Bruno Bauch.T. Kubalica - 2008 - Kwartalnik Filozoficzny 36 (3):63-81.details
- Editorial Introduction.An Ravelingien - 2007 - Philosophica 79 (2):5-10.details
- Hilbert's Program Then and Now.Richard Zach - 2007 - In Dale Jacquette (ed.), Philosophy of Logic. Amsterdam: North Holland. pp. 411–447.details
- Editorial Introduction.Sam Ashman - 2006 - Historical Materialism 14 (4):3-7.details
- Kurt Gödel, Paper on the Incompleteness Theorems (1931).Richard Zach - 2005 - In Ivor Grattan-Guinness (ed.), Landmark Writings in Mathematics. Amsterdam: North-Holland. pp. 917-925.details
- David Hilbert and the Axiomatization of Physics : From Grundlagen der Geometrie to Grundlagen der Physik.L. Corry - 2004 - Springer.details
- Le quantificateur effini, la descente infinie et les preuves de consistance de Gauthier. [REVIEW]Richard Zach - 2004 - Philosophiques 31 (1):221-224.details
- The Foundations of Mathematics in the Theory of Sets. [REVIEW]Roy T. Cook - 2003 - British Journal for the Philosophy of Science 54 (2):347-352.details
- Mathematics and the Theory of Multiplicities: Badiou and Deleuze Revisited.Daniel W. Smith - 2003 - Southern Journal of Philosophy 41 (3):411-449.details
- Editorial Introduction.Pelagia Goulimari - 2002 - Angelaki 7 (3):1 – 2.details
|
Off-campus access
Using PhilPapers from home?
Create an account to enable off-campus access through your institution's proxy server.
Monitor this page
Be alerted of all new items appearing on this page. Choose how you want to monitor it:
Email
|
RSS feed
|
|