- Computational Complexity Theory and the Philosophy of Mathematics†.Walter Dean - 2019 - Philosophia Mathematica 27 (3):381-439.details
|
|
Hilbert’s Program.Richard Zach - 2014 - In Edward N. Zalta (ed.), The Stanford Encyclopedia of Philosophy. Stanford, CA: The Metaphysics Research Lab.details
|
|
Wilfried Sieg. Hilbert's Programs and Beyond. Oxford: Oxford University Press, 2013. ISBN 978-0-19-537222-9 ; 978-0-19-970715-7 . Pp. xii + 439†. [REVIEW]Oran Magal - 2014 - Philosophia Mathematica 22 (3):417-423.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
|
|
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
|
|
Completeness before Post: Bernays, Hilbert, and the development of propositional logic.Richard Zach - 1999 - Bulletin of Symbolic Logic 5 (3):331-366.details
|
|
Pursuit of Truth. [REVIEW]John Woods - 1992 - Canadian Journal of Philosophy 22 (4):547-571.details
|
|
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
|
|
Certain predicates defined by induction schemata.Hao Wang - 1953 - Journal of Symbolic Logic 18 (1):49-59.details
|
|
A Method for Constructing Implication Logics.Atwell R. Turquette - 1966 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 12 (1):267-278.details
|
|
Epsilon substitution for $$\textit{ID}_1$$ ID 1 via cut-elimination.Henry Towsner - 2018 - Archive for Mathematical Logic 57 (5-6):497-531.details
|
|
Decision problems for multiple successor arithmetics.J. W. Thatcher - 1966 - Journal of Symbolic Logic 31 (2):182-190.details
|
|
Functionals defined by transfinite recursion.W. W. Tait - 1965 - Journal of Symbolic Logic 30 (2):155-174.details
|
|
Summa de Veritate Hamburgensis: Truth According to Wolfgang Künne.Göran Sundholm - 2008 - Dialectica 62 (3):359-371.details
|
|
Nicht konstruktiv beweisbare sätze der analysis.Ernst Specker - 1949 - Journal of Symbolic Logic 14 (3):145-158.details
|
|
Completing Russell’s Logic.Hartley Slater - 2007 - Russell: The Journal of Bertrand Russell Studies 27 (1).details
|
|
Hilbert's program sixty years later.Wilfried Sieg - 1988 - Journal of Symbolic Logic 53 (2):338-348.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
|
|
Discerning Fermions.Simon Saunders & F. A. Muller - 2008 - British Journal for the Philosophy of Science 59 (3):499 - 548.details
|
|
On the consistency of Quine's new foundations for mathematical logic.Barkley Rosser - 1939 - Journal of Symbolic Logic 4 (1):15-24.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
|
|
Neo-Logicism and Its Logic.Panu Raatikainen - 2020 - History and Philosophy of Logic 41 (1):82-95.details
|
|
Definition Inclosed: A Reply to Zhong.Graham Priest - 2012 - Australasian Journal of Philosophy 90 (4):789 - 795.details
|
|
Gödel's Second Theorem for Elementary arithmetic.Lawrence J. Pozsgay - 1968 - Mathematical Logic Quarterly 14 (1-5):67-80.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
|
|
A Century Later.Stephen Neale - 2005 - Mind 114 (456):809-871.details
|
|
Report on some investigations concerning the consistency of the axiom of reducibility.John Myhill - 1951 - Journal of Symbolic Logic 16 (1):35-42.details
|
|
Paper machines.Daniele Mundici & Wilfried Seig - 1995 - Philosophia Mathematica 3 (1):5-30.details
|
|
Intuitionism and logical syntax.Charles McCarty - 2008 - Philosophia Mathematica 16 (1):56-77.details
|
|
Gödel's Third Incompleteness Theorem.Timothy McCarthy - 2016 - Dialectica 70 (1):87-112.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
|
|
Um filósofo da evidência.M. S. Lourenço - 2009 - Disputatio 3 (27):171-183.details
|
|
Criteria of Identity: Strong and Wrong.Hannes Leitgeb - 2013 - British Journal for the Philosophy of Science 64 (1):61-68.details
|
|
Identity and discernibility in philosophy and logic.James Ladyman, Øystein Linnebo & Richard Pettigrew - 2012 - Review of Symbolic Logic 5 (1):162-186.details
|
|
Russell’s Notion of Scope.Saul A. Kripke - 2005 - Mind 114 (456):1005-1037.details
|
|
On the interpretation of non-finitist proofs—Part I.G. Kreisel - 1951 - Journal of Symbolic Logic 16 (4):241-267.details
|
|
A survey of proof theory.G. Kreisel - 1968 - Journal of Symbolic Logic 33 (3):321-388.details
|
|
Structuralism and the identity of indiscernibles.Jeffrey Ketland - 2006 - Analysis 66 (4):303-315.details
|
|
The relation of a to prov ⌜a ⌝ in the lindenbaum sentence algebra.C. F. Kent - 1973 - Journal of Symbolic Logic 38 (2):295-298.details
|
|
Russell's Revenge: A Problem for Bivalent Fregean Theories of Descriptions.Jan Heylen - 2017 - Pacific Philosophical Quarterly 98 (4):636-652.details
|
|
A purely syntactical definition of confirmation.Carl G. Hempel - 1943 - Journal of Symbolic Logic 8 (4):122-143.details
|
|
Remarks on identity and description in first-order axiom systems.Theodore Hailperin - 1954 - Journal of Symbolic Logic 19 (1):14-20.details
|
|
Les mathématiques sont-elles une syntaxe du langage?Kurt Gödel - 1995 - Dialogue 34 (1):3-.details
|
|
Prose versus proof: Wittgenstein on gödel, Tarski and Truth.Juliet Floyd - 2001 - Philosophia Mathematica 9 (3):280-307.details
|
|
Transfinite recursive progressions of axiomatic theories.Solomon Feferman - 1962 - Journal of Symbolic Logic 27 (3):259-316.details
|
|
Unfolding finitist arithmetic.Solomon Feferman & Thomas Strahm - 2010 - Review of Symbolic Logic 3 (4):665-689.details
|
|
Hilbert's program relativized: Proof-theoretical and foundational reductions.Solomon Feferman - 1988 - Journal of Symbolic Logic 53 (2):364-384.details
|
|