
78Cognitive processing of spatial relations in Euclidean diagramsActa Psychologica 205 110. 2020.The cognitive processing of spatial relations in Euclidean diagrams is central to the diagrambased geometric practice of Euclid's Elements. In this study, we investigate this processing through two dichotomies among spatial relations—metric vs topological and exact vs coexact—introduced by Manders in his seminal epistemological analysis of Euclid's geometric practice. To this end, we carried out a twopart experiment where participants were asked to judge spatial relations in Euclidean diagram…Read more

71Mathematical inference and logical inferenceReview of Symbolic Logic 11 (4): 665704. 2018.The deviation of mathematical proof—proof in mathematical practice—from the ideal of formal proof—proof in formal logic—has led many philosophers of mathematics to reconsider the commonly accepted view according to which the notion of formal proof provides an accurate descriptive account of mathematical proof. This, in turn, has motivated a search for alternative accounts of mathematical proof purporting to be more faithful to the reality of mathematical practice. Yet, in order to develop and ev…Read more

65Prolegomena to a cognitive investigation of Euclidean diagrammatic reasoningJournal of Logic, Language and Information 22 (4): 421448. 2013.Euclidean diagrammatic reasoning refers to the diagrammatic inferential practice that originated in the geometrical proofs of Euclid’s Elements. A seminal philosophical analysis of this practice by Manders (‘The Euclidean diagram’, 2008) has revealed that a systematic method of reasoning underlies the use of diagrams in Euclid’s proofs, leading in turn to a logical analysis aiming to capture this method formally via proof systems. The central premise of this paper is that our understanding of Eu…Read more

42Mathematical rigor, proof gap and the validity of mathematical inferencePhilosophia Scientiæ 18 (1): 726. 2014.Mathematical rigor is commonly formulated by mathematicians and philosophers using the notion of proof gap: a mathematical proof is rigorous when there is no gaps in the mathematical reasoning of the proof. Any philosophical approach to mathematical rigor along this line requires then an account of what a proof gap is. However, the notion of proof gap makes sense only relatively to a given conception of valid mathematical reasoning, i.e., to a given conception of the validity of mathematical in…Read more

39The interrogative model of inquiry meets dynamic epistemic logicsSynthese 192 (6): 16091642. 2015.The Interrogative Model of Inquiry and Dynamic Epistemic Logics are two central paradigms in formal epistemology. This paper is motivated by the observation of a significant complementarity between them: on the one hand, the IMI provides a framework for investigating inquiry represented as an idealized game between an Inquirer and Nature, along with an account of the interaction between questions and inferences in informationseeking processes, but is lacking a formulation in the multiagent cas…Read more

31Logics of questionsSynthese 192 (6): 15811584. 2015.Traditional logical theories are concerned with the characterization of valid reasoning. For such logical theories, the main object of investigation is the notion of entailment, a notion that is construed as a relation between two or more declarative statements, dictating when one of them can be legitimately inferred from the others.In the course of the previous century, however, and especially since the 1970s, the scope of logical theories has become much broader. In particular, logic is no lon…Read more

27Mathematical rigor and proofReview of Symbolic Logic 141. forthcoming.Mathematical proof is the primary form of justification for mathematical knowledge, but in order to count as a proper justification for a piece of mathematical knowl edge, a mathematical proof must be rigorous. What does it mean then for a mathematical proof to be rigorous? According to what I shall call the standard view, a mathematical proof is rigorous if and only if it can be routinely translated into a formal proof. The standard view is almost an orthodoxy among contemporary mathematicians…Read more

24Philosophy of mathematical practice: A primer for mathematics educatorsZDM Mathematics Education. forthcoming.In recent years, philosophical work directly concerned with the practice of mathematics has intensified, giving rise to a movement known as the philosophy of mathematical practice . In this paper we offer a survey of this movement aimed at mathematics educators. We first describe the core questions philosophers of mathematical practice investigate as well as the philosophical methods they use to tackle them. We then provide a selective overview of work in the philosophy of mathematical practice …Read more

23A dynamic logic of interrogative inquiryIn Can Başkent (ed.), Perspectives on Interrogative Models of Inquiry: Developments in Inquiry and Questions, Springer. pp. 129161. 2015.We propose a dynamicepistemic analysis of the different epistemic operations constitutive of the process of interrogative inquiry, as described by Hintikka’s Interrogative Model of Inquiry (IMI). We develop a dynamic logic of questions for representing interrogative steps, based on Hintikka’s treatment of questions in the IMI, along with a dynamic logic of inferences for representing deductive steps, based on the tableau method. We then merge these two systems into a dynamic logic of interrogat…Read more

20Inquiry in conversation: Towards a modelling in inquisitive pragmaticsLogique Et Analyse 228 637661. 2014.Conversation is one of the main contexts in which we are conducting inquiries. Yet, little attention has been paid so far in pragmatics or epistemology to the process of inquiry in conversation. In this paper, we propose to trigger such an investigation through the development of a formal modelling based on inquisitive pragmatics—a framework offering a semantic representation of questions and answers, along with an analysis of the pragmatic principles that govern questioning and answering moves …Read more

11Plans and planning in mathematical proofsReview of Symbolic Logic 140. forthcoming.In practice, mathematical proofs are most often the result of careful planning by the agents who produced them. As a consequence, each mathematical proof inherits a plan in virtue of the way it is produced, a plan which underlies its “architecture” or “unity”. This paper provides an account of plans and planning in the context of mathematical proofs. The approach adopted here consists in looking for these notions not in mathematical proofs themselves, but in the agents who produced them. The sta…Read more

5Universal intuitions of spatial relations in elementary geometryJournal of Cognitive Psychology 29 (3): 269278. 2017.Spatial relations are central to geometrical thinking. With respect to the classical elementary geometry of Euclid’s Elements, a distinction between coexact, or qualitative, and exact, or metric, spatial relations has recently been advanced as fundamental. We tested the universality of intuitions of these relations in a group of Senegalese and Dutch participants. Participants performed an oddoneout task with stimuli that in all but one case display a particular spatial relation between geomet…Read more

Poincaré and Prawitz on mathematical inductionIn Pavel Arazim & Michal Dancak (eds.), Logica Yearbook 2014, College Publications. pp. 149164. 2015.Poincaré and Prawitz have both developed an account of how one can acquire knowledge through reasoning by mathematical induction. Surprisingly, their two accounts are very close to each other: both consider that what underlies reasoning by mathematical induction is a certain chain of inferences by modus ponens ‘moving along’, so to speak, the wellordered structure of the natural numbers. Yet, Poincaré’s central point is that such a chain of inferences is not sufficient to account for the know…Read more
Areas of Specialization
Philosophy of Mathematics 
Logic and Philosophy of Logic 
Mathematical Cognition 