Preprint

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]

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]

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

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

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]

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

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]

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

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]

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

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

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

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

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

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

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

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]

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

Conference or Workshop Item

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

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

Published Article or Volume

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.

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

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

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

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

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

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

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

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

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

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