Institut d'Histoire et de Philosophie des Sciences et des Techniques

Mathematical Explanations and Axioms as Rules

Abstract This paper bridges two distinct traditions – philosophy of mathematics and proof theory – to provide a formal framework for explanatory proofs in mathematics. We focus on explanatory proofs that uncover the grounds of mathematical theorems, and we formalize their structu...

Evaluating the Validity of Model Organisms: A Review and a New Framework for Biologists

Model organisms are central to biological research. Living organisms are models in the sense that the knowledge gained from their study is meant to be generalized. For example, experiments conducted on Drosophila or nematodes bring general knowledge on phenomena such as cell migr...