- Modality and Hyperintensionality in Mathematics.Timothy Bowen - manuscriptdetails
|
|
Epistemic Modality and Hyperintensionality in Mathematics.Timothy Bowen - 2017 - Dissertation, Arché, University of St Andrewsdetails
|
|
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
|
|
Platonism, phenomenology, and interderivability.Guillermo E. Rosado Haddock - 2010 - In Mirja Hartimo (ed.), Phenomenology and mathematics. London: Springer. pp. 23--46.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
|
|
Computational Complexity Theory and the Philosophy of Mathematics†.Walter Dean - 2019 - Philosophia Mathematica 27 (3):381-439.details
|
|
Friedman on Implicit Definition: In Search of the Hilbertian Heritage in Philosophy of Science.Woosuk Park - 2012 - Erkenntnis 76 (3):427-442.details
|
|
Book Reviews. [REVIEW][author unknown] - 2005 - History and Philosophy of Logic 26 (2):145-172.details
|
|
Hilbert’s Program.Richard Zach - 2014 - In Edward N. Zalta (ed.), The Stanford Encyclopedia of Philosophy. Stanford, CA: The Metaphysics Research Lab.details
|
|
Weyl and Two Kinds of Potential Domains.Laura Crosilla & Øystein Linnebo - forthcoming - Noûs.details
|
|
Generality Explained.Øystein Linnebo - 2022 - Journal of Philosophy 119 (7):349-379.details
|
|
Abstracta and Possibilia: Hyperintensional Foundations of Mathematical Platonism.Timothy Bowen - manuscriptdetails
|
|
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
|
|
Transfinite Cardinals in Paraconsistent Set Theory.Zach Weber - 2012 - Review of Symbolic Logic 5 (2):269-293.details
|
|
Naturalism, fallibilism, and the a priori.Lisa Warenski - 2009 - Philosophical Studies 142 (3):403-426.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
|
|
What is a Higher Level Set?Dimitris Tsementzis - 2016 - Philosophia Mathematica:nkw032.details
|
|
How are Concepts of Infinity Acquired?Kazimierz Trzęsicki - 2015 - Studies in Logic, Grammar and Rhetoric 40 (1):179-217.details
|
|
Cantor's Abstractionism and Hume's Principle.Claudio Ternullo & Luca Zanetti - 2021 - History and Philosophy of Logic 43 (3):284-300.details
|
|
Zermelo's Cantorian theory of systems of infinitely long propositions.R. Gregory Taylor - 2002 - Bulletin of Symbolic Logic 8 (4):478-515.details
|
|
Godel's unpublished papers on foundations of mathematics.W. W. Tatt - 2001 - Philosophia Mathematica 9 (1):87-126.details
|
|
Godel's interpretation of intuitionism.William Tait - 2006 - Philosophia Mathematica 14 (2):208-228.details
|
|
On the Origin of Symbolic Mathematics and Its Significance for Wittgenstein’s Thought.Sören Stenlund - 2015 - Nordic Wittgenstein Review 4 (1):7-92.details
|
|
Le « Wittgenstein intermédiaire » et les mathématiques modernes.Sören Stenlund & Anne-Marie Boisvert - 2012 - Philosophiques 39 (1):125-161.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
|
|
The Ways of Hilbert's Axiomatics: Structural and Formal.Wilfried Sieg - 2014 - Perspectives on Science 22 (1):133-157.details
|
|
Hilbert's Programs: 1917–1922.Wilfried Sieg - 1999 - Bulletin of Symbolic Logic 5 (1):1-44.details
|
|
Theological Underpinnings of the Modern Philosophy of Mathematics.Vladislav Shaposhnikov - 2016 - Studies in Logic, Grammar and Rhetoric 44 (1):147-168.details
|
|
A Justification for the Quantificational Hume Principle.Chris Scambler - 2019 - Erkenntnis 86 (5):1293-1308.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
|
|