- And so on... : reasoning with infinite diagrams.Solomon Feferman - 2012 - Synthese 186 (1):371-386.details
|
|
The role of testimony in mathematics.Line Edslev Andersen, Hanne Andersen & Henrik Kragh Sørensen - 2020 - Synthese 199 (1-2):859-870.details
|
|
Philosophy of mathematics.Leon Horsten - 2008 - Stanford Encyclopedia of Philosophy.details
|
|
The "Artificial Mathematician" Objection: Exploring the (Im)possibility of Automating Mathematical Understanding.Sven Delarivière & Bart Van Kerkhove - 2017 - In B. Sriraman (ed.), Humanizing Mathematics and its Philosophy. Birkhäuser. pp. 173-198.details
|
|
Signs as a Theme in the Philosophy of Mathematical Practice.David Waszek - 2021 - In Bharath Sriraman (ed.), Handbook of the History and Philosophy of Mathematical Practice. Springer.details
|
|
Against Mathematical Explanation.Mark Zelcer - 2013 - Journal for General Philosophy of Science / Zeitschrift für Allgemeine Wissenschaftstheorie 44 (1):173-192.details
|
|
Open texture, rigor, and proof.Benjamin Zayton - 2022 - Synthese 200 (4):1-20.details
|
|
Theory of Quantum Computation and Philosophy of Mathematics. Part II.Krzysztof Wójtowicz - forthcoming - Logic and Logical Philosophy:1.details
|
|
Kategoria wyjaśniania a filozofia matematyki Gödla.Krzysztof Wójtowicz - 2018 - Studia Semiotyczne 32 (2):107-129.details
|
|
The Notion of Explanation in Gödel’s Philosophy of Mathematics.Krzysztof Wójtowicz - 2019 - Studia Semiotyczne—English Supplement 30:85-106.details
|
|
Informal proof, formal proof, formalism.Alan Weir - 2016 - Review of Symbolic Logic 9 (1):23-43.details
|
|
The role of syntactic representations in set theory.Keith Weber - 2019 - Synthese 198 (Suppl 26):6393-6412.details
|
|
Role of Imagination and Anticipation in the Acceptance of Computability Proofs: A Challenge to the Standard Account of Rigor.Keith Weber - 2022 - Philosophia Mathematica 30 (3):343-368.details
|
|
Instructions and constructions in set theory proofs.Keith Weber - 2023 - Synthese 202 (2):1-17.details
|
|
The Effect of Cognitive Relevance of Directed Actions on Mathematical Reasoning.Candace Walkington, Mitchell J. Nathan, Min Wang & Kelsey Schenck - 2022 - Cognitive Science 46 (9):e13180.details
|
|
Pi on Earth, or Mathematics in the Real World.Bart Van Kerkhove & Jean Paul Van Bendegem - 2008 - Erkenntnis 68 (3):421-435.details
|
|
Rigour and Proof.Oliver Tatton-Brown - 2023 - Review of Symbolic Logic 16 (2):480-508.details
|
|
A Problem with the Dependence of Informal Proofs on Formal Proofs.Fenner Tanswell - 2015 - Philosophia Mathematica 23 (3):295-310.details
|
|
A Note on the Relation Between Formal and Informal Proof.Jörgen Sjögren - 2010 - Acta Analytica 25 (4):447-458.details
|
|
Axioms in Mathematical Practice.Dirk Schlimm - 2013 - Philosophia Mathematica 21 (1):37-92.details
|
|
Against Against Intuitionism.Dirk Schlimm - 2005 - Synthese 147 (1):171-188.details
|
|
Euler’s Königsberg: the explanatory power of mathematics.Tim Räz - 2017 - European Journal for Philosophy of Science:1-16.details
|
|
Euler’s Königsberg: the explanatory power of mathematics.Tim Räz - 2018 - European Journal for Philosophy of Science 8 (3):331-346.details
|
|
On the Contemporary Practice of Philosophy of Mathematics.Colin Jakob Rittberg - 2019 - Acta Baltica Historiae Et Philosophiae Scientiarum 7 (1):5-26.details
|
|
Epistemic injustice in mathematics.Colin Jakob Rittberg, Fenner Stanley Tanswell & Jean Paul Van Bendegem - 2020 - Synthese 197 (9):3875-3904.details
|
|
Objects and Processes in Mathematical Practice.Uwe V. Riss - 2011 - Foundations of Science 16 (4):337-351.details
|
|
A Critique of a Formalist-Mechanist Version of the Justification of Arguments in Mathematicians' Proof Practices.Yehuda Rav - 2007 - Philosophia Mathematica 15 (3):291-320.details
|
|
Mathematics and the Good Life.Stephen Pollard - 2013 - Philosophia Mathematica 21 (1):93-109.details
|
|
Why do we believe theorems?Andrzej Pelc - 2009 - Philosophia Mathematica 17 (1):84-94.details
|
|
Proof systems for BAT consequence relations.Pawel Pawlowski - 2018 - Logic Journal of the IGPL 26 (1):96-108.details
|
|
Logic of informal provability with truth values.Pawel Pawlowski & Rafal Urbaniak - 2023 - Logic Journal of the IGPL 31 (1):172-193.details
|
|
Non-deterministic Logic of Informal Provability has no Finite Characterization.Pawel Pawlowski - 2021 - Journal of Logic, Language and Information 30 (4):805-817.details
|
|
Informal provability and dialetheism.Pawel Pawlowski & Rafal Urbaniak - 2023 - Theoria 89 (2):204-215.details
|
|
Informal Provability, First-Order BAT Logic and First Steps Towards a Formal Theory of Informal Provability.Pawel Pawlowski & Rafal Urbaniak - forthcoming - Logic and Logical Philosophy:1-27.details
|
|
What’s the Point of Complete Rigour?A. C. Paseau - 2016 - Mind 125 (497):177-207.details
|
|
Knowledge of Mathematics without Proof.Alexander Paseau - 2015 - British Journal for the Philosophy of Science 66 (4):775-799.details
|
|
Reductio ad absurdum from a dialogical perspective.Catarina Dutilh Novaes - 2016 - Philosophical Studies 173 (10):2605-2628.details
|
|
Le rôle du contenu géométrique dans le raisonnement diagrammatique d'Euclide.John Mumma - 2011 - Les Etudes Philosophiques 97 (2):243.details
|
|
Proofs, pictures, and Euclid.John Mumma - 2010 - Synthese 175 (2):255 - 287.details
|
|
Motivated proofs: What they are, why they matter and how to write them.Rebecca Lea Morris - 2020 - Review of Symbolic Logic 13 (1):23-46.details
|
|
Do mathematical explanations have instrumental value?Rebecca Lea Morris - 2019 - Synthese (2):1-20.details
|
|
Mathematical engineering and mathematical change.Jean-Pierre Marquis - 1999 - International Studies in the Philosophy of Science 13 (3):245 – 259.details
|
|
Informal proofs and mathematical rigour.Marianna Antonutti Marfori - 2010 - Studia Logica 96 (2):261-272.details
|
|
Mathematical knowledge is context dependent.Benedikt LÖWE & Thomas MÜLLER - 2008 - Grazer Philosophische Studien 76 (1):91-107.details
|
|
Phenomenology and mathematical practice.Mary Leng - 2002 - Philosophia Mathematica 10 (1):3-14.details
|
|
What is dialectical philosophy of mathematics?Brendan Larvor - 2001 - Philosophia Mathematica 9 (2):212-229.details
|
|
Why the Naïve Derivation Recipe Model Cannot Explain How Mathematicians’ Proofs Secure Mathematical Knowledge.Brendan Larvor - 2016 - Philosophia Mathematica 24 (3):401-404.details
|
|
On the unreasonable reliability of mathematical inference.Brendan Philip Larvor - 2022 - Synthese 200 (4):1-16.details
|
|
Moral particularism and scientific practice.Brendan Larvor - 2008 - Metaphilosophy 39 (4-5):492-507.details
|
|
How to think about informal proofs.Brendan Larvor - 2012 - Synthese 187 (2):715-730.details
|
|