- Szemerédi’s theorem: An exploration of impurity, explanation, and content.Patrick J. Ryan - 2023 - Review of Symbolic Logic 16 (3):700-739.details
|
|
Formalization, primitive concepts, and purity: Formalization, primitive concepts, and purity.John T. Baldwin - 2013 - Review of Symbolic Logic 6 (1):87-128.details
|
|
Rota's Philosophy in its Mathematical Context.Sébastien Gandon - 2016 - Philosophia Mathematica 24 (2):145-184.details
|
|
Axiomatizing Changing Conceptions of the Geometric Continuum I: Euclid-Hilbert†.John T. Baldwin - 2018 - Philosophia Mathematica 26 (3):346-374.details
|
|
Are There Genuine Physical Explanations of Mathematical Phenomena?Bradford Skow - 2015 - British Journal for the Philosophy of Science 66 (1):69-93.details
|
|
Infini, logique, geométrie.Marco Panza - 2016 - History and Philosophy of Logic 37 (4):396-399.details
|
|
David Hilbert. David Hilbert's lectures on the foundations of geometry, 1891–1902. Michael Hallett and Ulrich Majer, eds. David Hilbert's Foundational Lectures; 1. Berlin: Springer-Verlag, 2004. ISBN 3-540-64373-7. Pp. xxviii + 661. [REVIEW]V. Pambuccian - 2013 - Philosophia Mathematica 21 (2):255-277.details
|
|
Reasoning by Analogy in Mathematical Practice.Francesco Nappo & Nicolò Cangiotti - 2023 - Philosophia Mathematica 31 (2):176-215.details
|
|
Ontological Purity for Formal Proofs.Robin Martinot - forthcoming - Review of Symbolic Logic:1-40.details
|
|
Mario Pieri’s View of the Symbiotic Relationship between the Foundations and the Teaching of Elementary Geometry in the Context of the Early Twentieth Century Proposals for Pedagogical Reform.Elena Anne Corie Marchisotto & Ana Millán Gasca - 2021 - Philosophia Scientiae 25:157-183.details
|
|
Certain Modern Ideas and Methods: “Geometric Reality” in the Mathematics of Charlotte Angas Scott.Jemma Lorenat - 2020 - Review of Symbolic Logic 13 (4):681-719.details
|
|
Explanation, Existence and Natural Properties in Mathematics – A Case Study: Desargues’ Theorem.Marc Lange - 2015 - Dialectica 69 (4):435-472.details
|
|
On Formalism Freeness: Implementing Gödel's 1946 Princeton Bicentennial Lecture.Juliette Kennedy - 2013 - Bulletin of Symbolic Logic 19 (3):351-393.details
|
|
Aesthetics and the Dream of Objectivity: Notes from Set Theory.Juliette Kennedy & Jouko Väänänen - 2015 - Inquiry: An Interdisciplinary Journal of Philosophy 58 (1):83-98.details
|
|
What are Implicit Definitions?Eduardo N. Giovannini & Georg Schiemer - 2019 - Erkenntnis 86 (6):1661-1691.details
|
|
From Magnitudes to Geometry and Back: De Zolt's Postulate.Eduardo N. Giovannini & Abel Lassalle-Casanave - 2022 - Theoria 88 (3):629-652.details
|
|
De Zolt’s Postulate: An Abstract Approach.Eduardo N. Giovannini, Edward H. Haeusler, Abel Lassalle-Casanave & Paulo A. S. Veloso - 2022 - Review of Symbolic Logic 15 (1):197-224.details
|
|
Bridging the gap between analytic and synthetic geometry: Hilbert’s axiomatic approach.Eduardo N. Giovannini - 2016 - Synthese 193 (1):31-70.details
|
|
Projective duality and the rise of modern logic.Günther Eder - 2021 - Bulletin of Symbolic Logic 27 (4):351-384.details
|
|
Hilbert, duality, and the geometrical roots of model theory.Günther Eder & Georg Schiemer - 2018 - Review of Symbolic Logic 11 (1):48-86.details
|
|
Frege and the origins of model theory in nineteenth century geometry.Günther Eder - 2019 - Synthese 198 (6):5547-5575.details
|
|
Frege on intuition and objecthood in projective geometry.Günther Eder - 2021 - Synthese 199 (3-4):6523-6561.details
|
|
Giuseppe Peano and his School: Axiomatics, Symbolism and Rigor.Paola Cantù & Erika Luciano - 2021 - Philosophia Scientiae 25:3-14.details
|
|
Giuseppe Peano and his School: Axiomatics, Symbolism and Rigor.Paola Luciano Cantù - 2021 - Philosophia Scientiae 25:3-14.details
|
|
Peano’s structuralism and the birth of formal languages.Joan Bertran-San-Millán - 2022 - Synthese 200 (4):1-34.details
|
|
Epistemology of Geometry.Jeremy Gray - forthcoming - Stanford Encyclopedia of Philosophy.details
|
|