- Logic and limits of knowledge and truth.Patrick Grim - 1988 - Noûs 22 (3):341-367.details
|
|
Varieties of Self-Reference in Metamathematics.Balthasar Grabmayr, Volker Halbach & Lingyuan Ye - 2023 - Journal of Philosophical Logic 52 (4):1005-1052.details
|
|
Finitistic Arithmetic and Classical Logic.Mihai Ganea - 2014 - Philosophia Mathematica 22 (2):167-197.details
|
|
Structuralism and Meta-Mathematics.Simon Friederich - 2010 - Erkenntnis 73 (1):67 - 81.details
|
|
Short Proofs for Slow Consistency.Anton Freund & Fedor Pakhomov - 2020 - Notre Dame Journal of Formal Logic 61 (1):31-49.details
|
|
The Gödelian Inferences.Curtis Franks - 2009 - History and Philosophy of Logic 30 (3):241-256.details
|
|
My route to arithmetization.Solomon Feferman - 1997 - Theoria 63 (3):168-181.details
|
|
Intensionality in mathematics.Solomon Feferman - 1985 - Journal of Philosophical Logic 14 (1):41 - 55.details
|
|
Does reductive proof theory have a viable rationale?Solomon Feferman - 2000 - Erkenntnis 53 (1-2):63-96.details
|
|
A generalized notion of weak interpretability and the corresponding modal logic.Giorgie Dzhaparidze - 1993 - Annals of Pure and Applied Logic 61 (1-2):113-160.details
|
|
Informal versus formal mathematics.Francisco Antonio Doria - 2007 - Synthese 154 (3):401-415.details
|
|
Tarski on “essentially richer” metalanguages.David DeVidi & Graham Solomon - 1999 - Journal of Philosophical Logic 28 (1):1-28.details
|
|
What does Gödel's second theorem say?Michael Detlefsen - 2001 - Philosophia Mathematica 9 (1):37-71.details
|
|
On an alleged refutation of Hilbert's program using gödel's first incompleteness theorem.Michael Detlefsen - 1990 - Journal of Philosophical Logic 19 (4):343 - 377.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
|
|
On bimodal logics of provability.Lev D. Beklemishev - 1994 - Annals of Pure and Applied Logic 68 (2):115-159.details
|
|
Positive provability logic for uniform reflection principles.Lev Beklemishev - 2014 - Annals of Pure and Applied Logic 165 (1):82-105.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
|
|
Kurt gödel.Juliette Kennedy - 2008 - Stanford Encyclopedia of Philosophy.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
|
|
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
|
|
The Age of Alternative Logics: Assessing Philosophy of Logic and Mathematics Today.Johan van Benthem, Gerhard Heinzman, M. Rebushi & H. Visser (eds.) - 2006 - Dordrecht, Netherland: Springer.details
|
|
Relative Interpretations and Substitutional Definitions of Logical Truth and Consequence.Mirko Engler - 2020 - In Igor Sedlár & Martin Blicha (eds.), The Logica Yearbook 2019. London, Vereinigtes Königreich: College Publications. pp. 33 - 47.details
|
|
Provability logic.Rineke Verbrugge - 2008 - Stanford Encyclopedia of Philosophy.details
|
|
Independence and large cardinals.Peter Koellner - 2010 - Stanford Encyclopedia of Philosophy.details
|
|
Paradoxes and contemporary logic.Andrea Cantini - 2008 - Stanford Encyclopedia of Philosophy.details
|
|
What is an expression?'.B. G. Sundholm - unknowndetails
|
|
A Plea for Logical Atavism.B. G. Sundholm - unknowndetails
|
|
Tarski and Lesniewski on Languages with Meaning versus Languages without Use: A 60th Birthday Provocation for Jan Wolenski.B. G. Sundholm - unknowndetails
|
|
Finitary inductively presented logics.Solomon Feferman - manuscriptdetails
|
|