- Structure and Categoricity: Determinacy of Reference and Truth Value in the Philosophy of Mathematics.Tim Button & Sean Walsh - 2016 - Philosophia Mathematica 24 (3):283-307.details
|
|
The empty set, the Singleton, and the ordered pair.Akihiro Kanamori - 2003 - Bulletin of Symbolic Logic 9 (3):273-298.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
|
|
Hilbert's Objectivity.Lydia Patton - 2014 - Historia Mathematica 41 (2):188-203.details
|
|
Epistemic Modality and Hyperintensionality in Mathematics.David Elohim - 2017 - Dissertation, Arché, University of St Andrewsdetails
|
|
Naturalism, fallibilism, and the a priori.Lisa Warenski - 2009 - Philosophical Studies 142 (3):403-426.details
|
|
Abstracta and Possibilia: Hyperintensional Foundations of Mathematical Platonism.David Elohim - manuscriptdetails
|
|
Book Reviews. [REVIEW][author unknown] - 2005 - History and Philosophy of Logic 26 (2):145-172.details
|
|
The Design of Mathematical Language.Jeremy Avigad - 2024 - In Bharath Sriraman (ed.), Handbook of the History and Philosophy of Mathematical Practice. Cham: Springer. pp. 3151-3189.details
|
|
Modality and Hyperintensionality in Mathematics.David Elohim - manuscriptdetails
|
|
Platonism, phenomenology, and interderivability.Guillermo E. Rosado Haddock - 2010 - In Mirja Hartimo (ed.), Phenomenology and mathematics. London: Springer. pp. 23--46.details
|
|
Abstraction and Grounding.Louis deRosset & Øystein Linnebo - forthcoming - Philosophy and Phenomenological Research.details
|
|
XV—On Consistency and Existence in Mathematics.Walter Dean - 2021 - Proceedings of the Aristotelian Society 120 (3):349-393.details
|
|
Incompleteness Via Paradox and Completeness.Walter Dean - 2020 - Review of Symbolic Logic 13 (3):541-592.details
|
|
Computational Complexity Theory and the Philosophy of Mathematics†.Walter Dean - 2019 - Philosophia Mathematica 27 (3):381-439.details
|
|
Husserl and Hilbert on completeness, still.Jairo Jose da Silva - 2016 - Synthese 193 (6).details
|
|
Weyl and Two Kinds of Potential Domains.Laura Crosilla & Øystein Linnebo - forthcoming - Noûs.details
|
|
Beppo Levi’s Analysis of the Paradoxes.Riccardo Bruni - 2013 - Logica Universalis 7 (2):211-231.details
|
|
What is a definition?James Robert Brown - 1998 - Foundations of Science 3 (1):111-132.details
|
|
Peano’s structuralism and the birth of formal languages.Joan Bertran-San-Millán - 2022 - Synthese 200 (4):1-34.details
|
|
Notes on ω-inconsistent theories of truth in second-order languages.Eduardo Barrio & Lavinia Picollo - 2013 - Review of Symbolic Logic 6 (4):733-741.details
|
|
Absence perception and the philosophy of zero.Neil Barton - 2020 - Synthese 197 (9):3823-3850.details
|
|
The Problematic Nature of Gödel’s Disjunctions and Lucas-Penrose’s Theses.Arnon Avron - 2020 - Studia Semiotyczne 34 (1):83-108.details
|
|
Universism and extensions of V.Carolin Antos, Neil Barton & Sy-David Friedman - 2021 - Review of Symbolic Logic 14 (1):112-154.details
|
|
Multiverse Conceptions in Set Theory.Carolin Antos, Sy-David Friedman, Radek Honzik & Claudio Ternullo - 2015 - Synthese 192 (8):2463-2488.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 development of mathematics and the birth of phenomenology.Mirja Hartimo - 2010 - In Phenomenology and mathematics. London: Springer. pp. 107--121.details
|
|
The proper explanation of intuitionistic logic: on Brouwer's demonstration of the Bar Theorem.Mark Van Atten & Göran Sundholm - unknowndetails
|
|
Dedekind’s Map-theoretic Period.José Ferreirós - 2017 - Philosophia Mathematica 25 (3):318–340.details
|
|
Friedman on Implicit Definition: In Search of the Hilbertian Heritage in Philosophy of Science.Woosuk Park - 2012 - Erkenntnis 76 (3):427-442.details
|
|
Hilbert’s Program.Richard Zach - 2014 - In Edward N. Zalta (ed.), The Stanford Encyclopedia of Philosophy. Stanford, CA: The Metaphysics Research Lab.details
|
|
Generality Explained.Øystein Linnebo - 2022 - Journal of Philosophy 119 (7):349-379.details
|
|
Forever Finite: The Case Against Infinity (Expanded Edition).Kip K. Sewell - 2023 - Alexandria, VA: Rond Books.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
|
|
Ontology of Divinity.Mirosław Szatkowski (ed.) - 2024 - De Gruyter.details
|
|
Consistency, Models, and Soundness.Matthias Schirn - 2010 - Axiomathes 20 (2):153-207.details
|
|
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
|
|
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
|
|
Zermelo's Analysis of 'General Proposition'.R. Gregory Taylor - 2009 - History and Philosophy of Logic 30 (2):141-155.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
|
|
Logic, Mathematics, Philosophy, Vintage Enthusiasms: Essays in Honour of John L. Bell.David DeVidi, Michael Hallett & Peter Clark (eds.) - 2011 - Dordrecht, Netherland: Springer.details
|
|
Frank Ramsey and the Realistic Spirit.Steven Methven - 2014 - London and Basingstoke: Palgrave Macmillan.details
|
|
Axiomatics Without Foundations. On the Model-theoretical Viewpoint In Modern Axiomatics.Johannes Lenhard - 2005 - Philosophia Scientiae 9 (2: Aperçus philosophiques en log):97-107.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
|
|
Dedekind and Cassirer on Mathematical Concept Formation†.Audrey Yap - 2014 - Philosophia Mathematica 25 (3):369-389.details
|
|
Taking Stock: Hale, Heck, and Wright on Neo-Logicism and Higher-Order Logic.Crispin Wright - 2021 - Philosophia Mathematica 29 (3): 392--416.details
|
|
Ontic vagueness and metaphysical indeterminacy.J. Robert G. Williams - 2008 - Philosophy Compass 3 (4):763-788.details
|
|