- Making it Explicit.Isaac Levi & Robert B. Brandom - 1996 - Journal of Philosophy 93 (3):145.details
|
|
(1 other version)Why Do We Prove Theorems?Yehuda Rav - 1999 - Philosophia Mathematica 7 (1):5-41.details
|
|
(1 other version)Inferentialism and Some of Its Challenges.Robert Brandom - 2007 - Philosophy and Phenomenological Research 74 (3):651-676.details
|
|
What is inferentialism?Jaroslav Peregrin - unknowndetails
|
|
The Identity Problem for Realist Structuralism.J. Keranen - 2001 - Philosophia Mathematica 9 (3):308--330.details
|
|
Mathematics Without Numbers: Towards a Modal-Structural Interpretation.Geoffrey Hellman - 1989 - Oxford, England: Oxford University Press.details
|
|
Natural deduction: a proof-theoretical study.Dag Prawitz - 1965 - Mineola, N.Y.: Dover Publications.details
|
|
Mathematics as a science of patterns.Michael David Resnik - 1997 - New York ;: Oxford University Press.details
|
|
The logical basis of metaphysics.Michael Dummett - 1991 - Cambridge: Harvard University Press.details
|
|
Identity, indiscernibility, and Ante Rem structuralism: The tale of I and –I.Stewart Shapiro - 2008 - Philosophia Mathematica 16 (3):285-309.details
|
|
(1 other version)Inferentialism and Some of Its Challenges.Robert Brandom - 2007 - Philosophy and Phenomenological Research 74 (3):651-676.details
|
|
(1 other version)Some reflections on language games.Wilfrid Sellars - 1954 - Philosophy of Science 21 (3):204-228.details
|
|
Mathematics as a science of patterns: Epistemology.Michael Resnik - 1982 - Noûs 16 (1):95-105.details
|
|
Mathematics as a science of patterns: Ontology and reference.Michael Resnik - 1981 - Noûs 15 (4):529-550.details
|
|
What numbers could not be.Paul Benacerraf - 1965 - Philosophical Review 74 (1):47-73.details
|
|
Structure in mathematics and logic: A categorical perspective.S. Awodey - 1996 - Philosophia Mathematica 4 (3):209-237.details
|
|
(1 other version)Inferentialism and singular reference.Mark Mccullagh - 2005 - Canadian Journal of Philosophy 35 (2):183-220.details
|
|
(1 other version)Why Do We Prove Theorems?Yehuda Rav - 1998 - Philosophia Mathematica 6 (3):5-41.details
|
|
(1 other version)Inferentialism and Singular Reference.Mark Mccullagh - 2005 - Canadian Journal of Philosophy 35 (2):183-220.details
|
|
What constitutes the numerical diversity of mathematical objects?F. MacBride - 2006 - Analysis 66 (1):63-69.details
|
|
(1 other version)Motivating Wittgenstein's Perspective on Mathematical Sentences as Norms.Simon Friederich - 2011 - Philosophia Mathematica 19 (1):1-19.details
|
|
(1 other version)Structuralism.Geoffrey Hellman - manuscriptdetails
|
|
The structuralist view of mathematical objects.Charles Parsons - 1990 - Synthese 84 (3):303 - 346.details
|
|
Structuralism and the notion of dependence.Øystein Linnebo - 2008 - Philosophical Quarterly 58 (230):59-79.details
|
|
(3 other versions)Inferentialism: Why Rules Matter.Jaroslav Peregrin - 2014 - London and New York: Palgrave-Macmillan.details
|
|
Structuralism and the identity of indiscernibles.Jeffrey Ketland - 2006 - Analysis 66 (4):303-315.details
|
|
Categories, Structures, and the Frege-Hilbert Controversy: The Status of Meta-mathematics.Stewart Shapiro - 2005 - Philosophia Mathematica 13 (1):61-77.details
|
|
Tonk, Plonk and Plink.Nuel Belnap - 1962 - Analysis 22 (6):130-134.details
|
|
Foundations without foundationalism: a case for second-order logic.Stewart Shapiro - 1991 - New York: Oxford University Press.details
|
|
An inferentialist approach to semantics: Time for a new kind of structuralism?Jaroslav Peregrin - 2008 - Philosophy Compass 3 (6):1208-1223.details
|
|
The practice of finitism: Epsilon calculus and consistency proofs in Hilbert's program.Richard Zach - 2003 - Synthese 137 (1-2):211 - 259.details
|
|
(1 other version)Mathematics without Numbers. Towards a Modal-Structural Interpretation.Geoffrey Hellman - 1991 - Tijdschrift Voor Filosofie 53 (4):726-727.details
|
|
(1 other version)Some Reflections on Language Games.Wilfrid Sellars - 1957 - Journal of Symbolic Logic 22 (4):402-403.details
|
|
Say My Name. An Objection to Ante Rem Structuralism.Tim Räz - 2015 - Philosophia Mathematica 23 (1):116-125.details
|
|
(2 other versions)Natural Deduction: A Proof-Theoretical Study.Richmond Thomason - 1965 - Journal of Symbolic Logic 32 (2):255-256.details
|
|
(1 other version)Philosophy of Mathematics: Structure and Ontology.Stewart Shapiro - 2000 - Philosophical Quarterly 50 (198):120-123.details
|
|
Foundations without Foundationalism: A Case for Second-Order Logic.Gila Sher - 1994 - Philosophical Review 103 (1):150.details
|
|
(1 other version)Mathematics without Numbers: Towards a Modal-Structural Interpretation.Bob Hale & Geoffrey Hellman - 1992 - Philosophical Review 101 (4):919.details
|
|
(1 other version)Proof-Theoretic Semantics.Peter Schroeder-Heister - forthcoming - Stanford Encyclopedia of Philosophy.details
|
|
What’s Wrong with Tonk.Roy T. Cook - 2005 - Journal of Philosophical Logic 34 (2):217 - 226.details
|
|
The Logical Basis of Metaphysics.Michael Dummett, Hilary Putnam & James Conant - 1994 - Philosophical Quarterly 44 (177):519-527.details
|
|
Robert Brandom.Jeremy Wanderer - 2006 - Mcgill-Queen's University Press.details
|
|
Uniform proof-theoretic semantics for logical constants.Peter Schroeder-Heister - 1991 - Journal of Symbolic Logic 56:1142.details
|
|
David Hilbert's lectures on the foundations of geometry 1891–1902. edited by Michael Hallett and Ulrich Majer, David Hilbert's Lectures on the Foundations of Mathematics and Physics, 1891–1933, vol. 1. Springer, Berlin, Heidelberg and New York, 2004, xviii + 661 pp.Jan von Plato - 2006 - Bulletin of Symbolic Logic 12 (3):492-494.details
|
|
(2 other versions)Entailment: The Logic of Relevance and Necessity.[author unknown] - 1975 - Studia Logica 54 (2):261-266.details
|
|