Michael Weisberg and Kenneth Reisman argue that the Volterra Principle can be derived from multiple predator-prey models and that, therefore, the Volterra Principle is a prime example for robustness analysis. In the current article, I give new results regarding the Volterra Principle, extending Weisberg’s and Reisman’s work, and I discuss the consequences of these results for robustness analysis. I argue that we do not end up with multiple, independent models but rather with one general model. I identify the kind of (...) situation in which this generalization approach may occur, and I analyze the generalized Volterra Principle from an explanatory perspective. (shrink)

In this paper we give an account of the rise and development of coalgebraic thinking in mathematics and computer science as an illustration of the way mathematical frameworks may be transformed. Originating in a foundational dispute as to the correct way to characterise sets, logicians and computer scientists came to see maximizing and minimizing extremal axiomatisations as a dual pair, each necessary to represent entities of interest. In particular, many important infinitely large entities can be characterised in terms of such (...) axiomatisations. We consider reasons for the delay in arriving at the coalgebraic framework, despite many unrecognised manifestations occurring years earlier, and discuss an apparent asymmetry in the relationship between algebra and coalgebra. (shrink)

Dans cet article je propose d'exprimer et de défendre une conception des pratiques et du domaine de discours mathématiques qui soit sensible, d'une part, au pluralisme des relations entre pratiques inférentielles et intérêts, et d'autre part, à la structure objective et déterminante des concepts mathématiques. J'ébauche tout d'abord une caractérisation générale des pratiques, pour ensuite préciser certains phénomènes propres aux pratiques mathématiques. Suit un recensement des idées qui se dégagent des arguments pluralistes, et de celles qui sont à retenir. Mais (...) je défends par la suite la nécessité d'une forme de réalisme mathématique, qui toutefois ne peut être le réalisme d'objets que prônent les partisans de l'argument d'indispensabilité. Je défends plutôt un réalisme des concepts, soutenu par ce que je baptise l'« argument de la contrainte ». (shrink)