A

Ashton, Zoe (2020) Audience Role in Mathematical Proof Development. [Preprint]

Avigad, Jeremy (2019) Reliability of mathematical inference. [Preprint]

Avigad, Jeremy (2023) The design of mathematical language. [Preprint]

Avner, Ash and Justin, Clarke-Doane (2023) Intuition and Observation. [Preprint]

B

Bacelar Valente, Mario (2020) On the correctness of problem solving in ancient mathematical procedure texts. [Preprint]

Bacelar Valente, Mario (2020) On the formal justification of informal proofs. [Preprint]

Bacelar Valente, Mario (2022) The correctness of reasoning, logical models, and the faithfulness problem. Principia: an international journal of epistemology, 26 (3). pp. 429-447.

Bentzen, Bruno (2021) Naive cubical type theory. Mathematical Structures in Computer Science, 31. pp. 1205-1231.

Bentzen, Bruno (2020) On different ways of being equal. Erkenntnis, 87 (4). pp. 1809-1830. ISSN 0165-0106

Bentzen, Bruno (2023) Propositions as intentions. Husserl Studies. pp. 1-18.

Bentzen, Bruno (2020) What types should not be. Philosophia Mathematica, 28 (1). pp. 60-76. ISSN 0031-8019

Bordg, Anthony (2019) Univalent Foundations and the UniMath Library. The Architecture of Mathematics. in Reflections on the Foundations of Mathematics, Synthese Library, 407.

Brown, James Robert (2021) Rigour and Thought Experiments: Burgess and Norton. [Preprint]

C

Carlson, Matthew (2022) Anti-Exceptionalism and the Justification of Basic Logical Principles. [Preprint]

Clarke-Doane, Justin (2022) Mathemtics and Metaphilosophy. Cambridge Elements.

Cobreros, P and La Rosa, E and Tranchini, L (2020) (I Can’t Get No) Antisatisfaction. [Preprint]

Csatári, Ferenc (2024) In Defense of a Constructive Truth Concept. [Preprint]

D

D'Alessandro, William (2017) Mathematical Explanation Beyond Explanatory Proof. The British Journal for the Philosophy of Science.

D'Alessandro, William (2020) Proving Quadratic Reciprocity: Explanation, Disagreement, Transparency and Depth. Synthese. ISSN 1573-0964

D'Alessandro, William and Lehet, Ellen (2022) Mathematical Explanation and Understanding: A Noetic Account. In: UNSPECIFIED.

Dal Magro, Tamires and García-Pérez, Manuel J. (2019) On Euclidean diagrams and geometrical knowledge. THEORIA. An International Journal for Theory, History and Foundations of Science, 34 (2). pp. 255-276. ISSN 2171-679X

Dopico, Pablo (2023) A defence of Isaacson's thesis, or how to make sense of the boundaries of finite mathematics. [Preprint]

Duede, Eamon and Davey, Kevin (2024) Apriori Knowledge in an Era of Computational Opacity: The Role of AI in Mathematical Discovery. In: UNSPECIFIED.

E

Eastaugh, Benedict (2018) Computational reverse mathematics and foundational analysis. [Preprint]

Eastaugh, Benedict (2018) Set existence principles and closure conditions: unravelling the standard view of reverse mathematics. [Preprint]

F

Friedman, Michael and Rittberg, Colin Jakob (2019) The Material Reasoning of Folding Paper. [Preprint]

H

Halák, Jan (2021) Mathematics Embodied: Merleau-Ponty on Geometry and Algebra as Fields of Motor Enaction. [Preprint]

Hewitt, Carl (2019) For Cybersecurity, Computer Science Must Rely on Strong Types. [Preprint]

Hewitt, Carl (2019) For Cybersecurity, Computer Science Must Rely on Strongly-Typed Actors. [Preprint]

Hewitt, Carl (2019) For Cybersecurity, Computer Science Must Rely on Strongly-Typed Actors. [Preprint]

Hsiung, Ming (2018) What Paradoxes Depends on. [Preprint]

Hudson, Richard (2024) Cantor's Illusion. [Preprint]

Hudson, Richard (2024) Cantor's Illusion-part 2. [Preprint]

K

Koshkin, Sergiy (2020) Wittgenstein, Peirce, and paradoxes of mathematical proof. Analytic Philosophy. ISSN 2153-960X

L

Lampert, Timm (2021) Newton’s experimental proofs. THEORIA. An International Journal for Theory, History and Foundations of Science, 36 (2). pp. 261-283. ISSN 2171-679X

Lampert, Timm (2017) Turing's Fallacies. [Preprint]

Lange, Marc (2021) Challenges Facing Counterfactual Accounts of Explanation in Mathematics. [Preprint]

Larvor, Brendan (2012) How to think about informal proofs. Synthese, 187 (2). pp. 715-730. ISSN 0039-7857

Larvor, Brendan (2022) On the unreasonable reliability of mathematical inference. [Preprint]

Larvor, Brendan (2016) Why the Naive Derivation Recipe Model Cannot Explain How Mathematician's Proofs Secure Mathematical Knowledge. Philosophia Mathematica, 24 (3). pp. 401-404. ISSN 0031-8019

M

Mazurek, Leszek (2020) Division by zero. [Preprint]

Mizrahi, Moti (2020) Proof, Explanation, and Justification in Mathematical Practice. [Preprint]

Morris, Rebecca (2019) Do mathematical explanations have instrumental value? Synthese. ISSN 1573-0964

P

Patton, Lydia (2018) Laws of Thought and Laws of Logic After Kant. Logic from Kant to Russell.

R

Redhead, Michael (2019) A Simplified Version of Gödel’s Theorem. [Preprint]

S

Sarma, Gopal P. and Hay, Nick J. (2017) Robust Computer Algebra, Theorem Proving, and Oracle AI. Informatica, 41 (4). pp. 451-461.

T

Tanswell, Fenner Stanley and Larvor, Brendan and Rittberg, Colin Jakob (2024) Kneebone and Lakatos: at the roots of a dialectical philosophy of mathematics. [Preprint]

W

Weatherall, James Owen and Wolfson, Jesse (2024) Correctness, Artificial Intelligence, and the Epistemic Value of Mathematical Proof. [Preprint]

Weber, Keith (2019) The role of syntactic representations in set theory. [Preprint]

Werndl, Charlotte (2009) Justifying Definitions in Mathematics—Going Beyond Lakatos. [Preprint]

Z

Zayton, Benjamin (2022) Open Texture, Rigor, and Proof. [Preprint]