- Mathematical Logic.Georg Kreisel - 1965 - In Lectures on Modern Mathematics. New York: Wiley. pp. 95-195.details
|
|
Philosophy and Model Theory.Tim Button & Sean P. Walsh - 2018 - Oxford, UK: Oxford University Press. Edited by Sean Walsh & Wilfrid Hodges.details
|
|
Deflationism beyond arithmetic.Kentaro Fujimoto - 2019 - Synthese 196 (3):1045-1069.details
|
|
Metamathematics of First-Order Arithmetic.Petr Hajék & Pavel Pudlák - 1994 - Studia Logica 53 (3):465-466.details
|
|
Deflationism, Arithmetic, and the Argument from Conservativeness.Daniel Waxman - 2017 - Mind 126 (502):429-463.details
|
|
Deflationary truth and the ontology of expressions.Carlo Nicolai - 2015 - Synthese 192 (12):4031-4055.details
|
|
Internal Categoricity in Arithmetic and Set Theory.Jouko Väänänen & Tong Wang - 2015 - Notre Dame Journal of Formal Logic 56 (1):121-134.details
|
|
The Strength of Truth-Theories.Richard Heck - manuscriptdetails
|
|
Was Sind und was Sollen Die Zahlen?Richard Dedekind - 1888 - Cambridge University Press.details
|
|
Arithmetical Reflection and the Provability of Soundness.Walter Dean - 2015 - Philosophia Mathematica 23 (1):31-64.details
|
|
Informal Rigour and Completeness Proofs.Georg Kreisel - 1967 - In Imre Lakatos (ed.), Problems in the philosophy of mathematics. Amsterdam,: North-Holland Pub. Co.. pp. 138--157.details
|
|
Truth, Vagueness, and Paradox: An Essay on the Logic of Truth.Vann McGee - 1990 - Indianapolis, IN, USA: Hackett.details
|
|
On Interpretability in the Theory of Concatenation.Vítězslav Švejdar - 2009 - Notre Dame Journal of Formal Logic 50 (1):87-95.details
|
|
Predicativism as a Philosophical Position.Geoffrey Hellman - 2004 - Revue Internationale de Philosophie 3:295-312.details
|
|
Finitism.W. W. Tait - 1981 - Journal of Philosophy 78 (9):524-546.details
|
|
Concatenation as a basis for arithmetic.W. V. Quine - 1946 - Journal of Symbolic Logic 11 (4):105-114.details
|
|
How we learn mathematical language.Vann McGee - 1997 - Philosophical Review 106 (1):35-68.details
|
|
Reflecting on incompleteness.Solomon Feferman - 1991 - Journal of Symbolic Logic 56 (1):1-49.details
|
|
String theory.John Corcoran, William Frank & Michael Maloney - 1974 - Journal of Symbolic Logic 39 (4):625-637.details
|
|
Subsystems of Second Order Arithmetic.Stephen G. Simpson - 1999 - Studia Logica 77 (1):129-129.details
|
|
Eine Grenze Für die Beweisbarkeit der Transfiniten Induktion in der Verzweigten Typenlogik.Kurt Schütte - 1964 - Archive for Mathematical Logic 7 (1-2):45-60.details
|
|
Undecidable Theories.Alfred Tarski, Andrzej Mostowski & Raphael M. Robinson - 1953 - Philosophy 30 (114):278-279.details
|
|
Truth, Vagueness, and Paradox. An Essay on the Logic of Truth.Vann Mcgee & Giovanni Sommaruga-Rosolemos - 1993 - Critica 25 (73):83-108.details
|
|
Proof and Truth.Stewart Shapiro - 1998 - Journal of Philosophy 95 (10):493-521.details
|
|
Proof and Truth.Stewart Shapiro - 1998 - Journal of Philosophy 95 (10):493-521.details
|
|
How Innocent Is Deflationism?Volker Halbach - 2001 - Synthese 126 (1-2):167-194.details
|
|
Undecidability without Arithmetization.Andrzej Grzegorczyk - 2005 - Studia Logica 79 (2):163-230.details
|
|
A Note on Typed Truth and Consistency Assertions.Carlo Nicolai - 2016 - Journal of Philosophical Logic 45 (1):89-119.details
|
|
Grundlagen der Mathematik I.David Hilbert & Paul Bernays - 1968 - Springer.details
|
|
The incompleteness theorems.Craig Smorynski - 1977 - In Jon Barwise (ed.), Handbook of mathematical logic. New York: North-Holland. pp. 821 -- 865.details
|
|
Axiomatic truth, syntax and metatheoretic reasoning.Graham E. Leigh & Carlo Nicolai - 2013 - Review of Symbolic Logic 6 (4):613-636.details
|
|
Growing Commas. A Study of Sequentiality and Concatenation.Albert Visser - 2009 - Notre Dame Journal of Formal Logic 50 (1):61-85.details
|
|
Proof-theoretic reduction as a philosopher's tool.Thomas Hofweber - 2000 - Erkenntnis 53 (1-2):127-146.details
|
|
Deflationism and Tarski’s Paradise.Jeffrey Ketland - 1999 - Mind 108 (429):69-94.details
|
|
Disquotationalism and infinite conjunctions.Volker Halbach - 1999 - Mind 108 (429):1-22.details
|
|
Transfinite recursive progressions of axiomatic theories.Solomon Feferman - 1962 - Journal of Symbolic Logic 27 (3):259-316.details
|
|
Systems of predicative analysis.Solomon Feferman - 1964 - Journal of Symbolic Logic 29 (1):1-30.details
|
|
Reading the begriffsschrift.George Boolos - 1985 - Mind 94 (375):331-344.details
|
|
An Introduction to Gödel's Theorems.Peter Smith - 2009 - Bulletin of Symbolic Logic 15 (2):218-222.details
|
|
Transfinite Recursive Progressions of Axiomatic Theories.Solomon Feferman - 1967 - Journal of Symbolic Logic 32 (4):530-531.details
|
|
Ancestral arithmetic and Isaacson's Thesis.Peter Smith - 2008 - Analysis 68 (1):1-10.details
|
|
Aspects of Incompleteness.Per Lindström - 1999 - Studia Logica 63 (3):438-439.details
|
|
Reverse mathematics and Peano categoricity.Stephen G. Simpson & Keita Yokoyama - 2013 - Annals of Pure and Applied Logic 164 (3):284-293.details
|
|
Deflating the conservativeness argument.Hartry Field - 1999 - Journal of Philosophy 96 (10):533-540.details
|
|