
1555Truth, Proof and Gödelian Arguments: A Defence of Tarskian Truth in MathematicsDissertation, University of Helsinki. 2009.One of the most fundamental questions in the philosophy of mathematics concerns the relation between truth and formal proof. The position according to which the two concepts are the same is called deflationism, and the opposing viewpoint substantialism. In an important result of mathematical logic, Kurt Gödel proved in his first incompleteness theorem that all consistent formal systems containing arithmetic include sentences that can neither be proved nor disproved within that system. However, s…Read more

608The Great Gibberish  Mathematics in Western Popular CultureIn Brendan Larvor (ed.), Mathematical Cultures: The London Meetings 20122014, Springer International Publishing. pp. 409437. 2016.In this paper, I study how mathematicians are presented in western popular culture. I identify five stereotypes that I test on the bestknown modern movies and television shows containing a significant amount of mathematics or important mathematician characters: (1) Mathematics is highly valued as an intellectual pursuit. (2) Little attention is given to the mathematical content. (3) Mathematical practice is portrayed in an unrealistic way. (4) Mathematicians are asocial and unable to enjoy nor…Read more

2Assessing the “Empirical Philosophy of Mathematics”Discipline filosofiche. 25 (1): 111130. 2015.In the new millennium there have been important empirical developments in the philosophy of mathematics. One of these is the socalled “Empirical Philosophy of Mathematics” of Buldt, Löwe, Müller and MüllerHill, which aims to complement the methodology of the philosophy of mathematics with empirical work. Among other things, this includes surveys of mathematicians, which EPM believes to give philosophically important results. In this paper I take a critical look at the sociological part of EP…Read more

1Bootstrapping of integer concepts: the stronger deviantinterpretation challengeSynthese 124. forthcoming.Beck presents an outline of the procedure of bootstrapping of integer concepts, with the purpose of explicating the account of Carey. According to that theory, integer concepts are acquired through a process of inductive and analogous reasoning based on the object tracking system, which allows individuating objects in a parallel fashion. Discussing the bootstrapping theory, Beck dismisses what he calls the "deviantinterpretation challenge"—the possibility that the bootstrapped integer sequence …Read more

University of HelsinkiDepartment of Philosophy (Theoretical Philosophy, Practical Philosophy, Philosophy in Swedish)Postdoctoral fellow
University of Helsinki
Department of Philosophy (Theoretical Philosophy, Practical Philosophy, Philosophy in Swedish)
PhD, 2009
Areas of Interest
Logic and Philosophy of Logic 
Philosophy of Mathematics 