Journal Articles


Proofs, Reliable Processes, and Justification in Mathematics
2021. The British Journal for the Philosophy of Science, to appear. (preprint)

Probabilistic Proofs, Lottery Propositions, and Mathematical Knowledge
2021. The Philosophical Quarterly, to appear. (preprint, doi)

Counterexample Search in Diagram-Based Geometric Reasoning
(with John Mumma and Marie Amalric)
2021. Cognitive Science, to appear. (preprint, supplementary materials)

Plans and Planning in Mathematical Proofs
(with Rebecca Morris)
2020. The Review of Symbolic Logic, to appear. (preprint, doi)

Philosophy of Mathematical Practice: A Primer for Mathematics Educators
(with Rebecca Morris)
2020. ZDM Mathematics Education, 52, 1113-1126. (preprint, doi)

Cognitive Processing of Spatial Relations in Euclidean Diagrams
(with Milan N. A. van der Kuil, John Mumma, and Ineke J. M. van der Ham)
2020. Acta Psychologica, 205, 103019. (preprint, doi)

Mathematical Rigor and Proof 
2019. The Review of Symbolic Logic, to appear. (preprint, doi)

Mathematical Inference and Logical Inference 
2018. The Review of Symbolic Logic, 11(4), 665-704. (doi)

Universal Intuitions of Spatial Relations in Elementary Geometry
(with Ineke J. M. van der Ham and John Mumma)
2017. Journal of Cognitive Psychology, 29(3), 269-278. (doi, pdf)

Logics of Questions
(with Floris Roelofsen)
2015. Synthese, 192(6), 1581-1584. (doi, pdf)

The Interrogative Model of Inquiry meets Dynamic Epistemic Logics
2015. Synthese, 192(6), 1609-1642. (doi)

Inquiry in Conversation: Towards a Modelling in Inquisitive Pragmatics
2014. Logique & Analyse, 228, 637-661. (doi)

Mathematical Rigor, Proof Gap and the Validity of Mathematical Inference
2014. Philosophia Scientiae, 18(1), 7-26. (doi, pdf)

Prolegomena to a Cognitive Investigation of Euclidean Diagrammatic Reasoning
(with John Mumma)
2013. Journal of Logic, Language and Information, 22(4), 421-448. (doi)


Book Chapters


Au-Delà des Preuves Formelles : Philosophie de la Pratique Mathématique
(with Valeria Giardino)
2018. In A. Arana, M. Panza, F. Poggiolesi, and P. Wagner (eds.), Précis de Philosophie des Mathématiques et de le Logique, Editions Ellipses, Paris, to appear.

A Dynamic Logic of Interrogative Inquiry
2015. In C. Başkent (ed.), Perspectives on Interrogative Models of Inquiry: Developments in Inquiry and Questions, Springer, Dordrecht, 129-161. (doi)


Conference Proceedings


Poincaré and Prawitz on Mathematical Induction
2014. In P. Arazim and M. Dancak (eds.), Logica Yearbook 2014, College Publications, London, 149-164. (doi, pdf)

Euclid’s Diagrammatic Logic and Cognitive Science
(with John Mumma)
2012. In J. Szymanik and R. Verbrugge (eds.), Proceeding of the Logic and Cognition Workshop at ESSLLI 2012, Ceur-ws.org proceedings, online publication. (doi, pdf)


Book Reviews


Review of Markus Knauff, Space to Reason: A Spatial Theory of Human Thought
2015. Künstliche Intelligenz, 29(3), 307-309. (doi)