- Word and Object.Willard Van Orman Quine - 1960 - Les Etudes Philosophiques 17 (2):278-279.details
|
|
(1 other version)Studies in the Logic of Explanation.Carl Hempel & Paul Oppenheim - 1948 - Journal of Symbolic Logic 14 (2):133-133.details
|
|
Why Numbers Are Sets.Eric Steinhart - 2002 - Synthese 133 (3):343-361.details
|
|
(1 other version)The Structure of Science.Ernest Nagel - 1961 - Les Etudes Philosophiques 17 (2):275-275.details
|
|
Aspects of Mathematical Explanation: Symmetry, Unity, and Salience.Marc Lange - 2014 - Philosophical Review 123 (4):485-531.details
|
|
Metaphysical grounding: understanding the structure of reality.Fabrice Correia & Benjamin Schnieder (eds.) - 2012 - Cambridge: Cambridge University Press.details
|
|
Nagelian Reduction Beyond the Nagel Model.Raphael van Riel - 2011 - Philosophy of Science 78 (3):353-375.details
|
|
Zermelo, Reductionism, and the Philosophy of Mathematics.R. Gregory Taylor - 1993 - Notre Dame Journal of Formal Logic 34 (4):539--63.details
|
|
Why proofs by mathematical induction are generally not explanatory.Marc Lange - 2009 - Analysis 69 (2):203-211.details
|
|
(1 other version)Word and Object.Willard Van Orman Quine - 1960 - Cambridge, MA, USA: MIT Press.details
|
|
Realism in mathematics.Penelope Maddy - 1990 - New York: Oxford University Prress.details
|
|
Mathematical explanation.Mark Steiner - 1978 - Philosophical Studies 34 (2):135 - 151.details
|
|
Mathematical explanation: Problems and prospects.Paolo Mancosu - 2001 - Topoi 20 (1):97-117.details
|
|
(1 other version)Studies in the logic of explanation.Carl Gustav Hempel & Paul Oppenheim - 1948 - Philosophy of Science 15 (2):135-175.details
|
|
Differentials, higher-order differentials and the derivative in the Leibnizian calculus.H. J. M. Bos - 1974 - Archive for History of Exact Sciences 14 (1):1-90.details
|
|
Cantorian Set Theory and Limitation of Size.Michael Hallett - 1984 - Oxford, England: Clarendon Press.details
|
|
(1 other version)Cantorian Set Theory and Limitation of Size.Michael Hallett - 1990 - Studia Logica 49 (2):283-284.details
|
|
Set Theory and Its Philosophy: A Critical Introduction.Stewart Shapiro - 2005 - Mind 114 (455):764-767.details
|
|
(1 other version)Cantorian Set Theory and Limitation of Size.Michael Hallett - 1986 - Mind 95 (380):523-528.details
|
|
(1 other version)Schröder Ernst. Vorlesungen über die Algebra der Logik . Second edition, Volume I. A reprint of 427 with Schroder's corrections. Chelsea Publishing Company, Bronx 1966, IX + 721 pp. [REVIEW]Paul Bernays - 1975 - Journal of Symbolic Logic 40 (4):609-614.details
|
|
Reduction without reductionism: A defence of Nagel on connectability.Colin Klein - 2009 - Philosophical Quarterly 59 (234):39-53.details
|
|
Non-standard Analysis.Gert Heinz Müller - 2016 - Princeton University Press.details
|
|
The Unsolvability of The Quintic: A Case Study in Abstract Mathematical Explanation.Christopher Pincock - 2015 - Philosophers' Imprint 15.details
|
|
Reduction and explanation: Science vs. Mathematics.Veikko Rantala - 1992 - In Javier Echeverría, Andoni Ibarra & Thomas Mormann (eds.), The space of mathematics: philosophical, epistemological, and historical explorations. New York: W. de Gruyter. pp. 47-59.details
|
|
Inaugurating Understanding or Repackaging Explanation?Kareem Khalifa - 2012 - Philosophy of Science 79 (1):15-37.details
|
|
No understanding without explanation.Michael Strevens - 2013 - Studies in History and Philosophy of Science Part A 44 (3):510-515.details
|
|
Mathematical Induction and Explanation.Alan Baker - 2010 - Analysis 70 (4):681-689.details
|
|
Understanding proofs.Jeremy Avigad - manuscriptdetails
|
|
Sets and numbers.Penelope Maddy - 1981 - Noûs 15 (4):495-511.details
|
|
What numbers could not be.Paul Benacerraf - 1965 - Philosophical Review 74 (1):47-73.details
|
|
Georg Cantor, His Mathematics and Philosophy of the Infinite.Colin C. Graham - 1980 - Philosophy of Science 47 (1):159-160.details
|
|
(1 other version)Georg Cantor: His Mathematics and Philosophy of the Infinite.Joseph Warren Dauben - 1990 - Princeton University Press.details
|
|
Set—Theoretical Representations of Ordered Pairs and Their Adequacy for the Logic of Relations.Randall R. Dipert - 1982 - Canadian Journal of Philosophy 12 (2):353 - 374.details
|
|
Set-Theoretic Foundations.Stewart Shapiro - 2000 - The Proceedings of the Twentieth World Congress of Philosophy 6:183-196.details
|
|
Set Theory and its Philosophy: A Critical Introduction.Michael D. Potter - 2004 - Oxford, England: Oxford University Press.details
|
|
Proof style and understanding in mathematics I: Visualization, unification and axiom choice.Jamie Tappenden - unknowndetails
|
|
Non-uniqueness as a non-problem.Mark Balaguer - 1998 - Philosophia Mathematica 6 (1):63-84.details
|
|
Set-theoretic Foundations.Penelope Maddy - 2016 - In Andrés Eduardo Caicedo, James Cummings, Peter Koellner & Paul B. Larson (eds.), Foundations of Mathematics. American Mathematical Society.details
|
|
Arithmetization of Metamathematics in a General Setting.Solomon Feferman - 1960 - Journal of Symbolic Logic 31 (2):269-270.details
|
|
Explanatory Proofs in Mathematics.Erik Weber & Liza Verhoeven - 2002 - Logique Et Analyse 179:299-307.details
|
|
[Omnibus Review].Yiannis N. Moschovakis - 1968 - Journal of Symbolic Logic 33 (3):471-472.details
|
|
Conceptions of the continuum.Solomon Feferman - unknowndetails
|
|
Does Homotopy Type Theory Provide a Foundation for Mathematics?James Ladyman & Stuart Presnell - 2016 - British Journal for the Philosophy of Science:axw006.details
|
|
What Are Mathematical Coincidences ?M. Lange - 2010 - Mind 119 (474):307-340.details
|
|
What is required of a foundation for mathematics?John Mayberry - 1994 - Philosophia Mathematica 2 (1):16-35.details
|
|
On the logic of reducibility: Axioms and examples. [REVIEW]Karl-Georg Niebergall - 2000 - Erkenntnis 53 (1-2):27-61.details
|
|
Georg Cantor, His Mathematics and Philosophy of the Infinite.J. W. Dauben - 1993 - Revue Philosophique de la France Et de l'Etranger 183 (3):622-625.details
|
|
Category theory as an autonomous foundation.Øystein Linnebo & Richard Pettigrew - 2011 - Philosophia Mathematica 19 (3):227-254.details
|
|
What numbers are.Nicholas P. White - 1974 - Synthese 27 (1-2):111 - 124.details
|
|
(1 other version)Abraham Robinson. Non-standard analysis. Koninklijke Nederlandse Akademie van Wetenschappen, Proceedings, series A, vol. 64 (1961), pp. 432–440; also Indagationes mathematicae, vol. 23 (1961), pp. 432-440. - Abraham Robinson. Topics in non-Archimedean mathematics. The theory of models, Proceedings of the 1963 International Symposium at Berkeley, edited by J. W. Addison, Leon Henkin, and Alfred Tarski, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1965, pp. 285–298. - Abraham Robinson. On generalized limits and linear functionals. Pacific journal of mathematics, vol. 14 (1964), pp. 269–283. - Alan R. Bernstein and Abraham Robinson. Solution of an invariant subspace problem of K. T. Smith and P. R. Halmos.Pacific journal of mathematics, vol. 16 (1966), pp. 421–431. - Abraham Robinson. Non-standard analysis.Studies in logic and the foundations of mathematics. North-Holland Publishing Company, Amsterdam1966, xi + 293 pp. [REVIEW]Gert Heinz Müller - 1969 - Journal of Symbolic Logic 34 (2):292-294.details
|
|