- 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
|
|
Husserl and Hilbert on completeness, still.Jairo Jose da Silva - 2016 - Synthese 193 (6).details
|
|
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
|
|
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
|
|
Dag Prawitz on Proofs and Meaning.Heinrich Wansing (ed.) - 2015 - Cham, Switzerland: Springer.details
|
|
Naturalizing Badiou: mathematical ontology and structural realism.Fabio Gironi - 2014 - New York: Palgrave-Macmillan.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
|
|
Ludwig Wittgenstein’s Cambridge Period.Natalia Tomashpolskaia - 2023 - Prolegomena: Journal of Philosophy 22 (2):257-294.details
|
|
Objectivity Sans Intelligibility. Hermann Weyl's Symbolic Constructivism.Iulian D. Toader - 2011 - Dissertation, University of Notre Damedetails
|
|
The design of mathematical language.Jeremy Avigad - unknowndetails
|
|
Hierarchies Ontological and Ideological.Øystein Linnebo & Agustín Rayo - 2012 - Mind 121 (482):269 - 308.details
|
|
Make It So: Imperatival Foundations for Mathematics.Neil Barton, Ethan Russo & Chris Scambler - manuscriptdetails
|
|
Logicism and Neologicism.Neil Tennant - 2013 - Stanford Encyclopedia of Philosophy.details
|
|
Abstract objects.Gideon Rosen - 2008 - Stanford Encyclopedia of Philosophy.details
|
|
The early development of set theory.José Ferreirós - unknown - Stanford Encyclopedia of Philosophy.details
|
|
George Boole.Stanley Burris - 2010 - Stanford Encyclopedia of Philosophy.details
|
|
Constructive mathematics.Douglas Bridges - 2008 - Stanford Encyclopedia of Philosophy.details
|
|
Logical Consequence.J. C. Beall, Greg Restall & Gil Sagi - 2019 - Stanford Encyclopedia of Philosophy.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
|
|
Sobre la relevancia de la tesis de Turing.Aldana D’Andrea - 2017 - Metatheoria – Revista de Filosofía E Historia de la Ciencia 7:31--38.details
|
|
Symbolic logic.Greg Restall - unknowndetails
|
|
Numbers and functions in Hilbert's finitism.Richard Zach - 1998 - Taiwanese Journal for History and Philosophy of Science 10:33-60.details
|
|
Mathematics as a love of wisdom: Saunders Mac Lane as philosopher.Colin McLarty - 2020 - Philosophical Problems in Science 69:17-32.details
|
|
Philosophical method and Galileo's paradox of infinity.Matthew W. Parker - 2008 - In Bart Van Kerkhove (ed.), New Perspectives on Mathematical Practices: Essays in Philosophy and History of Mathematics : Brussels, Belgium, 26-28 March 2007. World Scientfic.details
|
|
Gödel, Realism and Mathematical 'Intuition'.Michael Hallett - 2006 - In Emily Carson & Renate Huber (eds.), Intuition and the Axiomatic Method. Springer. pp. 113--131.details
|
|
Soft Axiomatisation: John von Neumann on Method and von Neumann's Method in the Physical Sciences.Miklós Rédei & Michael Stöltzner - 2006 - In Emily Carson & Renate Huber (eds.), Intuition and the Axiomatic Method. Springer. pp. 235--249.details
|
|
.[author unknown] - unknowndetails
|
|
Necessity of Thought.Cesare Cozzo - 2015 - In Heinrich Wansing (ed.), Dag Prawitz on Proofs and Meaning. Springer. pp. 101-20.details
|
|
The Monstrosity of Vice: Sin and Slavery in Campanella’s Political Thought.Brian Garcia - 2020 - Aither: Journal for the Study of Greek and Latin Philosophical Traditions 12 (2):232–248.details
|
|
Maddy On The Multiverse.Claudio Ternullo - 2019 - In Deniz Sarikaya, Deborah Kant & Stefania Centrone (eds.), Reflections on the Foundations of Mathematics. Berlin: Springer Verlag. pp. 43-78.details
|
|
Existence Assumptions and Logical Principles: Choice Operators in Intuitionistic Logic.Corey Edward Mulvihill - 2015 - Dissertation, University of Waterloodetails
|
|
The Crisis in the Foundations of Mathematics.J. Ferreiros - 2008 - In Timothy Gowers (ed.), Princeton Companion to Mathematics. Princeton University Press.details
|
|
Gödel on intuition and on Hilbert's finitism.W. W. Tait - 2010 - In Kurt Gödel, Solomon Feferman, Charles Parsons & Stephen G. Simpson (eds.), Kurt Gödel: Essays for His Centennial. Association for Symbolic Logic.details
|
|
The inscrutability of reference.Robert Williams - 2005 - Dissertation, University of St Andrewsdetails
|
|
Scientific phenomena and patterns in data.Pascal Ströing - 2018 - Dissertation, Lmu Münchendetails
|
|
The rise and fall of computational functionalism.Oron Shagrir - 2005 - In Yemima Ben-Menahem (ed.), Hilary Putnam (Contemporary Philosophy in Focus). Cambridge University Press.details
|
|
Philosophy of mathematics.Jeremy Avigad - manuscriptdetails
|
|
The Theory of Relations, Complex Terms, and a Connection Between λ and ε Calculi.Edward N. Zalta - manuscriptdetails
|
|
On Dedekind's Logicism.José Ferreirós - unknowndetails
|
|
Ipotesi del Continuo.Claudio Ternullo - 2017 - Aphex 16.details
|
|
Objects and objectivity : Alternatives to mathematical realism.Ebba Gullberg - 2011 - Dissertation, Umeå Universitetdetails
|
|
Conceptions of the continuum.Solomon Feferman - unknowndetails
|
|