‘Type’ in biology is a polysemous term. In a landmark article, Paul Farber (Journal of the History of Biology 9(1): 93–119, 1976) argued that this deceptively plain term had acquired three different meanings in early nineteenth century natural history alone. ‘Type’ was used in relation to three distinct type concepts, each of them associated with a different set of practices. Important as Farber’s analysis has been for the historiography of natural history, his account conceals an important dimension of early nineteenth (...) century ‘type talk.’ Farber’s taxonomy of type concepts passes over the fact that certain uses of ‘type’ began to take on a new meaning in this period. At the closing of the eighteenth century, terms like ‘type specimen,’ ‘type species,’ and ‘type genus’ were universally recognized as referring to typical, model members of their encompassing taxa. But in the course of the nineteenth century, the same terms were co-opted for a different purpose. As part of an effort to drive out nomenclatural synonymy – the confusing state of a taxon being known to different people by different names – these terms started to signify the fixed and potentially atypical name-bearing elements of taxa. A new type concept was born: the nomenclatural type. In this article, I retrace this perplexing nineteenth century shift in meaning of ‘type.’ I uncover the nomenclatural disorder that the new nomenclatural type concept dissolved, and expose the conceptual confusion it left in its tracks. What emerges is an account of how synonymy was suppressed through the coinage of a homonym. (shrink)

The vision of natural kinds that is most common in the modern philosophy of biology, particularly with respect to the question whether species and other taxa are natural kinds, is based on a revision of the notion by Mill in A System of Logic. However, there was another conception that Whewell had previously captured well, which taxonomists have always employed, of kinds as being types that need not have necessary and sufficient characters and properties, or essences. These competing views employ (...) different approaches to scientific methodologies: Mill’s class-kinds are not formed by induction but by deduction, while Whewell’s type-kinds are inductive. More recently, phylogenetic kinds (clades, or monophyletic-kinds) are inductively projectible, and escape Mill’s strictures. Mill’s version represents a shift in the notions of kinds from the biological to the physical sciences. (shrink)

Rationale: The new area of health system research requires a revision of the taxonomy of scientific knowledge that may facilitate a better understanding and representation of complex health phenomena in research discovery, corroboration and implementation. Method: A position paper by an expert group following and iterative approach. Results: ‘Scientific evidence’ should be differentiated from ‘elicited knowledge’ of experts and users, and this latter typology should be described beyond the traditional qualitative framework. Within this context ‘framing of scientific knowledge’ is defined (...) as a group of studies of prior expert knowledge specifically aimed at generating formal scientific frames. To be distinguished from other unstructured frames, FSK must be explicit, standardized, based on the available evidence, agreed by a group of experts and subdued to the principles of commensurability, transparency for corroboration and transferability that characterize scientific research. A preliminary typology of scientific framing studies is presented. This typology includes, among others, health declarations, position papers, expert-based clinical guides, conceptual maps, classifications, expert-driven health atlases and expert-driven studies of costs and burden of illness. Conclusions: This grouping of expert-based studies constitutes a different kind of scientific knowledge and should be clearly differentiated from ‘evidence’ gathered from experimental and observational studies in health system research. (shrink)

In his book, Physical Relativity, Harvey Brown challenges the orthodox view that special relativity is preferable to those parts of Lorentz's classical ether theory it replaced because it revealed various phenomena that were given a dynamical explanation in Lorentz's theory to be purely kinematical. I want to defend this orthodoxy. The phenomena most commonly discussed in this context in the philosophical literature are length contraction and time dilation. I consider three other phenomena of this kind that played a role in (...) the early reception of special relativity in the physics literature: the Fresnel drag effect in the Fizeau experiment, the velocity dependence of electron mass in beta-ray deflection experiments by Kaufmann and others, and the delicately balanced torques on a moving charged capacitor in the Trouton-Noble experiment. I offer historical sketches of how Lorentz's dynamical explanations of these phenomena came to be replaced by their now standard kinematical explanations. I then take up the philosophical challenge posed by the work of Harvey Brown and Oliver Pooley and clarify how those kinematical explanations work. (shrink)

French abstract: L’article étudie la relation de Peirce à Comte, en partant des critiques formulées dans ses écrits de jeunesse. Son enjeu est double : il relève d’abord d’une question d’histoire de la philosophie étonnamment peu traitée, alors même que Peirce lit, commente et critique Comte. Le second enjeu est épistémologique et métaphysique : Peirce voit dans la théorie comtienne des hypothèses une position proche du pragmatisme qu’il développe, mais grevée de présupposés nominalistes qui la rendent finalement intenable, à moins (...) que l’on n’en adopte une lecture « charitable ». La confrontation avec Comte semble alors être l’occasion privilégiée d’une explicitation de son propre pragmatisme. -/- English version (see link below on Cairn international) This article discusses Peirce’s relationship to Comte, based on criticisms made by Peirce in his early writings. It has a twofold purpose : firstly, addressing an important question in the history of philosophy that is surprisingly overlooked, even if Peirce reads, comments and criticizes Comte. The second issue is epistemological and metaphysical : Peirce sees in Comte’s theory of hypotheses a position close to the pragmatism he develops, but burdened with nominalist presuppositions that ultimately make it untenable, unless one adopts a “charitable” reading of it. The confrontation with Comte then seems to be a privileged opportunity, for Peirce, to clarify his own pragmatism. (shrink)

