- Mathematicians writing for mathematicians.Line Edslev Andersen, Mikkel Willum Johansen & Henrik Kragh Sørensen - 2019 - Synthese 198 (Suppl 26):6233-6250.details
|
|
Evidence, Proofs, and Derivations.Andrew Aberdein - 2019 - ZDM 51 (5):825-834.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
|
|
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, 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
|
|
Logic of informal provability with truth values.Pawel Pawlowski & Rafal Urbaniak - 2023 - Logic Journal of the IGPL 31 (1):172-193.details
|
|
Informal provability and dialetheism.Pawel Pawlowski & Rafal Urbaniak - 2023 - Theoria 89 (2):204-215.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
|
|
Epistemic injustice in mathematics.Colin Jakob Rittberg, Fenner Stanley Tanswell & Jean Paul Van Bendegem - 2020 - Synthese 197 (9):3875-3904.details
|
|
(1 other version)Euler’s Königsberg: the explanatory power of mathematics.Tim Räz - 2018 - European Journal for Philosophy of Science 8 (3):331-346.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
|
|
Non-deductive Logic in Mathematics: The Probability of Conjectures.James Franklin - 2013 - In Andrew Aberdein & Ian J. Dove (eds.), The Argument of Mathematics. Dordrecht, Netherland: Springer. pp. 11--29.details
|
|
Objects and Processes in Mathematical Practice.Uwe V. Riss - 2011 - Foundations of Science 16 (4):337-351.details
|
|
Why do mathematicians re-prove theorems?John W. Dawson Jr - 2006 - Philosophia Mathematica 14 (3):269-286.details
|
|
The derivation-indicator view of mathematical practice.Jody Azzouni - 2004 - Philosophia Mathematica 12 (2):81-106.details
|
|
Inferentialism and Structuralism: A Tale of Two Theories.Ryan Mark Nefdt - 2018 - Logique Et Analyse 61 (244):489-512.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
|
|
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
|
|
Instructions and constructions in set theory proofs.Keith Weber - 2023 - Synthese 202 (2):1-17.details
|
|
Ontology of Divinity.Mirosław Szatkowski (ed.) - 2024 - De Gruyter.details
|
|
Open texture, rigor, and proof.Benjamin Zayton - 2022 - Synthese 200 (4):1-20.details
|
|
On the unreasonable reliability of mathematical inference.Brendan Philip Larvor - 2022 - Synthese 200 (4):1-16.details
|
|
What is Mathematical Rigor?John Burgess & Silvia De Toffoli - 2022 - Aphex 25:1-17.details
|
|
Group Knowledge and Mathematical Collaboration: A Philosophical Examination of the Classification of Finite Simple Groups.Joshua Habgood-Coote & Fenner Stanley Tanswell - 2023 - Episteme 20 (2):281-307.details
|
|
Groundwork for a Fallibilist Account of Mathematics.Silvia De Toffoli - 2021 - Philosophical Quarterly 7 (4):823-844.details
|
|
Reconciling Rigor and Intuition.Silvia De Toffoli - 2020 - Erkenntnis 86 (6):1783-1802.details
|
|
(1 other version)Maddy On The Multiverse.Claudio Ternullo - 2019 - In Stefania Centrone, Deborah Kant & Deniz Sarikaya (eds.), Reflections on the Foundations of Mathematics: Univalent Foundations, Set Theory and General Thoughts. Springer Verlag. pp. 43-78.details
|
|
Montague’s Paradox, Informal Provability, and Explicit Modal Logic.Walter Dean - 2014 - Notre Dame Journal of Formal Logic 55 (2):157-196.details
|
|
Against Mathematical Explanation.Mark Zelcer - 2013 - Journal for General Philosophy of Science / Zeitschrift für Allgemeine Wissenschaftstheorie 44 (1):173-192.details
|
|
How to think about informal proofs.Brendan Larvor - 2012 - Synthese 187 (2):715-730.details
|
|
Mathematical knowledge is context dependent.Benedikt LÖWE & Thomas MÜLLER - 2008 - Grazer Philosophische Studien 76 (1):91-107.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
|
|
Phenomenology and mathematical practice.Mary Leng - 2002 - Philosophia Mathematica 10 (1):3-14.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
|
|
What is dialectical philosophy of mathematics?Brendan Larvor - 2001 - Philosophia Mathematica 9 (2):212-229.details
|
|
Moral particularism and scientific practice.Brendan Larvor - 2008 - Metaphilosophy 39 (4-5):492-507.details
|
|
From Euclidean geometry to knots and nets.Brendan Larvor - 2017 - Synthese:1-22.details
|
|
From Euclidean geometry to knots and nets.Brendan Larvor - 2019 - Synthese 196 (7):2715-2736.details
|
|
Anti-foundationalist Philosophy of Mathematics and Mathematical Proofs.Stanisław Krajewski - 2020 - Studia Humana 9 (3-4):154-164.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
|
|
Mathematical Knowledge : Motley and Complexity of Proof.Akihiro Kanamori - 2013 - Annals of the Japan Association for Philosophy of Science 21:21-35.details
|
|
Rigour, Proof and Soundness.Oliver M. W. Tatton-Brown - 2020 - Dissertation, University of Bristoldetails
|
|
The Mark of Understanding: In Defense of an Ability Account.Sven Delarivière & Bart Van Kerkhove - 2021 - Axiomathes 31 (5):619-648.details
|
|
On Mathematicians' Different Standards When Evaluating Elementary Proofs.Matthew Inglis, Juan Pablo Mejia-Ramos, Keith Weber & Lara Alcock - 2013 - Topics in Cognitive Science 5 (2):270-282.details
|
|
Acceptable gaps in mathematical proofs.Line Edslev Andersen - 2020 - Synthese 197 (1):233-247.details
|
|