Henrik Kragh Sørensen

The “practice turn” in philosophy of science has strengthened the connections between philosophy and scientific practice. Apart from reinvigorating philosophy of science, this also increases the relevance of philosophical research for science, society, and science education. In this paper, we reflect on our extensive experience with teaching mandatory philosophy of science courses to science students from a range of programs at University of Copenhagen. We highlight some of the lessons we have learned in making philosophy of science “fit for teaching” outside of philosophy circles by taking selected cases from the students’ own field as the starting point. We argue for adapting philosophy of science teaching to particular audiences of science students, and discuss the benefits of drawing on research within science education to inform curriculum and course design. This involves reconsidering teaching resources, assumptions about students, intended learning outcomes, and teaching formats. We also argue that to make philosophy of science relevant and engaging to science students, it is important to consider their potential career trajectories. By anticipating future contexts and situations in which methodological, conceptual, and ethical questions could be relevant, philosophy of science can demonstrate its value in the education of science students.

Mathematicians appear to have quite high standards for when they will rely on testimony. Many mathematicians require that a number of experts testify that they have checked the proof of a result p before they will rely on p in their own proofs without checking the proof of p. We examine why this is. We argue that for each expert who testifies that she has checked the proof of p and found no errors, the likelihood that the proof contains no substantial errors increases because different experts will validate the proof in different ways depending on their background knowledge and individual preferences. If this is correct, there is much to be gained for a mathematician from requiring that a number of experts have checked the proof of p before she will rely on p in her own proofs without checking the proof of p. In this way a mathematician can protect her own work and the work of others from errors. Our argument thus provides an explanation for mathematicians’ attitude towards relying on testimony.

From a purely formalist viewpoint on the philosophy of mathematics, experiments cannot (and should not) play a role in warranting mathematical statements but must be confined to heuristics. Yet, due to the incorporation of new mathematical methods such as computer-assisted experimentation in mathematical practice, experiments are now conducted and used in a much broader range of epistemic practices such as concept formation, validation, and communication. In this article, we combine corpus studies and qualitative analyses to assess and categorize the epistemic roles experiments are seen—by mathematicians—to have in actual mathematical practice. We do so by text-mining a corpus of reviews from the _Mathematical Reviews_, which include the indicator word “experiment”. Our qualitative, grounded classification of samples from this corpus allows us to explore the various roles played by experiments. We thus identify instances where experiments function as references to established knowledge, as tools for heuristics or exploration, as epistemic warrants, as communication or pedagogy, and instances simply proposing experiments. Focusing on the role of experiments as epistemic warrants, we show through additional sampling that in some fields of mathematics, experiments can warrant theorems as well as methods. We also show that the expressed lack of experiments by reviewers suggests concordant views that experiments could have provided epistemic warrants. Thus, our combination of corpus studies and qualitative analyses has added a typology of roles of experiments in mathematical practice and shown that experiments can and do play roles as epistemic warrants depending on the mathematical field.

Although the use of mathematical models is ubiquitous in modern science, the involvement of mathematical modeling in the sciences is rarely seen as cases of interdisciplinary research. Often, mathematics is “applied” in the sciences, but mathematics also features in open-ended, truly interdisciplinary collaborations. The present paper addresses the role of mathematical models in the open-ended process of conceptualizing new phenomena. It does so by suggesting a notion of cultures of mathematization, stressing the potential role of the mathematical model as a boundary object around which negotiations of different desiderata can take place. This framework is then illustrated by a case study of the early efforts to produce a mathematical model for quasi-crystals in the first two decades after Dan Shechtman’s discovery of this new phenomenon in 1984.

