A

Arsiwalla, Xerxes and Elshatlawy, Hatem and Rickles, Dean (2023) Pregeometry, Formal Language and Constructivist Foundations of Physics. [Preprint]

Avigad, Jeremy (2017) Modularity in Mathematics. [Preprint]

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

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

B

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

Baldissera Pacchetti, Marina (2020) Structural uncertainty through the lens of model building. [Preprint]

Barrett, Thomas William and Halvorson, Hans (2015) Quine's Conjecture on Many-Sorted Logic. [Preprint]

Bartlett, Steven James (2021) A Primer on Bartlett's CRITIQUE OF IMPURE REASON. Willamette University, Salem, OR.

Barton, Neil and Friedman, Sy-David (2019) Set Theory and Structures. [Preprint]

Binder, Bernd (2024) (Split-)Quaternion and (Split-)Octonion Dynamics in Discrete-Time Recurrent Frenet Frames. [Preprint]

Blue, Douglas (2024) What is it to be a solution to Cantor’s Continuum Problem? [Preprint]

Briciu, Adrian (2024) Indexicals and Communicative Affordances. [Preprint]

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

C

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

D

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

D'Alessandro, William (2022) Unrealistic Models in Mathematics. [Preprint]

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

De Haro, Sebastian (2019) The Heuristic Function of Duality. Synthese, 196. pp. 5169-5203. ISSN 1573-0964

Dentamaro, Dario and Loregian, Fosco (2020) Categorical Ontology I - Existence. [Preprint]

E

Egorychev, Ilya (2020) Categorial analysis of A. Kurpatov's "Methodology of thought" in context of perspective AGI development. [Preprint]

Egorytchev, Ilya (2021) Categorial formalisation of methodology of thought. [Preprint]

Elkind, Landon (2022) Computer Verification for Historians of Philosophy. [Preprint]

F

Ferreirós, José (2023) Conceptual Structuralism. Journal for General Philosophy of Science, 54. pp. 125-148. ISSN 0925-4560

Ferreirós, José (2017) Dedekind’s Map-theoretic Period. Philosophia Mathematica, 25 (3). pp. 318-340. ISSN 0031-8019

Ferreirós, José (2005) La introducción de los números transfinitos. Fundamentos para una teoría general de conjuntos.

Ferreirós, José (2000) Riemanniana Selecta: introducción.

Ferreirós, José (1995) "What Fermented in Me for Years": Cantor's discovery of transfinite numbers. Historia Mathematica, 22. pp. 33-42. ISSN 03150860

Ferreirós, José (2023) What are Mathematical Practices? The Web-of-Practices Approach. Bharath Sriraman (ed.), Handbook of the History and Philosophy of Mathematical Practice. pp. 2793-2819.

Franklin, James (2017) Discrete and continuous: A fundamental dichotomy in mathematics. Journal of Humanistic Mathematics, 7 (2). pp. 355-378. ISSN 2159-8118

Franklin, James (2016) Logical probability and the strength of mathematical conjectures. Mathematical Intelligencer, 38 (3). pp. 14-19. ISSN 1866-7414

G

Gardiner, Georgi and Zaharatos, Brian (2022) The Safe, the Sensitive, and the Severely Tested: A Unified Account. [Preprint]

Graßl, Björn (2025) Virtual Time and Execution of Algorithms in Static Networks. [Preprint]

H

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

K

Krause, Décio (2022) On the discrepancies between quantum logic and classical logic. [Preprint]

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

M

Martin, James V. (2021) Indeterminacy, Coincidence, and "Sourcing Newness" in Mathematical Research. [Preprint]

Martin, James V. (2020) Prolegomena to Virtue-Theoretic Studies in the Philosophy of Mathematics. [Preprint]

Massolo, Alba (2023) The normative role of logic for reasoning. THEORIA. An International Journal for Theory, History and Foundations of Science, 38 (2). pp. 137-154. ISSN 2171-679X

Mitsch, Chris (2022) Hilbert-Style Axiomatic Completion: On von Neumann and Hidden Variables in Quantum Mechanics. [Preprint]

Muñoz Pérez, M. (2023) The Continuum Hypothesis: schisms and other isms. [Preprint]

Muñoz Pérez, M. (2024) Phenomenology and independence II. [Preprint]

N

Nappo, Francesco and Cangiotti, Nicolò (2022) Reasoning by Analogy in Mathematical Practice. [Preprint]

Nefdt, Ryan M. (2018) Inferentialism and Structuralism: A Tale of Two Theories. [Preprint]

P

Papayannopoulos, Philippos (2020) Unrealistic Models for Realistic Computations: How Idealisations Help Represent Mathematical Structures and Found Scientific Computing. [Preprint]

R

Rizza, Davide (2021) Mathematical problem-solving in scientific practice. [Preprint]

S

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

Smith, Jr, James Andrew (2019) Quine on Naturalism, Nominalism, and Philosophy's Place within Science. [Preprint]

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]

Teh, Nicholas and Kapulkin, Chris (2018) BJPS Book Review of "Categories for the Working Philosopher". BJPS Book Review of "Categories for the Working Philosopher".

Tsementzis, Dimitris and Halvorson, Hans (2016) Foundations and Philosophy. [Preprint]

V

Van Fraassen, Bas C. (2020) Supervenience, Logic, and Empirical Content: Commentary on Hans Halvorson, The Logic in Philosophy of Science. [Preprint]

Veilahti, Antti (2017) Higher Theory and the Three Problems of Physics. [Preprint]

Vorobyev, Oleg Yu (2016) Postulating the theory of experience and chance as a theory of co~events (co~beings). [Preprint]

W

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

Williamson, Timothy (2018) Supervaluationism and good reasoning. THEORIA. An International Journal for Theory, History and Foundations of Science, 33 (3). pp. 521-537. ISSN 2171-679X

Z

Zakharova, Daria (2024) The Epistemology of AI-driven Science: The Case of AlphaFold. [Preprint]

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

Zhou, Nongjian (2024) A Digital Calculation Method for Propositional Logic. [Preprint]