- Epistemic Modality and Hyperintensionality in Mathematics.Timothy Bowen - 2017 - Dissertation, Arché, University of St Andrewsdetails
|
|
Abstracta and Possibilia: Hyperintensional Foundations of Mathematical Platonism.Timothy Bowen - manuscriptdetails
|
|
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
|
|
Modality and Hyperintensionality in Mathematics.Timothy Bowen - manuscriptdetails
|
|
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
|
|
Consistency, Models, and Soundness.Matthias Schirn - 2010 - Global Philosophy 20 (2-3):153-207.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
|
|
Hilbert's Program Revisited.Panu Raatikainen - 2003 - Synthese 137 (1-2):157-177.details
|
|
Yablo’s Paradox in Second-Order Languages: Consistency and Unsatisfiability.Lavinia María Picollo - 2013 - Studia Logica 101 (3):601-617.details
|
|
Open-endedness, schemas and ontological commitment.Nikolaj Jang Lee Linding Pedersen & Marcus Rossberg - 2010 - Noûs 44 (2):329-339.details
|
|
The pragmatism of Hilbert's programme.Volker Peckhaus - 2003 - Synthese 137 (1-2):141 - 156.details
|
|
Friedman on Implicit Definition: In Search of the Hilbertian Heritage in Philosophy of Science.Woosuk Park - 2012 - Erkenntnis 76 (3):427-442.details
|
|
What are sets and what are they for?Alex Oliver & Timothy Smiley - 2006 - Philosophical Perspectives 20 (1):123–155.details
|
|
The Pursuit of Rigor: Hilbert's axiomatic method and the objectivity of mathematics.Yoshinori Ogawa - 2004 - Annals of the Japan Association for Philosophy of Science 12 (2):89-108.details
|
|
Peirce’s topical theory of continuity.Matthew E. Moore - 2015 - Synthese 192 (4):1-17.details
|
|
Mathematical roots of phenomenology: Husserl and the concept of number.Mirja Hartimo - 2006 - History and Philosophy of Logic 27 (4):319-337.details
|
|
Una reevaluación del convencionalismo geométrico de Poincaré.Pablo Melogno - 2018 - Dianoia 63 (81):37-59.details
|
|
Wittgenstein and Brouwer.Mathieu Marion - 2003 - Synthese 137 (1-2):103 - 127.details
|
|
The Russellian influence on Hilbert and his school.Paolo Mancosu - 2003 - Synthese 137 (1-2):59 - 101.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
|
|
Grundlagen, Section 64: Frege's Discussion of Definitions by Abstraction in Historical Context.Paolo Mancosu - 2015 - History and Philosophy of Logic 36 (1):62-89.details
|
|
Between Russell and Hilbert: Behmann on the foundations of mathematics.Paolo Mancosu - 1999 - Bulletin of Symbolic Logic 5 (3):303-330.details
|
|