- Kurt gödel.Juliette Kennedy - 2008 - Stanford Encyclopedia of Philosophy.details
|
|
Consistency, Turing Computability and Gödel’s First Incompleteness Theorem.Robert F. Hadley - 2008 - Minds and Machines 18 (1):1-15.details
|
|
My route to arithmetization.Solomon Feferman - 1997 - Theoria 63 (3):168-181.details
|
|
Hilbert's program then and now.Richard Zach - 2006 - In Dale Jacquette (ed.), Philosophy of Logic. North Holland. pp. 411–447.details
|
|
Truth, Pretense and the Liar Paradox.Bradley Armour-Garb & James A. Woodbridge - 2015 - In T. Achourioti, H. Galinon, J. Martínez Fernández & K. Fujimoto (eds.), Unifying the Philosophy of Truth. Dordrecht: Imprint: Springer. pp. 339-354.details
|
|
Montague’s Paradox, Informal Provability, and Explicit Modal Logic.Walter Dean - 2014 - Notre Dame Journal of Formal Logic 55 (2):157-196.details
|
|
Arithmetical Reflection and the Provability of Soundness.Walter Dean - 2015 - Philosophia Mathematica 23 (1):31-64.details
|
|
Arithmetic, Set Theory, Reduction and Explanation.William D’Alessandro - 2018 - Synthese 195 (11):5059-5089.details
|
|
On the Depth of Gödel’s Incompleteness Theorems.Yong Cheng - forthcoming - Philosophia Mathematica.details
|
|
Gödel’s Incompleteness Theorem and the Anti-Mechanist Argument: Revisited.Yong Cheng - 2020 - Studia Semiotyczne 34 (1):159-182.details
|
|
Using Kreisel’s Way Out to Refute Lucas-Penrose-Putnam Anti-Functionalist Arguments.Jeff Buechner - 2020 - Studia Semiotyczne 34 (1):109-158.details
|
|
Positive provability logic for uniform reflection principles.Lev Beklemishev - 2014 - Annals of Pure and Applied Logic 165 (1):82-105.details
|
|
On bimodal logics of provability.Lev D. Beklemishev - 1994 - Annals of Pure and Applied Logic 68 (2):115-159.details
|
|
Intensionality and the gödel theorems.David D. Auerbach - 1985 - Philosophical Studies 48 (3):337--51.details
|
|
Proof theory in philosophy of mathematics.Andrew Arana - 2010 - Philosophy Compass 5 (4):336-347.details
|
|
There May Be Many Arithmetical Gödel Sentences.Kaave Lajevardi & Saeed Salehi - 2021 - Philosophia Mathematica 29 (2):278–287.details
|
|
Quine’s Underdetermination Thesis.Eric Johannesson - forthcoming - Erkenntnis:1-18.details
|
|
Avicenna on Syllogisms Composed of Opposite Premises.Behnam Zolghadr - 2021 - In Mojtaba Mojtahedi, Shahid Rahman & MohammadSaleh Zarepour (eds.), Mathematics, Logic, and their Philosophies: Essays in Honour of Mohammad Ardeshir. Springer. pp. 433-442.details
|
|
The Significance of Evidence-based Reasoning in Mathematics, Mathematics Education, Philosophy, and the Natural Sciences.Bhupinder Singh Anand - 2020 - Mumbai: DBA Publishing (First Edition).details
|
|
Shadows of Syntax: Revitalizing Logical and Mathematical Conventionalism.Jared Warren - 2020 - New York, USA: Oxford University Press.details
|
|
The Significance of Evidence-based Reasoning for Mathematics, Mathematics Education, Philosophy and the Natural Sciences.Bhupinder Singh Anand - forthcomingdetails
|
|
Enciclopédia de Termos Lógico-Filosóficos.João Miguel Biscaia Branquinho, Desidério Murcho & Nelson Gonçalves Gomes (eds.) - 2006 - São Paulo, SP, Brasil: Martins Fontes.details
|
|
Neo-logicism? An ontological reduction of mathematics to metaphysics.Edward N. Zalta - 2000 - Erkenntnis 53 (1-2):219-265.details
|
|
Self-verifying axiom systems, the incompleteness theorem and related reflection principles.Dan Willard - 2001 - Journal of Symbolic Logic 66 (2):536-596.details
|
|
Conventionalism, Consistency, and Consistency Sentences.Jared Warren - 2015 - Synthese 192 (5):1351-1371.details
|
|
Logicism, Interpretability, and Knowledge of Arithmetic.Sean Walsh - 2014 - Review of Symbolic Logic 7 (1):84-119.details
|
|
Empiricism, Probability, and Knowledge of Arithmetic.Sean Walsh - 2014 - Journal of Applied Logic 12 (3):319–348.details
|
|
The Second Incompleteness Theorem and Bounded Interpretations.Albert Visser - 2012 - Studia Logica 100 (1-2):399-418.details
|
|
The predicative Frege hierarchy.Albert Visser - 2009 - Annals of Pure and Applied Logic 160 (2):129-153.details
|
|
The absorption law: Or: how to Kreisel a Hilbert–Bernays–Löb.Albert Visser - 2020 - Archive for Mathematical Logic 60 (3-4):441-468.details
|
|
The Arithmetics of a Theory.Albert Visser - 2015 - Notre Dame Journal of Formal Logic 56 (1):81-119.details
|
|
On the completenes principle: A study of provability in heyting's arithmetic and extensions.Albert Visser - 1982 - Annals of Mathematical Logic 22 (3):263-295.details
|
|
Peano Corto and Peano Basso: A Study of Local Induction in the Context of Weak Theories.Albert Visser - 2014 - Mathematical Logic Quarterly 60 (1-2):92-117.details
|
|
Meeting on Neutral Ground. A Reflection on Man-Machine Contests.Albert Visser - 2020 - Studia Semiotyczne 34 (1):279-294.details
|
|
A small reflection principle for bounded arithmetic.Rineke Verbrugge & Albert Visser - 1994 - Journal of Symbolic Logic 59 (3):785-812.details
|
|
A general principle for purely model-theoretical proofs of Gödel’s second incompleteness theorem.Dirk Ullrich - 1998 - Logic and Logical Philosophy 6:173.details
|
|
The Neglect of Epistemic Considerations in Logic: The Case of Epistemic Assumptions.Göran Sundholm - 2019 - Topoi 38 (3):551-559.details
|
|
The early history of formal diagonalization.C. Smoryński - 2023 - Logic Journal of the IGPL 31 (6):1203-1224.details
|
|
Uniform Density in Lindenbaum Algebras.V. Yu Shavrukov & Albert Visser - 2014 - Notre Dame Journal of Formal Logic 55 (4):569-582.details
|
|
Bicontextualism.Lorenzo Rossi - 2023 - Notre Dame Journal of Formal Logic 64 (1):95-127.details
|
|
Self-reference and the languages of arithmetic.Richard Heck - 2007 - Philosophia Mathematica 15 (1):1-29.details
|
|
On the logic of reducibility: Axioms and examples. [REVIEW]Karl-Georg Niebergall - 2000 - Erkenntnis 53 (1-2):27-61.details
|
|
On 2nd Order Calculi of Individuals.Karl-Georg Niebergall - 2009 - Theoria 24 (2):169-202.details
|
|
Hilbert's programme and gödel's theorems.Karl-Georg Niebergall & Matthias Schirn - 2002 - Dialectica 56 (4):347–370.details
|
|
The Implicit Commitment of Arithmetical Theories and Its Semantic Core.Carlo Nicolai & Mario Piazza - 2019 - Erkenntnis 84 (4):913-937.details
|
|
Provably True Sentences Across Axiomatizations of Kripke’s Theory of Truth.Carlo Nicolai - 2018 - Studia Logica 106 (1):101-130.details
|
|
A Note on Typed Truth and Consistency Assertions.Carlo Nicolai - 2016 - Journal of Philosophical Logic 45 (1):89-119.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
|
|
Extensions of the Finitist Point of View.Matthias Schirn & Karl-Georg Niebergall - 2001 - History and Philosophy of Logic 22 (3):135-161.details
|
|
On Formalization of Model-Theoretic Proofs of Gödel's Theorems.Makoto Kikuchi & Kazuyuki Tanaka - 1994 - Notre Dame Journal of Formal Logic 35 (3):403-412.details
|
|