- On the Anti-Mechanist Arguments Based on Gödel’s Theorem.Stanisław Krajewski - 2020 - Studia Semiotyczne 34 (1):9-56.details
|
|
The Anti-Mechanist Argument Based on Gödel’s Incompleteness Theorems, Indescribability of the Concept of Natural Number and Deviant Encodings.Paula Quinon - 2020 - Studia Semiotyczne 34 (1):243-266.details
|
|
(1 other version)Maddy On The Multiverse.Claudio Ternullo - 2019 - In Stefania Centrone, Deborah Kant & Deniz Sarikaya (eds.), Reflections on the Foundations of Mathematics: Univalent Foundations, Set Theory and General Thoughts. Springer Verlag. pp. 43-78.details
|
|
On Why Mathematics Can Not be Ontology.Shiva Rahman - 2019 - Axiomathes 29 (3):289-296.details
|
|
Mind and the Environment.Jane McDonnell - 2018 - Axiomathes 28 (5):521-538.details
|
|
(2 other versions)The Search for New Axioms in the Hyperuniverse Programme.Claudio Ternullo & Sy-David Friedman - 2016 - In Francesca Boccuni & Andrea Sereni (eds.), Objectivity, Realism, and Proof. FilMat Studies in the Philosophy of Mathematics. Cham, Switzerland: Springer International Publishing. pp. 165-188.details
|
|
(1 other version)Forms of Luminosity: Epistemic Modality and Hyperintensionality in Mathematics.David Elohim - 2017 - Dissertation, Arché, University of St Andrewsdetails
|
|
(1 other version)Intuition as a Second Window.Nenad Miscevic - 2000 - Southern Journal of Philosophy 38 (S1):87-112.details
|
|
(1 other version)Forms of Luminosity: Epistemic Modality and Hyperintensionality in Mathematics.David Elohim - 2017details
|
|
Maximality Principles in Set Theory.Luca Incurvati - 2017 - Philosophia Mathematica 25 (2):159-193.details
|
|
(1 other version)Gödel’s Cantorianism.Claudio Ternullo - 2015 - In E.-M. Engelen (ed.), Kurt Gödel: Philosopher-Scientist. Presses Universitaires de Provence. pp. 417-446.details
|
|
(1 other version)Zermelo and Set Theory. [REVIEW]Akihiro Kanamori - 2004 - Bulletin of Symbolic Logic 10 (4):487-553.details
|
|
Gödel and philosophical idealism.Charles Parsons - 2010 - Philosophia Mathematica 18 (2):166-192.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. New York: Oxford University Press.details
|
|
Epistemic truth and excluded middle.Cesare Cozzo - 1998 - Theoria 64 (2-3):243-282.details
|
|
The mathematical philosophy of Charles Parsons. [REVIEW]J. M. B. Moss - 1985 - British Journal for the Philosophy of Science 36 (4):437-457.details
|
|
Working foundations.Solomon Feferman - 1985 - Synthese 62 (2):229 - 254.details
|
|
Mathematical realism and gödel's incompleteness theorems.Richard Tieszen - 1994 - Philosophia Mathematica 2 (3):177-201.details
|
|
Gödel's path from the incompleteness theorems (1931) to phenomenology (1961).Richard Tieszen - 1998 - Bulletin of Symbolic Logic 4 (2):181-203.details
|
|
Godel's unpublished papers on foundations of mathematics.W. W. Tatt - 2001 - Philosophia Mathematica 9 (1):87-126.details
|
|
Naturalism and ontology.Penelope Maddy - 1995 - Philosophia Mathematica 3 (3):248-270.details
|
|
Consistency, mechanicalness, and the logic of the mind.Qiuen Yu - 1992 - Synthese 90 (1):145-79.details
|
|
Alan Turing and the mathematical objection.Gualtiero Piccinini - 2003 - Minds and Machines 13 (1):23-48.details
|
|
(1 other version)Maximality Principles in the Hyperuniverse Programme.Sy-David Friedman & Claudio Ternullo - 2023 - Foundations of Science 28 (1):287-305.details
|
|
Constructivity and Computability in Historical and Philosophical Perspective.Jacques Dubucs & Michel Bourdeau (eds.) - 2014 - Dordrecht, Netherland: Springer.details
|
|
Rethinking Logic: Logic in Relation to Mathematics, Evolution, and Method.Carlo Cellucci - 2013 - Dordrecht, Netherland: Springer.details
|
|
(1 other version)Maximality Principles in the Hyperuniverse Programme.Sy-David Friedman & Claudio Ternullo - 2020 - Foundations of Science 28 (1):287-305.details
|
|
Phenomenological Ideas in the Philosophy of Mathematics. From Husserl to Gödel.Roman Murawski Thomas Bedürftig - 2018 - Studia Semiotyczne 32 (2):33-50.details
|
|
The Iterative Conception of Set: a (Bi-)Modal Axiomatisation.J. P. Studd - 2013 - Journal of Philosophical Logic 42 (5):1-29.details
|
|
Information Processing as an Account of Concrete Digital Computation.Nir Fresco - 2013 - Philosophy and Technology 26 (1):31-60.details
|
|
How to be a minimalist about sets.Luca Incurvati - 2012 - Philosophical Studies 159 (1):69-87.details
|
|
(2 other versions)On the philosophical development of Kurt gödel.Mark van Atten & Juliette Kennedy - 2003 - Bulletin of Symbolic Logic 9 (4):425-476.details
|
|
Kurt Godel and phenomenology.Richard Tieszen - 1992 - Philosophy of Science 59 (2):176-194.details
|
|
Incompleteness, mechanism, and optimism.Stewart Shapiro - 1998 - Bulletin of Symbolic Logic 4 (3):273-302.details
|
|
Was gödel a gödelian platonist?Michael Potter - 2001 - Philosophia Mathematica 9 (3):331-346.details
|
|
Where do sets come from?Harold T. Hodes - 1991 - Journal of Symbolic Logic 56 (1):150-175.details
|
|
Gödel, Nagel, Minds, and Machines.Solomon Feferman - 2009 - Journal of Philosophy 106 (4):201-219.details
|
|
On the pure logic of justified belief.Daniela Schuster & Leon Horsten - 2022 - Synthese 200 (5):1-21.details
|
|
Fallibility and Fruitfulness of Deductions.Cesare Cozzo - 2021 - Erkenntnis (7):1-17.details
|
|
Informal and Absolute Proofs: Some Remarks from a Gödelian Perspective.Gabriella Crocco - 2019 - Topoi 38 (3):561-575.details
|
|
Use and Misuse of G^|^ouml;del's Theorem.Shingo Fujita - 2003 - Annals of the Japan Association for Philosophy of Science 12 (1):1-14.details
|
|
In praise of replacement.Akihiro Kanamori - 2012 - Bulletin of Symbolic Logic 18 (1):46-90.details
|
|
Mathematical realism and transcendental phenomenological realism.Richard Tieszen - 2010 - In Mirja Hartimo (ed.), Phenomenology and mathematics. London: Springer. pp. 1--22.details
|
|
A natural axiomatization of computability and proof of Church’s thesis.Nachum Dershowitz & Yuri Gurevich - 2008 - Bulletin of Symbolic Logic 14 (3):299-350.details
|
|
Understanding programming languages.Raymond Turner - 2007 - Minds and Machines 17 (2):203-216.details
|
|
Gödel’s Disjunctive Argument†.Wesley Wrigley - 2022 - Philosophia Mathematica 30 (3):306-342.details
|
|
Abstraction Reconceived.J. P. Studd - 2016 - British Journal for the Philosophy of Science 67 (2):579-615.details
|
|
Gödel, percepção racional e compreensão de conceitos.Sérgio Schultz - 2014 - Revista Latinoamericana de Filosofia 40 (1):47-65.details
|
|
(1 other version)Two Draft Letters from Godel on Self-knowledge of Reason.Mark van Atten - 2006 - Philosophia Mathematica 14 (2):255-261.details
|
|
Between abstraction and idealization: Scientific practice and philosophical awareness.Francesco Coniglione - 2004 - Poznan Studies in the Philosophy of the Sciences and the Humanities 82 (1):59-110.details
|
|