
182Review of C. Mortensen, Inconsistent Geometry (review)Philosophia Mathematica 20 (3): 365372. 2012.

136

133Ross' paradox is an impossible supertaskBritish Journal for the Philosophy of Science 45 (2): 743748. 1994.

88Zeno's paradoxes and the tile argumentPhilosophy of Science 54 (2): 295302. 1987.A solution of the zeno paradoxes in terms of a discrete space is usually rejected on the basis of an argument formulated by hermann weyl, The soCalled tile argument. This note shows that, Given a set of reasonable assumptions for a discrete geometry, The weyl argument does not apply. The crucial step is to stress the importance of the nonzero width of a line. The pythagorean theorem is shown to hold for arbitrary right triangles

86Mathematical arguments in contextFoundations of Science 14 (12): 4557. 2009.Except in very poor mathematical contexts, mathematical arguments do not stand in isolation of other mathematical arguments. Rather, they form trains of formal and informal arguments, adding up to interconnected theorems, theories and eventually entire fields. This paper critically comments on some common views on the relation between formal and informal mathematical arguments, most particularly applications of Toulmin’s argumentation model, and launches a number of alternative ideas of presenta…Read more

78The Contributions of Logic to the Foundations of Physics: Foreword (review)Studia Logica 95 (12): 13. 2010.

73A Defense of Strict FinitismConstructivist Foundations 7 (2): 141149. 2012.Context: Strict finitism is usually not taken seriously as a possible view on what mathematics is and how it functions. This is due mainly to unfamiliarity with the topic. Problem: First, it is necessary to present a “decent” history of strict finitism (which is now lacking) and, secondly, to show that common counterarguments against strict finitism can be properly addressed and refuted. Method: For the historical part, the historical material is situated in a broader context, and for the argume…Read more

63Review of C. Mortensen, Inconsistent Mathematics (review)Philosophia Mathematica 7 (2): 202212. 1999.

55A Defense of Strict FinitismConstructivist Foundations 7 (2): 141149. 2012.Context: Strict finitism is usually not taken seriously as a possible view on what mathematics is and how it functions. This is due mainly to unfamiliarity with the topic. Problem: First, it is necessary to present a “decent” history of strict finitism and, secondly, to show that common counterarguments against strict finitism can be properly addressed and refuted. Method: For the historical part, the historical material is situated in a broader context, and for the argumentative part, an evalua…Read more

53Review of P. Mancosu, K. F. Jørgensen, and S. A. Pedersen (eds.), Visualization, Explanation and Reasoning Styles in Mathematics (review)Philosophia Mathematica 14 (3): 378391. 2006.What is philosophy of mathematics and what is it about? The most popular answer, I suppose, to this question would be that philosophers should provide a justification for our presently most cherished mathematical theories and for the most important tool to develop such theories, namely logicomathematical proof. In fact, it does cover a large part of the activity of philosophers that think about mathematics. Discussions about the merits and faults of classical logic versus one or other ‘deviant’…Read more

48Epistemic Injustice in MathematicsSynthese 130. forthcoming.We investigate how epistemic injustice can manifest itself in mathematical practices. We do this as both a social epistemological and virtuetheoretic investigation of mathematical practices. We delineate the concept both positively – we show that a certain type of folk theorem can be a source of epistemic injustice in mathematics – and negatively by exploring cases where the obstacles to participation in a mathematical practice do not amount to epistemic injustice. Having explored what epistemi…Read more

47Pi on Earth, or Mathematics in the Real WorldErkenntnis 68 (3): 421435. 2008.We explore aspects of an experimental approach to mathematical proof, most notably number crunching, or the verification of subsequent particular cases of universal propositions. Since the rise of the computer age, this technique has indeed conquered practice, although it implies the abandonment of the ideal of absolute certainty. It seems that also in mathematical research, the qualitative criterion of effectiveness, i.e. to reach one’s goals, gets increasingly balanced against the quantitative…Read more

