- Note on Absolute Provability and Cantorian Comprehension.Holger A. Leuz - manuscriptdetails
|
|
The Two Selves: Their Metaphysical Commitments and Functional Independence.Stan Klein - 2014 - Oxford University Press.details
|
|
Forms of Luminosity: Epistemic Modality and Hyperintensionality in Mathematics.David Elohim - 2017 - Dissertation, Arché, University of St Andrewsdetails
|
|
Forms of Luminosity: Epistemic Modality and Hyperintensionality in Mathematics.David Elohim - 2017details
|
|
A verisimilitudinarian analysis of the Linda paradox.Gustavo Cevolani, Vincenzo Crupi & Roberto Festa - 2012 - VII Conference of the Spanish Society for Logic, Methodology and Philosphy of Science.details
|
|
Global Reflection Principles.P. D. Welch - 2017 - In I. Niiniluoto, H. Leitgeb, P. Seppälä & E. Sober (eds.), Logic, Methodology and Philosophy of Science - Proceedings of the 15th International Congress, 2015. College Publications.details
|
|
Monads and Mathematics: Gödel and Husserl.Richard Tieszen - 2012 - Axiomathes 22 (1):31-52.details
|
|
Gödel's Introduction to Logic in 1939.P. Cassou-Nogues - 2009 - History and Philosophy of Logic 30 (1):69-90.details
|
|
Gödel on Concepts.Gabriella Crocco - 2006 - History and Philosophy of Logic 27 (2):171-191.details
|
|
Gödel and 'the objective existence' of mathematical objects.Pierre Cassou-Noguès - 2005 - History and Philosophy of Logic 26 (3):211-228.details
|
|
Gödel and set theory.Akihiro Kanamori - 2007 - Bulletin of Symbolic Logic 13 (2):153-188.details
|
|
Kurt gödel.Juliette Kennedy - 2008 - Stanford Encyclopedia of Philosophy.details
|
|
Carnap, completeness, and categoricity:The gabelbarkeitssatz OF 1928. [REVIEW]S. Awodey & A. W. Carus - 2001 - Erkenntnis 54 (2):145-172.details
|
|
On the philosophical development of Kurt gödel.Mark van Atten & Juliette Kennedy - 2003 - Bulletin of Symbolic Logic 9 (4):425-476.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
|
|
Gödel's program revisited part I: The turn to phenomenology.Kai Hauser - 2006 - Bulletin of Symbolic Logic 12 (4):529-590.details
|
|
Is Cantor's continuum problem inherently vague?Kai Hauser - 2002 - Philosophia Mathematica 10 (3):257-285.details
|
|
What did gödel believe and when did he believe it?Martin Davis - 2005 - Bulletin of Symbolic Logic 11 (2):194-206.details
|
|
The approach to AI emergence from the standpoint of future contingents.Ignacy Sitnicki - forthcoming - AI and Society:1-3.details
|
|
What is Intuitionistic Arithmetic?V. Alexis Peluce - forthcoming - Erkenntnis:1-26.details
|
|
Modalité et changement: δύναμις et cinétique aristotélicienne.Marion Florian - 2023 - Dissertation, Université Catholique de Louvaindetails
|
|
John von Neumann’s Discovery of the 2nd Incompleteness Theorem.Giambattista Formica - 2022 - History and Philosophy of Logic 44 (1):66-90.details
|
|
Informal and Absolute Proofs: Some Remarks from a Gödelian Perspective.Gabriella Crocco - 2019 - Topoi 38 (3):561-575.details
|
|
Jan von Plato.* Can Mathematics be Proved Consistent?John W. Dawson - 2023 - Philosophia Mathematica 31 (1):104-111.details
|
|
Goedel's Other Legacy And The Imperative Of A Selfreflective Science.Vasileios Basios - 2006 - Goedel Society Collegium Logicum 9:pg. 1-5.details
|
|
Computing, Modelling, and Scientific Practice: Foundational Analyses and Limitations.Philippos Papayannopoulos - 2018 - Dissertation, details
|
|
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
|
|
Dallas Willard’s Contribution to Phenomenology.Burt C. Hopkins - 2019 - Husserl Studies 35 (2):117-130.details
|
|
Perception, Intuition, and Reliability.Kai Hauser & Tahsİn Öner - 2018 - Theoria 84 (1):23-59.details
|
|
Why AI shall emerge in the one of possible worlds?Ignacy Sitnicki - 2019 - AI and Society 34 (2):365-371.details
|
|
Gödel on Deduction.Kosta Došen & Miloš Adžić - 2019 - Studia Logica 107 (1):31-51.details
|
|
Classes, why and how.Thomas Schindler - 2019 - Philosophical Studies 176 (2):407-435.details
|
|
Non‐Classical Knowledge.Ethan Jerzak - 2017 - Philosophy and Phenomenological Research 98 (1):190-220.details
|
|
What is the Nature of Mathematical–Logical Objects?Stathis Livadas - 2017 - Axiomathes 27 (1):79-112.details
|
|
A Common Ground and Some Surprising Connections.Edward N. Zalta - 2002 - Southern Journal of Philosophy 40 (S1):1-25.details
|
|
Richness and Reflection.Neil Barton - 2016 - Philosophia Mathematica 24 (3):330-359.details
|
|
Intuition and Its Object.Kai Hauser - 2015 - Axiomathes 25 (3):253-281.details
|
|
Zermelo and Set Theory. [REVIEW]Akihiro Kanamori - 2004 - Bulletin of Symbolic Logic 10 (4):487-553.details
|
|
Naturalism and Abstract Entities.Feng Ye - 2010 - International Studies in the Philosophy of Science 24 (2):129-146.details
|
|
Chateaubriand’s Realist Conception of Logic.Frank Thomas Sautter - 2010 - Axiomathes 20 (2-3):357-364.details
|
|
Reason and intuition.Charles Parsons - 2000 - Synthese 125 (3):299-315.details
|
|
Existence and Identity in Free Logic: A Problem for Inferentialism?Neil Tennant - 2007 - Mind 116 (464):1055-1078.details
|
|
On Algorithms, Effective Procedures, and Their Definitions.Philippos Papayannopoulos - 2023 - Philosophia Mathematica 31 (3):291-329.details
|
|
The proof-theoretic square.Antonio Piccolomini D’Aragona - 2023 - Synthese 201 (6):1-34.details
|
|
Kurt Gödel on Logical, Theological, and Physical Antinomies.Tim Lethen - 2021 - Bulletin of Symbolic Logic 27 (3):267-297.details
|
|
Gödel and the language of mathematics.Jovana Kostić - 2015 - Belgrade Philosophical Annual 28 (28):45-68.details
|
|
Gödelian platonism and mathematical intuition.Wesley Wrigley - 2021 - European Journal of Philosophy 30 (2):578-600.details
|
|
Computing, Modelling, and Scientific Practice: Foundational Analyses and Limitations.Filippos A. Papagiannopoulos - 2018 - Dissertation, University of Western Ontariodetails
|
|
Juliette Kennedy.* Gödel, Tarski and the Lure of Natural Language: Logical Entanglement, Formalism Freeness.Penelope J. Maddy - 2021 - Philosophia Mathematica 29 (3):428-438.details
|
|
‘Qinghua School of Logic’: Mathematical Logic at Qinghua University in Peking, 1926–1945.Jan Vrhovski - 2021 - History and Philosophy of Logic 42 (3):247-261.details
|
|