- Hilbert’s Program.Richard Zach - 2014 - In Edward N. Zalta (ed.), The Stanford Encyclopedia of Philosophy. Stanford, CA: The Metaphysics Research Lab.details
|
|
Hilbert's Program Revisited.Panu Raatikainen - 2003 - Synthese 137 (1-2):157-177.details
|
|
Aristotelian Continua.Øystein Linnebo, Stewart Shapiro & Geoffrey Hellman - 2016 - Philosophia Mathematica 24 (2):214-246.details
|
|
(1 other version)Multiverse Conceptions in Set Theory.Carolin Antos, Sy-David Friedman, Radek Honzik & Claudio Ternullo - 2015 - Synthese 192 (8):2463-2488.details
|
|
Hilbert’s Finitism: Historical, Philosophical, and Metamathematical Perspectives.Richard Zach - 2001 - Dissertation, University of California, Berkeleydetails
|
|
Necessity of Thought.Cesare Cozzo - 2014 - In Heinrich Wansing (ed.), Dag Prawitz on Proofs and Meaning. Cham, Switzerland: Springer. pp. 101-20.details
|
|
Wronski’s Infinities.Roy Wagner - 2014 - Hopos: The Journal of the International Society for the History of Philosophy of Science 4 (1):26-61.details
|
|
Hilbert's Objectivity.Lydia Patton - 2014 - Historia Mathematica 41 (2):188-203.details
|
|
Transfinite Cardinals in Paraconsistent Set Theory.Zach Weber - 2012 - Review of Symbolic Logic 5 (2):269-293.details
|
|
Hierarchies Ontological and Ideological.Øystein Linnebo & Agustín Rayo - 2012 - Mind 121 (482):269 - 308.details
|
|
The Theory of Relations, Complex Terms, and a Connection Between λ and ε Calculi.Edward N. Zalta - manuscriptdetails
|
|
Objectivity Sans Intelligibility. Hermann Weyl's Symbolic Constructivism.Iulian D. Toader - 2011 - Dissertation, University of Notre Damedetails
|
|
Yablo’s Paradox in Second-Order Languages: Consistency and Unsatisfiability.Lavinia María Picollo - 2013 - Studia Logica 101 (3):601-617.details
|
|
A Burgessian Critique of Nominalistic Tendencies in Contemporary Mathematics and its Historiography.Karin Usadi Katz & Mikhail G. Katz - 2012 - Foundations of Science 17 (1):51-89.details
|
|
Which Arithmetization for Which Logicism? Russell on Relations and Quantities in The Principles of Mathematics.Sébastien Gandon - 2008 - History and Philosophy of Logic 29 (1):1-30.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
|
|
How to be a structuralist all the way down.Elaine Landry - 2011 - Synthese 179 (3):435 - 454.details
|
|
A Taxonomy for Set-Theoretic Potentialism.Davide Sutto - 2024 - Philosophia Mathematica:1-28.details
|
|
logicism, intuitionism, and formalism - What has become of them?Sten Lindstr©œm, Erik Palmgren, Krister Segerberg & Viggo Stoltenberg-Hansen (eds.) - 2008 - Berlin, Germany: Springer.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. New York: Oxford University Press.details
|
|
Ontic vagueness and metaphysical indeterminacy.J. Robert G. Williams - 2008 - Philosophy Compass 3 (4):763-788.details
|
|
Wittgenstein and Brouwer.Mathieu Marion - 2003 - Synthese 137 (1-2):103 - 127.details
|
|
Completeness before Post: Bernays, Hilbert, and the development of propositional logic.Richard Zach - 1999 - Bulletin of Symbolic Logic 5 (3):331-366.details
|
|
Naturalism, fallibilism, and the a priori.Lisa Warenski - 2009 - Philosophical Studies 142 (3):403-426.details
|
|
Between Russell and Hilbert: Behmann on the foundations of mathematics.Paolo Mancosu - 1999 - Bulletin of Symbolic Logic 5 (3):303-330.details
|
|
(1 other version)The empty set, the Singleton, and the ordered pair.Akihiro Kanamori - 2003 - Bulletin of Symbolic Logic 9 (3):273-298.details
|
|
(1 other version)Zermelo and set theory.Akihiro Kanamori - 2004 - Bulletin of Symbolic Logic 10 (4):487-553.details
|
|
(1 other version)Maximality Principles in the Hyperuniverse Programme.Sy-David Friedman & Claudio Ternullo - 2023 - Foundations of Science 28 (1):287-305.details
|
|
(1 other version)Universism and Extensions of V.Carolin Antos, Neil Barton & Sy-David Friedman - 2021 - Review of Symbolic Logic 14 (1):112-154.details
|
|
26 Potential Infinity, Paradox, and the Mind of God: Historical Survey.Samuel Levey, Øystein Linnebo & Stewart Shapiro - 2024 - In Mirosław Szatkowski (ed.), Ontology of Divinity. De Gruyter. pp. 531-560.details
|
|
Ludwig Wittgenstein’s Cambridge Period.Natalia Tomashpolskaia - 2023 - Prolegomena: Journal of Philosophy 22 (2):257-294.details
|
|
(1 other version)Forever Finite: The Case Against Infinity (Expanded Edition).Kip K. Sewell - 2023 - Alexandria, VA: Rond Books.details
|
|
Abstraction and grounding.Louis deRosset & Øystein Linnebo - 2023 - Philosophy and Phenomenological Research 109 (1):357-390.details
|
|
Make It So: Imperatival Foundations for Mathematics.Neil Barton, Ethan Russo & Chris Scambler - manuscriptdetails
|
|
Ontology of Divinity.Mirosław Szatkowski (ed.) - 2024 - De Gruyter.details
|
|
Generality Explained.Øystein Linnebo - 2022 - Journal of Philosophy 119 (7):349-379.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
|
|
(1 other version)Avicenna on Syllogisms Composed of Opposite Premises.Behnam Zolghadr - 2021 - In Mojtaba Mojtahedi, Shahid Rahman & MohammadSaleh Zarepour (eds.), Mathematics, Logic, and their Philosophies: Essays in Honour of Mohammad Ardeshir. Springer. pp. 433-442.details
|
|
XV—On Consistency and Existence in Mathematics.Walter Dean - 2021 - Proceedings of the Aristotelian Society 120 (3):349-393.details
|
|
(1 other version)Maximality Principles in the Hyperuniverse Programme.Sy-David Friedman & Claudio Ternullo - 2020 - Foundations of Science 28 (1):287-305.details
|
|
Critical Plural Logic.Salvatore Florio & Øystein Linnebo - 2020 - Philosophia Mathematica 28 (2):172-203.details
|
|
Structural Relativity and Informal Rigour.Neil Barton - 2022 - In Gianluigi Oliveri, Claudio Ternullo & Stefano Boscolo (eds.), Objects, Structures, and Logics, FilMat Studies in the Philosophy of Mathematics. Springer. pp. 133-174.details
|
|
(1 other version)Maddy On The Multiverse.Claudio Ternullo - 2019 - In Stefania Centrone, Deborah Kant & Deniz Sarikaya (eds.), Reflections on the Foundations of Mathematics: Univalent Foundations, Set Theory and General Thoughts. Springer Verlag. pp. 43-78.details
|
|
The inscrutability of reference.Robert Williams - 2005 - Dissertation, University of St Andrewsdetails
|
|
Dummett on Indefinite Extensibility.Øystein Linnebo - 2018 - Philosophical Issues 28 (1):196-220.details
|
|
Ipotesi del Continuo.Claudio Ternullo - 2017 - Aphex 16.details
|
|
Numbers and functions in Hilbert's finitism.Richard Zach - 1998 - Taiwanese Journal for History and Philosophy of Science 10:33-60.details
|
|
Hyperintensional Foundations of Mathematical Platonism.David Elohim - manuscriptdetails
|
|
Frank Ramsey and the Realistic Spirit.Steven Methven - 2014 - London and Basingstoke: Palgrave Macmillan.details
|
|
Modality and Hyperintensionality in Mathematics.David Elohim - manuscriptdetails
|
|