- Putnam’s paradox.David Lewis - 1984 - Australasian Journal of Philosophy 62 (3):221 – 236.details
|
|
Models and reality.Hilary Putnam - 1980 - Journal of Symbolic Logic 45 (3):464-482.details
|
|
Realism and Reason.Hilary Putnam - 1977 - Proceedings and Addresses of the American Philosophical Association 50 (6):483-498.details
|
|
The Limits of Realism.Tim Button - 2013 - Oxford: Oxford University Press UK.details
|
|
A Mathematical Introduction to Logic.Herbert Enderton - 2001 - Bulletin of Symbolic Logic 9 (3):406-407.details
|
|
Understanding the Infinite.Shaughan Lavine & Stewart Shapiro - 1994 - Studia Logica 63 (1):123-128.details
|
|
Introduction to Mathematical Logic.S. C. Kleene - 1956 - Journal of Symbolic Logic 23 (3):362-362.details
|
|
Philosophy of Mathematics: Structure and Ontology.Stewart Shapiro - 2000 - Philosophical Quarterly 50 (198):120-123.details
|
|
Mathematics, the Loss of Certainty.Morris Kline - 1981 - Critica 13 (39):87-91.details
|
|
How We Learn Mathematical Language.Vann McGee - 1997 - Philosophical Review 106 (1):35-68.details
|
|
Understanding the Infinite.Stewart Shapiro - 1996 - Philosophical Review 105 (2):256.details
|
|
Reason, Truth and History.Michael Devitt - 1984 - Philosophical Review 93 (2):274.details
|
|
On Putnam and His Models.Timothy Bays - 2001 - Journal of Philosophy 98 (7):331.details
|
|
Mathematical Thought and its Objects.Charles Parsons - 2007 - New York: Cambridge University Press.details
|
|
The Infinite.Adrian W. Moore - 1990 - New York: Routledge.details
|
|
Substanzbegriff und Funktionsbegriff.Ernst Cassirer - 1910 - Revue de Métaphysique et de Morale 18 (6):7-8.details
|
|
The Higher Infinite.Akihiro Kanamori - 2000 - Studia Logica 65 (3):443-446.details
|
|
Zermelo's Axiom of Choice. Its Origins, Development, and Influence.Gregory H. Moore - 1984 - Journal of Symbolic Logic 49 (2):659-660.details
|
|
Logical consequence, proof theory, and model theory.Stewart Shapiro - 2005 - In Oxford Handbook of Philosophy of Mathematics and Logic. Oxford and New York: Oxford University Press. pp. 651--670.details
|
|
Mathematics as language.Adam Morton - 1996 - In Adam Morton & Stephen P. Stich (eds.), Benacerraf and His Critics. Blackwell. pp. 213--227.details
|
|
Logicism, Interpretability, and Knowledge of Arithmetic.Sean Walsh - 2014 - Review of Symbolic Logic 7 (1):84-119.details
|
|
The set-theoretic multiverse.Joel David Hamkins - 2012 - Review of Symbolic Logic 5 (3):416-449.details
|
|
Higher-Order Logic or Set Theory: A False Dilemma.S. Shapiro - 2012 - Philosophia Mathematica 20 (3):305-323.details
|
|
Second order logic or set theory?Jouko Väänänen - 2012 - Bulletin of Symbolic Logic 18 (1):91-121.details
|
|
Vom Zahlen zu den Zahlen: On the Relation Between Computation and Arithmetical Structuralism.L. Horsten - 2012 - Philosophia Mathematica 20 (3):275-288.details
|
|
The Philosophical Significance of Tennenbaum’s Theorem.T. Button & P. Smith - 2012 - Philosophia Mathematica 20 (1):114-121.details
|
|
Benacerraf and His Critics.Adam Morton & Stephen P. Stich (eds.) - 1996 - Blackwell.details
|
|
Über Grenzzahlen und Mengenbereiche: Neue Untersuchungen über die Grundlagen der Mengenlehre.Ernst Zermelo - 1930 - Fundamenta Mathematicæ 16:29--47.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
|
|
Models and Recursivity.Walter Dean - manuscriptdetails
|
|
Completeness and Categoricity. Part I: Nineteenth-century Axiomatics to Twentieth-century Metalogic.Steve Awodey & Erich H. Reck - 2002 - History and Philosophy of Logic 23 (1):1-30.details
|
|
Completeness and categoricity: Frege, gödel and model theory.Stephen Read - 1997 - History and Philosophy of Logic 18 (2):79-93.details
|
|
Introduction to mathematical logic.Alonzo Church - 1944 - Princeton,: Princeton University Press. Edited by C. Truesdell.details
|
|
Science Without Numbers: A Defence of Nominalism.Hartry H. Field - 1980 - Princeton, NJ, USA: Princeton University Press.details
|
|
Models and reality.Hilary Putnam - 1983 - In Realism and reason. New York: Cambridge University Press. pp. 1-25.details
|
|
Set Theory and its Logic: Revised Edition.Willard Van Orman Quine - 1963 - Harvard University Press.details
|
|
Categoricity.John Corcoran - 1980 - History and Philosophy of Logic 1 (1):187-207.details
|
|
A mathematical introduction to logic.Herbert Bruce Enderton - 1972 - New York,: Academic Press.details
|
|
The development of mathematical logic from Russell to Tarski, 1900-1935.Paolo Mancosu, Richard Zach & Calixto Badesa - 2011 - In Leila Haaparanta (ed.), The development of modern logic. New York: Oxford University Press.details
|
|
A concise introduction to mathematical logic.Wolfgang Rautenberg - 2006 - New York, NY: Springer.details
|
|
Set Theory and its Philosophy: A Critical Introduction.Michael D. Potter - 2004 - Oxford, England: Oxford University Press.details
|
|
Computable structures and the hyperarithmetical hierarchy.C. J. Ash - 2000 - New York: Elsevier. Edited by J. Knight.details
|
|
Extensions of first order logic.María Manzano - 1996 - New York: Cambridge University Press.details
|
|
From Kant to Hilbert: a source book in the foundations of mathematics.William Ewald (ed.) - 1996 - New York: Oxford University Press.details
|
|
Understanding the infinite.Shaughan Lavine - 1994 - Cambridge: Harvard University Press.details
|
|
Foundations without foundationalism: a case for second-order logic.Stewart Shapiro - 1991 - New York: Oxford University Press.details
|
|
Realism and reason.Hilary Putnam (ed.) - 1983 - New York: Cambridge University Press.details
|
|
In Defense of Putnam’s Brains.Thomas Tymoczko - 1989 - Philosophical Studies 57 (3):281--97.details
|
|
The structuralist view of mathematical objects.Charles Parsons - 1990 - Synthese 84 (3):303 - 346.details
|
|
Multiple universes of sets and indeterminate truth values.Donald A. Martin - 2001 - Topoi 20 (1):5-16.details
|
|