- Epistemic Modality and Hyperintensionality in Mathematics.Timothy Bowen - 2017 - Dissertation, Arché, University of St Andrewsdetails
|
|
Kurt Gödel and Computability Theory.Richard Zach - 2006 - In Beckmann Arnold, Berger Ulrich, Löwe Benedikt & Tucker John V. (eds.), Logical Approaches to Computational Barriers. Second Conference on Computability in Europe, CiE 2006, Swansea. Proceedings. Springer. pp. 575--583.details
|
|
Fraenkel's axiom of restriction: Axiom choice, intended models and categoricity.Georg Schiemer - 2010 - In Benedikt Löwe & Thomas Müller (eds.), PhiMSAMP: philosophy of mathematics: sociological aspsects and mathematical practice. London: College Publications. pp. 307{340.details
|
|
The development of mathematical logic from Russell to Tarski, 1900-1935.Paolo Mancosu, Richard Zach & Calixto Badesa - 2011 - In Leila Haaparanta (ed.), The development of modern logic. New York: Oxford University Press.details
|
|
The proper explanation of intuitionistic logic: on Brouwer's demonstration of the Bar Theorem.Mark Van Atten & Göran Sundholm - unknowndetails
|
|
Hilbert’s Program.Richard Zach - 2014 - In Edward N. Zalta (ed.), The Stanford Encyclopedia of Philosophy. Stanford, CA: The Metaphysics Research Lab.details
|
|
Three Letters on the Foundations of Mathematics by Frank Plumpton Ramsey†.Paolo Mancosu - forthcoming - Philosophia Mathematica.details
|
|
Consistency, Models, and Soundness.Matthias Schirn - 2010 - Axiomathes 20 (2):153-207.details
|
|
Philosophy of mathematics.Leon Horsten - 2008 - Stanford Encyclopedia of Philosophy.details
|
|
The Logic of Sortals: A Conceptualist Approach.Max A. Freund - 2019 - Cham, Switzerland: Springer Verlag.details
|
|
Forms of Luminosity.Hasen Khudairi - 2017details
|
|
The practice of finitism: Epsilon calculus and consistency proofs in Hilbert's program.Richard Zach - 2003 - Synthese 137 (1-2):211 - 259.details
|
|
Natural Deduction for the Sheffer Stroke and Peirce’s Arrow (and any Other Truth-Functional Connective).Richard Zach - 2015 - Journal of Philosophical Logic 45 (2):183-197.details
|
|
Hilbert’s Finitism: Historical, Philosophical, and Metamathematical Perspectives.Richard Zach - 2001 - Dissertation, University of California, Berkeleydetails
|
|
Calculus ratiocinator versus characteristica universalis? The two traditions in logic, revisited.Volker Peckhaus - 2004 - History and Philosophy of Logic 25 (1):3-14.details
|
|
Negation and infinity.Kazimierz Trzęsicki - 2018 - Studies in Logic, Grammar and Rhetoric 54 (1):131-148.details
|
|
How are Concepts of Infinity Acquired?Kazimierz Trzęsicki - 2015 - Studies in Logic, Grammar and Rhetoric 40 (1):179-217.details
|
|
Gödel's path from the incompleteness theorems (1931) to phenomenology (1961).Richard Tieszen - 1998 - Bulletin of Symbolic Logic 4 (2):181-203.details
|
|
Godel's unpublished papers on foundations of mathematics.W. W. Tatt - 2001 - Philosophia Mathematica 9 (1):87-126.details
|
|
Completeness and categoricity: Frege, gödel and model theory.Stephen Read - 1997 - History and Philosophy of Logic 18 (2):79-93.details
|
|
The modernity of Dedekind’s anticipations contained in What are numbers and what are they good for?J. Soliveres Tur & J. Climent Vidal - 2018 - Archive for History of Exact Sciences 72 (2):99-141.details
|
|
Deflationary truth and the liar.Keith Simmons - 1999 - Journal of Philosophical Logic 28 (5):455-488.details
|
|
Foundations for analysis and proof theory.Wilfried Sieg - 1984 - Synthese 60 (2):159 - 200.details
|
|
Space, number and structure: A tale of two debates.Stewart Shapiro - 1996 - Philosophia Mathematica 4 (2):148-173.details
|
|
Reasoning, logic and computation.Stewart Shapiro - 1995 - Philosophia Mathematica 3 (1):31-51.details
|
|
Prolegomenon To Any Future Neo‐Logicist Set Theory: Abstraction And Indefinite Extensibility.Stewart Shapiro - 2003 - British Journal for the Philosophy of Science 54 (1):59-91.details
|
|
On Frege’s Begriffsschrift Notation for Propositional Logic: Design Principles and Trade-Offs.Dirk Schlimm - 2018 - History and Philosophy of Logic 39 (1):53-79.details
|
|
Carnap on logic and rationality.Georg Schiemer - 2017 - Synthese 194 (1):1-14.details
|
|
Carnap’s early metatheory: scope and limits.Georg Schiemer, Richard Zach & Erich Reck - 2017 - Synthese 194 (1):33-65.details
|
|
New V, ZF and Abstraction.Stewart Shapiro & Alan Weir - 1999 - Philosophia Mathematica 7 (3):293-321.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
|
|
Why Do We Prove Theorems?Yehuda Rav - 1999 - Philosophia Mathematica 7 (1):5-41.details
|
|
Alan Turing and the mathematical objection.Gualtiero Piccinini - 2003 - Minds and Machines 13 (1):23-48.details
|
|
What’s the Point of Complete Rigour?A. C. Paseau - 2016 - Mind 125 (497):177-207.details
|
|
Mathematical instrumentalism, Gödel’s theorem, and inductive evidence.Alexander Paseau - 2011 - Studies in History and Philosophy of Science Part A 42 (1):140-149.details
|
|
Boolos on the justification of set theory.Alexander Paseau - 2007 - Philosophia Mathematica 15 (1):30-53.details
|
|
What are sets and what are they for?Alex Oliver & Timothy Smiley - 2006 - Philosophical Perspectives 20 (1):123–155.details
|
|
Mathematics as a quasi-empirical science.Gianluigi Oliveri - 2004 - Foundations of Science 11 (1-2):41-79.details
|
|
Paper machines.Daniele Mundici & Wilfried Seig - 1995 - Philosophia Mathematica 3 (1):5-30.details
|
|
Mathematical roots of phenomenology: Husserl and the concept of number.Mirja Hartimo - 2006 - History and Philosophy of Logic 27 (4):319-337.details
|
|
Axiomatic quantum theory.Storrs McCall - 2001 - Journal of Philosophical Logic 30 (5):465-477.details
|
|
Wittgenstein and finitism.Mathieu Marion - 1995 - Synthese 105 (2):141 - 176.details
|
|
The Russellian influence on Hilbert and his school.Paolo Mancosu - 2003 - Synthese 137 (1-2):59 - 101.details
|
|
The roots of contemporary Platonism.Penelope Maddy - 1989 - Journal of Symbolic Logic 54 (4):1121-1144.details
|
|
Logical constants.John MacFarlane - 2008 - Mind.details
|
|
Hilbert's Axiomatics as ‘Symbolic Form’?Rossella Lupacchini - 2014 - Perspectives on Science 22 (1):1-34.details
|
|
Predicative fragments of Frege arithmetic.Øystein Linnebo - 2004 - Bulletin of Symbolic Logic 10 (2):153-174.details
|
|
Horwich's minimalist conception of truth: some logical difficulties.Sten Lindström - 2001 - Logic and Logical Philosophy 9:161-181.details
|
|
A Natural Variant of Ackermann's Function.Hilbert Levitz & Warren Nichols - 1988 - Mathematical Logic Quarterly 34 (5):399-401.details
|
|
A Natural Variant of Ackermann's Function.Hilbert Levitz & Warren Nichols - 1988 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 34 (5):399-401.details
|
|