46The Collatz conjecture. A case study in mathematical problem solvingLogic and Logical Philosophy 14 (1): 723. 2005.In previous papers (see Van Bendegem [1993], [1996], [1998], [2000], [2004], [2005], and jointly with Van Kerkhove [2005]) we have proposed the idea that, if we look at what mathematicians do in their daily work, one will find that conceiving and writing down proofs does not fully capture their activity. In other words, it is of course true that mathematicians spend lots of time proving theorems, but at the same time they also spend lots of time preparing the ground, if you like, to construct a …Read more

43Dirk Van Dalen, mystic, geometer, and intuitionist. The life of L.e.J. Brouwer, volume 1: The dawning revolutionStudia Logica 74 (3): 469471. 2003.

42Inconsistency in mathematics and the mathematics of inconsistencySynthese 191 (13): 30633078. 2014.No one will dispute, looking at the history of mathematics, that there are plenty of moments where mathematics is “in trouble”, when paradoxes and inconsistencies crop up and anomalies multiply. This need not lead, however, to the view that mathematics is intrinsically inconsistent, as it is compatible with the view that these are just transient moments. Once the problems are resolved, consistency (in some sense or other) is restored. Even when one accepts this view, what remains is the question…Read more

40Proofs and arguments: The special case of mathematicsPoznan Studies in the Philosophy of the Sciences and the Humanities 84 (1): 157169. 2005.Most philosophers still tend to believe that mathematics is basically about producing formal proofs. A consequence of this view is that some aspects of mathematical practice are entirely lost from view. My contention is that it is precisely in those aspects that similarities can be found between practices in the exact sciences and in mathematics. Hence, if we are looking for a (more) unified treatment of science and mathematics it is necessary to incorporate these elements into our view of what …Read more

30Schoonheid in de wiskunde: Birkhoff revisitedTijdschrift Voor Filosofie 60 (1): 106130. 1998.Everyone is familiar with the measure of beauty that has been proposed by Birkhoff, the famous formula M = O/C. Although I show that the formula in its original form cannot be maintained, I present a reinterpretation that adapts the formula for measuring the beauty of mathematical proofs. However, this type of measure is not the only aesthetic element in mathematics. There exists a 'romantic' side as well, to use the term introduced by François Le Lionnais. Thus, a more complex proposal of mathe…Read more

29NonFormal Properties of Real Mathematical ProofsPSA: Proceedings of the Biennial Meeting of the Philosophy of Science Association 1988 249254. 1988.The heuristics and strategies presented in Lakatos' Proofs and Refutations are wellknown. However they hardly present the whole story as many authors have shown. In this paper a recent, rather spectacular, event in the history of mathematics is examined to gather evidence for two new strategies. The first heuristic concerns the expectations mathematicians have that a statement will be proved using given methods. The second heuristic tries to make sense of the mathematicians' notion of the quali…Read more

28Why the largest number imaginable is still a finite numberLogique Et Analyse 42 (165166). 1999.

27Significs and mathematics: Creative and other subjectsSemiotica 2013 (196): 307323. 2013.Journal Name: Semiotica  Journal of the International Association for Semiotic Studies / Revue de l'Association Internationale de Sémiotique Volume: 2013 Issue: 196 Pages: 307323

27Foundations of Mathematics or Mathematical Practice: Is One Forced to Choose?Philosophica 43. 1989.

24The Unreasonable Richness of MathematicsJournal of Cognition and Culture 4 (34): 525549. 2004.

24The Interplay of Psychology and Mathematics Education: From the Attraction of Psychology to the Discovery of the SocialJournal of Philosophy of Education 46 (3): 370385. 2012.It is a rather safe statement to claim that the social dimensions of the scientific process are accepted in a fair share of studies in the philosophy of science. It is a somewhat safe statement to claim that the social dimensions are now seen as an essential element in the understanding of what human cognition is and how it functions. But it would be a rather unsafe statement to claim that the social is fully accepted in the philosophy of mathematics. And we are not quite sure what kind of state…Read more

24Feng Ye. Strict Finitism and the Logic of Mathematical ApplicationsPhilosophia Mathematica 24 (2): 247256. 2016.

Vrije Universiteit BrusselRegular Faculty

University of GhentRegular Faculty
Areas of Specialization
Logic and Philosophy of Logic 
Philosophy of Mathematics 