Primarily between 1833 and 1840, William Whewell attempted to accomplish what natural philosophers and scientists since at least Galileo had failed to do: to provide a systematic and broad-ranged study of the tides and to attempt to establish a general scientific theory of tidal phenomena. I document the close interaction between Whewell’s philosophy of science and his scientific practice as a tidologist. I claim that the intertwinement between Whewell’s methodology and his tidology is more fundamental than has hitherto been documented.Keywords: (...) William Whewell; Tidology; History of HPS; Scientific methodology; Whewell papers. (shrink)

In this essay, I call attention to Kant’s and Whewell’s attempt to provide bridging principles between a priori principles and scientific laws. Part of Kant’s aim in the Opus postumum (ca. 1796-1803) was precisely to bridge the gap between the metaphysical foundations of natural science (on the Metaphysical Foundations of Natural Science (1786) see section 1) and physics by establishing intermediary concepts or ‘Mittelbegriffe’ (henceforth this problem is referred to as ‘the bridging-problem’). I argue that the late-Kant attempted to show (...) that the concept of ‘moving force’, an intermediary concept derived from a priori principles, could be given empirical content so that concrete scientific knowledge is arrived at. Thus, the late-Kant wished not only to show that proper scientific laws are necessary a priori (as he had shown in the Metaphysical Foundations of Natural Science) but also that intermediary concepts could be derived from a priori principles which, when interpreted empirically, resulted in the specific forces as established by physics (see section 2). Of course, William Whewell never knew about Kant’s Opus postumum and his attempt to bridge the gap between the metaphysical foundations of science and physics. However, it is striking that Whewell had similar concerns about the Critique of Pure Reason and the Metaphysical Foundations of Natural Science as Kant himself. According to Whewell, the Kantian project was incomplete because it did not show how ‘modifications’ (in the sense of concretizations) of a priori principles could result in empirical laws (section 3). Next, it will be argued, by taking into account several of Whewell’s philosophical notebooks which have scarcely been studied systematically, that Whewell’s doctrine of Fundamental Ideas grew out of his dissatisfaction with the Kantian project with respect to the bridging problem and that his own philosophical position should be seen as an attempt to bypass the bridging-problem. (shrink)

William Whewell’s account of induction differs dramatically from the one familiar from twentieth-century debates. I argue that Whewell’s induction can be usefully understood by comparing the difference between his views and more standard accounts to contemporary debates between semantic and syntactic views of theories: rather than understanding inductive inference as capturing a relationship between sentences or propositions, Whewell understands it as a method for constructing a model of the world. The difference between this view and the more familiar picture of (...) induction is reflected in other aspects of Whewell’s philosophy of science, particularly his treatment of consilience and the order of discovery. (shrink)

This thesis offers a naturalist revision of Alain Badiou’s philosophy. This goal is pursued through an encounter of Badiou’s mathematical ontology and theory of truth with contemporary trends in philosophy of mathematics and philosophy of science. I take issue with Badiou’s inability to elucidate the link between the empirical and the ontological, and his residual reliance on a Heideggerian project of fundamental ontology, which undermines his own immanentist principles. I will argue for both a bottom-up naturalisation of Badiou’s philosophical approach (...) to mathematics and a top-down naturalisation. Articulating my particular understanding of what realism and naturalism should commit us to, I propose a creative fusion of Badiou’s attention to metamathematical results with a structural-informational metaphysics, proposing a ‘matherialism’ uniting the more daring speculative insights of the former with the naturalist and empiricist commitments motivating the latter. (shrink)

Written by experts in the field, this volume presents a comprehensive investigation into the relationship between argumentation theory and the philosophy of mathematical practice. Argumentation theory studies reasoning and argument, and especially those aspects not addressed, or not addressed well, by formal deduction. The philosophy of mathematical practice diverges from mainstream philosophy of mathematics in the emphasis it places on what the majority of working mathematicians actually do, rather than on mathematical foundations. -/- The book begins by first challenging the (...) assumption that there is no role for informal logic in mathematics. Next, it details the usefulness of argumentation theory in the understanding of mathematical practice, offering an impressively diverse set of examples, covering the history of mathematics, mathematics education and, perhaps surprisingly, formal proof verification. From there, the book demonstrates that mathematics also offers a valuable testbed for argumentation theory. Coverage concludes by defending attention to mathematical argumentation as the basis for new perspectives on the philosophy of mathematics. ​. (shrink)

Mathematicians often speak of conjectures, yet unproved, as probable or well-confirmed by evidence. The Riemann Hypothesis, for example, is widely believed to be almost certainly true. There seems no initial reason to distinguish such probability from the same notion in empirical science. Yet it is hard to see how there could be probabilistic relations between the necessary truths of pure mathematics. The existence of such logical relations, short of certainty, is defended using the theory of logical probability (or objective Bayesianism (...) or non-deductive logic), and some detailed examples of its use in mathematics surveyed. Examples of inductive reasoning in experimental mathematics are given and it is argued that the problem of induction is best appreciated in the mathematical case. (shrink)