- Epistemic Modality and Hyperintensionality in Mathematics.Timothy Bowen - 2017 - Dissertation, Arché, University of St Andrewsdetails
|
|
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
|
|
Mathematical realism and transcendental phenomenological realism.Richard Tieszen - 2010 - In Mirja Hartimo (ed.), Phenomenology and mathematics. London: Springer. pp. 1--22.details
|
|
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
|
|
A Note on Leibniz’s Argument Against Infinite Wholes.Mark van Atten & Mark Atten - 2015 - In Robert Tragesser, Mark van Atten & Mark Atten (eds.), Essays on Gödel’s Reception of Leibniz, Husserl, and Brouwer. Cham: Springer Verlag. pp. 121-129.details
|
|
Forms of Luminosity.Hasen Khudairi - 2017details
|
|
A Common Ground and Some Surprising Connections.Edward N. Zalta - 2002 - Southern Journal of Philosophy 40 (S1):1-25.details
|
|
Consistency, mechanicalness, and the logic of the mind.Qiuen Yu - 1992 - Synthese 90 (1):145-79.details
|
|
Time in philosophy and in physics: From Kant and Einstein to gödel.Hao Wang - 1995 - Synthese 102 (2):215 - 234.details
|
|
To and from philosophy — discussions with gödel and Wittgenstein.Hao Wang - 1991 - Synthese 88 (2):229 - 277.details
|
|
Mathematical naturalism: Origins, guises, and prospects. [REVIEW]Bart Van Kerkhove - 2006 - Foundations of Science 11 (1-2):5-39.details
|
|
A Note on Leibniz's Argument Against Infinite Wholes.Mark van Atten - 2011 - British Journal for the History of Philosophy 19 (1):121-129.details
|
|
Understanding programming languages.Raymond Turner - 2007 - Minds and Machines 17 (2):203-216.details
|
|
Phenomenology and mathematical knowledge.Richard Tieszen - 1988 - Synthese 75 (3):373 - 403.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
|
|
Godel's unpublished papers on foundations of mathematics.W. W. Tatt - 2001 - Philosophia Mathematica 9 (1):87-126.details
|
|
Frege, August Bebel and the Return of Alsace-Lorraine: The dating of the distinction between Sinn and Bedeutung.Göran Sundholm - 2001 - History and Philosophy of Logic 22 (2):57-73.details
|
|
The Iterative Conception of Set: a (Bi-)Modal Axiomatisation.J. P. Studd - 2013 - Journal of Philosophical Logic 42 (5):1-29.details
|
|
Gödel’s Philosophical Challenge.Wilfried Sieg - 2020 - Studia Semiotyczne 34 (1):57-80.details
|
|
The Objectivity of Mathematics.Stewart Shapiro - 2007 - Synthese 156 (2):337-381.details
|
|
Reasoning, logic and computation.Stewart Shapiro - 1995 - Philosophia Mathematica 3 (1):31-51.details
|
|
Logic, ontology, mathematical practice.Stewart Shapiro - 1989 - Synthese 79 (1):13 - 50.details
|
|
Frege Meets Zermelo: A Perspective on Ineffability and Reflection.Stewart Shapiro - 2008 - Review of Symbolic Logic 1 (2):241-266.details
|
|
Are There Absolutely Unsolvable Problems? Godel's Dichotomy.S. Feferman - 2006 - Philosophia Mathematica 14 (2):134-152.details
|
|
Prädikative Klassen.Ralf-Dieter Schindler - 1993 - Erkenntnis 39 (2):209 - 241.details
|
|
On the pure logic of justified belief.Daniela Schuster & Leon Horsten - 2022 - Synthese 200 (5):1-21.details
|
|
A análise gödeliana do conceito de percepção.Sérgio Schultz - 2012 - Doispontos 9 (2).details
|
|
Why Do We Prove Theorems?Yehuda Rav - 1999 - Philosophia Mathematica 7 (1):5-41.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
|
|
Can Church’s thesis be viewed as a Carnapian explication?Paula Quinon - 2019 - Synthese 198 (Suppl 5):1047-1074.details
|
|
Was gödel a gödelian platonist?Michael Potter - 2001 - Philosophia Mathematica 9 (3):331-346.details
|
|
Alan Turing and the mathematical objection.Gualtiero Piccinini - 2003 - Minds and Machines 13 (1):23-48.details
|
|
Reason and intuition.Charles Parsons - 2000 - Synthese 125 (3):299-315.details
|
|
Practical Intractability: A Critique of the Hypercomputation Movement. [REVIEW]Aran Nayebi - 2014 - Minds and Machines 24 (3):275-305.details
|
|
Recursive Functions and Metamathematics: Problems of Completeness and Decidability, Gödel's Theorems.Rod J. L. Adams & Roman Murawski - 1999 - Dordrecht, Netherland: Springer Verlag.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
|
|
El Tractatus al rescate de Principia Mathematica: Ramsey y los fundamentos logicistas de las matemáticas.Emilio Méndez Pinto - 2022 - Critica 54 (161):43-69.details
|
|
Intuition as a second window.Nenad Miscevic - 2000 - Southern Journal of Philosophy 38 (S1):87-112.details
|
|
Mind and the Environment.Jane McDonnell - 2018 - Axiomathes 28 (5):521-538.details
|
|
Category theory and the foundations of mathematics: Philosophical excavations.Jean-Pierre Marquis - 1995 - Synthese 103 (3):421 - 447.details
|
|
Naturalism and ontology.Penelope Maddy - 1995 - Philosophia Mathematica 3 (3):248-270.details
|
|
Computing machines can't be intelligent (...And Turing said so).Peter Kugel - 2002 - Minds and Machines 12 (4):563-579.details
|
|
On a complexity-based way of constructivizing the recursive functions.F. W. Kroon & W. A. Burkhard - 1990 - Studia Logica 49 (1):133 - 149.details
|
|
On the Anti-Mechanist Arguments Based on Gödel’s Theorem.Stanisław Krajewski - 2020 - Studia Semiotyczne 34 (1):9-56.details
|
|
The compactness of first-order logic:from gödel to lindström.John W. Dawson - 1993 - History and Philosophy of Logic 14 (1):15-37.details
|
|
An axiom schema of comprehension of zermelo–fraenkel–skolem set theory.Johannes Heidema - 1990 - History and Philosophy of Logic 11 (1):59-65.details
|
|
Maximality Principles in Set Theory.Luca Incurvati - 2017 - Philosophia Mathematica 25 (2):159-193.details
|
|
How to be a minimalist about sets.Luca Incurvati - 2012 - Philosophical Studies 159 (1):69-87.details
|
|
Gödel, Einstein, Mach: Casting constraints on all-embracing concepts. [REVIEW]Giora Hon - 2004 - Foundations of Science 9 (1):25-64.details
|
|