- Informal versus formal mathematics.Francisco Antonio Doria - 2007 - Synthese 154 (3):401-415.details
|
|
Infinite inference and mathematical conventionalism.Douglas Blue - forthcoming - Philosophy and Phenomenological Research.details
|
|
The Geach‐Kaplan sentence reconsidered.Kentaro Fujimoto - 2023 - Philosophy and Phenomenological Research 109 (1):288-314.details
|
|
The Paradox of the Knower revisited.Walter Dean & Hidenori Kurokawa - 2014 - Annals of Pure and Applied Logic 165 (1):199-224.details
|
|
Arithmetical Reflection and the Provability of Soundness.Walter Dean - 2015 - Philosophia Mathematica 23 (1):31-64.details
|
|
A theory of implicit commitment.Mateusz Łełyk & Carlo Nicolai - 2022 - Synthese 200 (4):1-26.details
|
|
Cognitive Projects and the Trustworthiness of Positive Truth.Matteo Zicchetti - 2022 - Erkenntnis (8).details
|
|
Current Research on Gödel’s Incompleteness Theorems.Yong Cheng - 2021 - Bulletin of Symbolic Logic 27 (2):113-167.details
|
|
A Theory of Implicit Commitment for Mathematical Theories.Mateusz Łełyk & Carlo Nicolai - manuscriptdetails
|
|
Disquotationalism and the Compositional Principles.Richard Kimberly Heck - 2021 - In Carlo Nicolai & Johannes Stern (eds.), Modes of Truth: The Unified Approach to Truth, Modality, and Paradox. New York, NY: Routledge. pp. 105--50.details
|
|
Ross Contra Dillard.Matthew Su - 2016 - Philosophy Pathways 204 (1).details
|
|
The Scope of Gödel’s First Incompleteness Theorem.Bernd Buldt - 2014 - Logica Universalis 8 (3-4):499-552.details
|
|
In Defense of the Implicit Commitment Thesis.Ethan Brauer - 2022 - Ergo: An Open Access Journal of Philosophy 9.details
|
|
Hierarchical Incompleteness Results for Arithmetically Definable Extensions of Fragments of Arithmetic.Rasmus Blanck - 2021 - Review of Symbolic Logic 14 (3):624-644.details
|
|
Die logik der unbestimmtheiten und paradoxien.Ulrich Blau - 1985 - Erkenntnis 22 (1-3):369 - 459.details
|
|
Naïve validity.Julien Murzi & Lorenzo Rossi - 2017 - Synthese 199 (Suppl 3):819-841.details
|
|
Provability logics for natural Turing progressions of arithmetical theories.L. D. Beklemishev - 1991 - Studia Logica 50 (1):107 - 128.details
|
|
On bimodal logics of provability.Lev D. Beklemishev - 1994 - Annals of Pure and Applied Logic 68 (2):115-159.details
|
|
On the limit existence principles in elementary arithmetic and Σ n 0 -consequences of theories.Lev D. Beklemishev & Albert Visser - 2005 - Annals of Pure and Applied Logic 136 (1-2):56-74.details
|
|
Iterated local reflection versus iterated consistency.Lev Beklemishev - 1995 - Annals of Pure and Applied Logic 75 (1-2):25-48.details
|
|
On Turing’s legacy in mathematical logic and the foundations of mathematics.Joan Bagaria - 2013 - Arbor 189 (764):a079.details
|
|
Intensionality and the gödel theorems.David D. Auerbach - 1985 - Philosophical Studies 48 (3):337--51.details
|
|
Human-Effective Computability†.Marianna Antonutti Marfori & Leon Horsten - 2018 - Philosophia Mathematica 27 (1):61-87.details
|
|
Jean van Heijenoort’s Conception of Modern Logic, in Historical Perspective.Irving H. Anellis - 2012 - Logica Universalis 6 (3):339-409.details
|
|
De la computabilidad a la hipercomputabilidad.Enrique Alonso - 2006 - Azafea: Revista de Filosofia 8 (1).details
|
|
Penrose's Gödelian Argument A Review of Shadows of the Mind by Roger Penrose. [REVIEW]S. Feferman - 1995 - PSYCHE: An Interdisciplinary Journal of Research On Consciousness 2:21-32.details
|
|
Localizing the axioms.Athanassios Tzouvaras - 2010 - Archive for Mathematical Logic 49 (5):571-601.details
|
|
Gödel's Incompleteness Theorems.Panu Raatikainen - 2013 - The Stanford Encyclopedia of Philosophy (Winter 2013 Edition), Edward N. Zalta (Ed.).details
|
|
Axiomatizing Kripke’s Theory of Truth.Volker Halbach & Leon Horsten - 2006 - Journal of Symbolic Logic 71 (2):677 - 712.details
|
|
(1 other version)Inductive Full Satisfaction Classes.Henryk Kotlarski & Zygmunt Ratajczyk - 1990 - Annals of Pure and Applied Logic 47 (1):199--223.details
|
|
Gödel, truth & proof.Jaroslav Peregrin - manuscriptdetails
|
|
Deciding the undecidable: Wrestling with Hilbert's problems.Solomon Feferman - manuscriptdetails
|
|
My route to arithmetization.Solomon Feferman - 1997 - Theoria 63 (3):168-181.details
|
|
Axiomatic theories of truth.Volker Halbach - 2008 - Stanford Encyclopedia of Philosophy.details
|
|
Penrose's new argument.Per Lindström - 2001 - Journal of Philosophical Logic 30 (3):241-250.details
|
|
Lucas against mechanism.David Lewis - 1969 - Philosophy 44 (June):231-3.details
|
|
Soundness arguments for consistency and their epistemic value: A critical note.Matteo Zicchetti - forthcoming - Philosophical Quarterly.details
|
|
On the Anti-Mechanist Arguments Based on Gödel’s Theorem.Stanisław Krajewski - 2020 - Studia Semiotyczne 34 (1):9-56.details
|
|
In Memoriam: Solomon Feferman (1928–2016).Charles Parsons & Wilfried Sieg - 2017 - Bulletin of Symbolic Logic 23 (3):337-344.details
|
|
Truth is Simple.Leon Horsten & Graham E. Leigh - 2017 - Mind 126 (501):195-232.details
|
|
Troubles with (the concept of) truth in mathematics.Roman Murawski - 2006 - Logic and Logical Philosophy 15 (4):285-303.details
|
|
On propositional quantifiers in provability logic.Sergei N. Artemov & Lev D. Beklemishev - 1993 - Notre Dame Journal of Formal Logic 34 (3):401-419.details
|
|
Epistemic optimism.Mihai Ganea - 2008 - Philosophia Mathematica 16 (3):333-353.details
|
|
Nonmonotonicity in (the metamathematics of) arithmetic.Karl-Georg Niebergall - 1999 - Erkenntnis 50 (2-3):309-332.details
|
|
For philosophy of mathematics: 5 questions.Solomon Feferman - 2007 - In V. F. Hendricks & Hannes Leitgeb (eds.), Philosophy of Mathematics: Five Questions. Automatic Press/VIP.details
|
|
Incompleteness, mechanism, and optimism.Stewart Shapiro - 1998 - Bulletin of Symbolic Logic 4 (3):273-302.details
|
|
The knower paradox in the light of provability interpretations of modal logic.Paul Égré - 2004 - Journal of Logic, Language and Information 14 (1):13-48.details
|
|
Non-Tightness in Class Theory and Second-Order Arithmetic.Alfredo Roque Freire & Kameryn J. Williams - forthcoming - Journal of Symbolic Logic:1-28.details
|
|
Truth vs. provability – philosophical and historical remarks.Roman Murawski - 2002 - Logic and Logical Philosophy 10:93.details
|
|
Godel's program for new axioms: Why, where, how and what?Solomon Feferman - unknowndetails
|
|