- What is Wrong with Cantor's Diagonal Argument?R. T. Brady & P. A. Rush - 2008 - Logique Et Analyse 51 (1):185-219..details
|
|
The Crisis in the Foundations of Mathematics.J. Ferreiros - 2008 - In T. Gowers (ed.), Princeton Companion to Mathematics. Princeton University Press.details
|
|
On Naturalizing the Epistemology of Mathematics.Jeffrey W. Roland - 2009 - Pacific Philosophical Quarterly 90 (1):63-97.details
|
|
Conceptions of the continuum.Solomon Feferman - unknowndetails
|
|
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
|
|
Mathematical intuition vs. mathematical monsters.Solomon Feferman - 2000 - Synthese 125 (3):317-332.details
|
|
Unifying foundations – to be seen in the phenomenon of language.Lars Löfgren - 2004 - Foundations of Science 9 (2):135-189.details
|
|
Mathematical Knowledge, the Analytic Method, and Naturalism.Fabio Sterpetti - 2018 - In Sorin Bangu (ed.), Naturalizing Logico-Mathematical Knowledge: Approaches From Psychology and Cognitive Science. New York: Routledge. pp. 268-293.details
|
|
Mathematical Knowledge and Naturalism.Fabio Sterpetti - 2019 - Philosophia 47 (1):225-247.details
|
|
Hilbert’s Finitism: Historical, Philosophical, and Metamathematical Perspectives.Richard Zach - 2001 - Dissertation, University of California, Berkeleydetails
|
|
Intuition between the analytic-continental divide: Hermann Weyl's philosophy of the continuum.Janet Folina - 2008 - Philosophia Mathematica 16 (1):25-55.details
|
|
Mathematical existence.Penelope Maddy - 2005 - Bulletin of Symbolic Logic 11 (3):351-376.details
|
|
The Constructive Hilbert Program and the Limits of Martin-Löf Type Theory.Michael Rathjen - 2005 - Synthese 147 (1):81-120.details
|
|
On arbitrary sets and ZFC.José Ferreirós - 2011 - Bulletin of Symbolic Logic 17 (3):361-393.details
|
|
Putnam and contemporary fictionalism.Concha Martínez Vidal - 2018 - Theoria : An International Journal for Theory, History and Fundations of Science 33 (2):165-181.details
|
|
The prehistory of the subsystems of second-order arithmetic.Walter Dean & Sean Walsh - 2017 - Review of Symbolic Logic 10 (2):357-396.details
|
|
Arithmetical Reflection and the Provability of Soundness.Walter Dean - 2015 - Philosophia Mathematica 23 (1):31-64.details
|
|
Is the Continuum Hypothesis a definite mathematical problem?Solomon Feferman - manuscriptdetails
|
|
Does mathematics need new axioms.Solomon Feferman, Harvey M. Friedman, Penelope Maddy & John R. Steel - 1999 - Bulletin of Symbolic Logic 6 (4):401-446.details
|
|
Does reductive proof theory have a viable rationale?Solomon Feferman - 2000 - Erkenntnis 53 (1-2):63-96.details
|
|
On the mathematical and foundational significance of the uncountable.Dag Normann & Sam Sanders - 2019 - Journal of Mathematical Logic 19 (1):1950001.details
|
|
(1 other version)Harvard 1940–1941: Tarski, Carnap and Quine on a finitistic language of mathematics for science.Paolo Mancosu - 2005 - History and Philosophy of Logic 26 (4):327-357.details
|
|
(2 other versions)Philosophy of mathematics.Jeremy Avigad - manuscriptdetails
|
|
Philosophy of mathematics: Making a fresh start.Carlo Cellucci - 2013 - Studies in History and Philosophy of Science Part A 44 (1):32-42.details
|
|
Gödel, Kant, and the Path of a Science.Srećko Kovač - 2008 - Inquiry: Journal of Philosophy 51 (2):147-169.details
|
|
(1 other version)Reconnecting Logic with Discovery.Carlo Cellucci - 2017 - Topoi:1-12.details
|
|
On nominalism.Geoffrey Hellman - 2001 - Philosophy and Phenomenological Research 62 (3):691-705.details
|
|
Hegel’s ‘Bad Infinity’ as a Logical Problem.Vojtěch Kolman - 2016 - Hegel Bulletin 37 (2):258-280.details
|
|
Richard Tieszen. After Gödel. Platonism and Rationalism in Mathematics and Logic.Dagfinn Føllesdal - 2016 - Philosophia Mathematica 24 (3):405-421.details
|
|