Integrated HPS? Formal versus historical approaches to philosophy of science
Authors
Publication Date
2021-12Journal Title
Synthese
ISSN
0039-7857
Publisher
Springer Science and Business Media LLC
Volume
199
Issue
5-6
Pages
14509-14533
Language
en
Type
Article
This Version
VoR
Metadata
Show full item recordCitation
Vos, B. (2021). Integrated HPS? Formal versus historical approaches to philosophy of science. Synthese, 199 (5-6), 14509-14533. https://doi.org/10.1007/s11229-021-03431-x
Description
Funder: Trinity College, University of Cambridge; doi: http://dx.doi.org/10.13039/501100000727
Abstract
<jats:title>Abstract</jats:title><jats:p>The project of integrated HPS (‘integrated history and philosophy of science’) has occupied philosophers of science in one form or another since at least the 1960s. Yet, despite this substantial interest in bringing together philosophical and historical reflections on the nature of science, history of science and<jats:italic>formal</jats:italic>philosophy of science remain as divided as ever. In this paper, I will argue that the continuing separation between historical and formal philosophy of science is ill-founded. I will argue for this in both abstract and concrete terms. At the abstract level, I reconstruct two possible arguments for the incompatibility of historical and formal philosophy of science and argue that they are both wanting. At the concrete level, I discuss how historical and formal philosophy of science have been brought together in practice, namely: in the form of a largely forgotten research tradition that I will refer to here as the study of<jats:italic>formalized macro-units</jats:italic>. After a brief exposition, I argue that this research tradition has been unduly overlooked by historically minded philosophers of science. Bringing together these observations, I argue that the divide between historical and formal philosophy of science is not grounded in any substantive arguments, but can be primarily attributed to disciplinary happenstance.</jats:p>
Keywords
Original Research, Metaphilosophy of Formal Methods, Formal methods, History, Integrated HPS, Structuralism
Identifiers
s11229-021-03431-x, 3431
External DOI: https://doi.org/10.1007/s11229-021-03431-x
This record's URL: https://www.repository.cam.ac.uk/handle/1810/332518
Rights
Licence:
http://creativecommons.org/licenses/by/4.0/
Statistics
Total file downloads (since January 2020). For more information on metrics see the
IRUS guide.
Recommended or similar items
The current recommendation prototype on the Apollo Repository will be turned off on 03 February 2023. Although the pilot has been fruitful for both parties, the service provider IKVA is focusing on horizon scanning products and so the recommender service can no longer be supported. We recognise the importance of recommender services in supporting research discovery and are evaluating offerings from other service providers. If you would like to offer feedback on this decision please contact us on: support@repository.cam.ac.uk