We present a case study of how mathematicians write for mathematicians. We have conducted interviews with two research mathematicians, the talented PhD student Adam and his experienced supervisor Thomas, about a research paper they wrote together. Over the course of 2 years, Adam and Thomas revised Adam’s very detailed first draft. At the beginning of this collaboration, Adam was very knowledgeable about the subject of the paper and had good presentational skills but, as a new PhD student, did not yet have experience writing research papers for mathematicians. Thus, one main purpose of revising the paper was to make it take into account the intended audience. For this reason, the changes made to the initial draft and the authors’ purpose in making them provide a window for viewing how mathematicians write for mathematicians. We examined how their paper attracts the interest of the reader and prepares their proofs for validation by the reader. Among other findings, we found that their paper prepares the proofs for two types of validation that the reader can easily switch between.

During the first half of the nineteenth century, mathematical analysis underwent a transition from a predominantly formula-centred practice to a more concept-centred one. Central to this development was the reorientation of analysis originating in Augustin-Louis Cauchy's (1789–1857) treatment of infinite series in his Cours d’analyse. In this work, Cauchy set out to rigorize analysis, thereby critically examining and reproving central analytical results. One of Cauchy's first and most ardent followers was the Norwegian Niels Henrik Abel (1802–1829) who vowed to shed some light on the vast darkness in analysis.This paper investigates some important aspects of Abel's contribution to the reorientation in analysis. In particular, it stresses the role for critical revision in the process of rigorization. By critically examining past practice, the new practice sought to explain the relative success of the previous—now outdated—approach. This is illustrated by discussing a number of issues related to Abel's new proof of the binomial theorem (1826) including his reactions to the exception that he encountered to one of the central theorems of Cauchy's theory.Following this discussion, the formation of new concepts as the result of critical revisions is illustrated by analysing the early history of the concept of absolute convergence. Thereby, it is shown how a new concept was distilled, investigated, put to use and eventually superseded.

Since 2004, it has been mandated by law that all Danish undergraduate university programmes have to include a compulsory course on the philosophy of science for that particular program. At the Faculty of Science and Technology, Aarhus University, the responsibility for designing and running such courses were given to the Centre for Science Studies, where a series of courses were developed aiming at the various bachelor educations of the Faculty. Since 2005, the Centre has been running a dozen different courses ranging from mathematics, computer science, physics, chemistry over medical chemistry, biology, molecular biology to sports science, geology, molecular medicine, nano science, and engineering. We have adopted a teaching philosophy of using historical and contemporary case studies to anchor broader philosophical discussions in the particular subject discipline under consideration. Thus, the courses are tailored to the interests of the students of the particular programme whilst aiming for broader and important philosophical themes as well as addressing the specific mandated requirements to integrate philosophy, some introductory ethics, and some institutional history. These are multiple and diverse purposes which cannot be met except by compromise. In this short presentation, we discuss our ambitions for using case studies to discuss philosophical issues and the relation between the specific philosophical discussions in the disciplines and the broader themes of philosophy of science. We give examples of the cases chosen to discuss various issues of scientific knowledge, the role of experiments, the relations between mathematics and science, and the issues of responsibility and trust in scientific results. Finally, we address the issue of how and why science students can be interested in and benefit from mandatory courses in the philosophy of their subject.

200 years ago, on August 5, 1802, Niels Henrik Abel was born on Finnøy near Stavanger on the Norwegian west coast. During a short life span, Abel contributed to a deep transition in mathematics in which concepts replaced formulae as the basic objects of mathematics. The transformation of mathematics in the 1820s and its manifestation in Abel’s works are the themes of the author’s PhD thesis. After sketching the formative instances in Abel’s well-known biography, this article illustrates two aspects of the transformation which concern the introduction of concept based mathematics and the related shift in standards of mathematical rigor. Furthermore, the article outlines some of the many bicentennial celebrations in Norway and gives a short, thematic introduction to the literature on Abel and his work.

In the present paper, I go beyond these examples by bringing into play an example that I nd more experimental in nature, namely that of the use of the so-called PSLQ algorithm in researching integer relations between numerical constants. It is the purpose of this paper to combine a historical presentation with a preliminary exploration of some philosophical aspects of the notion of experiment in experimental mathematics. This dual goal will be sought by analysing these aspects as they are presented by some of the protagonists of the eld and discussing them using notions from contemporary philosophy of science.