- Plato's Problem: An Introduction to Mathematical Platonism.Marco Panza & Andrea Sereni - 2013 - New York: Palgrave-Macmillan. Edited by Andrea Sereni & Marco Panza.details
|
|
Computational Complexity Theory and the Philosophy of Mathematics†.Walter Dean - 2019 - Philosophia Mathematica 27 (3):381-439.details
|
|
The Mathematical Universe.Max Tegmark - 2007 - Foundations of Physics 38 (2):101-150.details
|
|
Hilbert’s Program.Richard Zach - 2014 - In Edward N. Zalta (ed.), The Stanford Encyclopedia of Philosophy. Stanford, CA: The Metaphysics Research Lab.details
|
|
Mathematical Intuition and Natural Numbers: A Critical Discussion.Felix Mühlhölzer - 2010 - Erkenntnis 73 (2):265-292.details
|
|
Pasch's empiricism as methodological structuralism.Dirk Schlimm - 2020 - In Erich H. Reck & Georg Schiemer (eds.), The Pre-History of Mathematical Structuralism. Oxford: Oxford University Press. pp. 80-105.details
|
|
Rethinking Logic: Logic in Relation to Mathematics, Evolution, and Method.Carlo Cellucci - 2013 - Dordrecht, Netherland: Springer.details
|
|
Truth and Falsehood: An Inquiry Into Generalized Logical Values.Yaroslav Shramko & Heinrich Wansing - 2011 - Dordrecht, Netherland: Springer.details
|
|
Advances in Natural Deduction: A Celebration of Dag Prawitz's Work.Luiz Carlos Pereira & Edward Hermann Haeusler (eds.) - 2012 - Dordrecht, Netherland: Springer.details
|
|
Inferentialism: Why Rules Matter.Jaroslav Peregrin - 2014 - London and New York: Palgrave-Macmillan.details
|
|
Epistemology Versus Ontology: Essays on the Philosophy and Foundations of Mathematics in Honour of Per Martin-Löf.Peter Dybjer, Sten Lindström, Erik Palmgren & Göran Sundholm (eds.) - 2012 - Dordrecht, Netherland: Springer.details
|
|
Lieber Herr Bernays!, Lieber Herr Gödel! Gödel on finitism, constructivity and Hilbert's program.Solomon Feferman - 2008 - Dialectica 62 (2):179-203.details
|
|
Term limits revisited.Stephen Neale - 2008 - Philosophical Perspectives 22 (1):375-442.details
|
|
Dag Prawitz on Proofs and Meaning.Heinrich Wansing (ed.) - 2014 - Cham, Switzerland: Springer.details
|
|
On The Epistemological Justification of Hilbert’s Metamathematics.Javier Legris - 2005 - Philosophia Scientiae 9 (2):225-238.details
|
|
The practice of finitism: Epsilon calculus and consistency proofs in Hilbert's program.Richard Zach - 2003 - Synthese 137 (1-2):211 - 259.details
|
|
Hilbert’s Finitism: Historical, Philosophical, and Metamathematical Perspectives.Richard Zach - 2001 - Dissertation, University of California, Berkeleydetails
|
|
Russell’s Concepts "Name", "Existence" and "Unique Object of Reference" in Light of Modern Physics.Paul Weingartner - 2007 - Russell: The Journal of Bertrand Russell Studies 27 (1):125-143.details
|
|
Hilbert between the formal and the informal side of mathematics.Giorgio Venturi - 2015 - Manuscrito 38 (2):5-38.details
|
|
A Method for Constructing Implication Logics.Atwell R. Turquette - 1966 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 12 (1):267-278.details
|
|
Kalmár's Argument Against the Plausibility of Church's Thesis.Máté Szabó - 2018 - History and Philosophy of Logic 39 (2):140-157.details
|
|
Summa de Veritate Hamburgensis: Truth According to Wolfgang Künne.Göran Sundholm - 2008 - Dialectica 62 (3):359-371.details
|
|
Different senses of finitude: An inquiry into Hilbert’s finitism.Sören Stenlund - 2012 - Synthese 185 (3):335-363.details
|
|
Completeness and Categoricity. Part I: Nineteenth-century Axiomatics to Twentieth-century Metalogic.Steve Awodey & Erich H. Reck - 2002 - History and Philosophy of Logic 23 (1):1-30.details
|
|
Completing Russell’s Logic.Hartley Slater - 2007 - Russell: The Journal of Bertrand Russell Studies 27 (1).details
|
|
The Ways of Hilbert's Axiomatics: Structural and Formal.Wilfried Sieg - 2014 - Perspectives on Science 22 (1):133-157.details
|
|
Relative consistency and accessible domains.Wilfried Sieg - 1990 - Synthese 84 (2):259 - 297.details
|
|
Gödel’s Philosophical Challenge.Wilfried Sieg - 2020 - Studia Semiotyczne 34 (1):57-80.details
|
|
On the Equivalence Between Logic‐Free and Logic‐Bearing Systems of Primitive Recursive Arithmetic.Daniel G. Schwartz - 1987 - Mathematical Logic Quarterly 33 (3):245-253.details
|
|
On the Equivalence Between Logic-Free and Logic-Bearing Systems of Primitive Recursive Arithmetic.Daniel G. Schwartz - 1987 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 33 (3):245-253.details
|
|
Carnap’s Early Semantics.Georg Schiemer - 2013 - Erkenntnis 78 (3):487-522.details
|
|
Axioms in Mathematical Practice.Dirk Schlimm - 2013 - Philosophia Mathematica 21 (1):37-92.details
|
|
Physical axiomatics: Freudenthal vs. Bunge. [REVIEW]David Salt - 1971 - Foundations of Physics 1 (4):307-313.details
|
|
On the Consistency and Undecidability of Recursive Arithmetic.H. E. Rose - 1961 - Mathematical Logic Quarterly 7 (7‐10):124-135.details
|
|
On the Consistency and Undecidability of Recursive Arithmetic.H. E. Rose - 1961 - Mathematical Logic Quarterly 7 (7-10):124-135.details
|
|
The finitary standpoint.Bertil Rolf - 1980 - Erkenntnis 15 (3):287 - 300.details
|
|
Hilbert's 'Verunglückter Beweis', the first epsilon theorem, and consistency proofs.Richard Zach - 2004 - History and Philosophy of Logic 25 (2):79-94.details
|
|
Solving the $100 modal logic challenge.Florian Rabe, Petr Pudlák, Geoff Sutcliffe & Weina Shen - 2009 - Journal of Applied Logic 7 (1):113-130.details
|
|
Gödel's Second Theorem for Elementary arithmetic.Lawrence J. Pozsgay - 1968 - Mathematical Logic Quarterly 14 (1-5):67-80.details
|
|
“Mathematics is the Logic of the Infinite”: Zermelo’s Project of Infinitary Logic.Jerzy Pogonowski - 2021 - Studies in Logic, Grammar and Rhetoric 66 (3):673-708.details
|
|
Hilberts Logik. Von der Axiomatik zur Beweistheorie.Volker Peckhaus - 1995 - NTM Zeitschrift für Geschichte der Wissenschaften, Technik und Medizin 3 (1):65-86.details
|
|
Facing facts?Graham Oppy - 2004 - Australasian Journal of Philosophy 82 (4):621 – 643.details
|
|
A Century Later.Stephen Neale - 2005 - Mind 114 (456):809-871.details
|
|
Stable and Unstable Theories of Truth and Syntax.Beau Madison Mount & Daniel Waxman - 2021 - Mind 130 (518):439-473.details
|
|
Elimination Theorems of Uniqueness Conditions.Nobuyoshi Motohashi - 1982 - Mathematical Logic Quarterly 28 (33‐38):511-524.details
|
|
Elimination Theorems of Uniqueness Conditions.Nobuyoshi Motohashi - 1982 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 28 (33-38):511-524.details
|
|
Intuitionism and logical syntax.Charles McCarty - 2008 - Philosophia Mathematica 16 (1):56-77.details
|
|
On the Substitutional Characterization of First-Order Logical Truth.Matthew McKeon - 2004 - History and Philosophy of Logic 25 (3):205-224.details
|
|
Wittgenstein and finitism.Mathieu Marion - 1995 - Synthese 105 (2):141 - 176.details
|
|
The development of mathematical logic from Russell to Tarski, 1900-1935.Paolo Mancosu, Richard Zach & Calixto Badesa - 2009 - In Leila Haaparanta (ed.), The Development of Modern Logic. Oxford University Press.details
|
|