Christian Damböck

This paper develops the first parts of a logical framework for the empirical sciences, by means of a redefinition of theory structuralism as originally developed by Joseph Sneed, Wolfgang Stegmüller, and others, in the context of a ‘rigid’ logic as based on a fixed (therefore rigid) ontology. The paper defends a formal conception of the empirical sciences that has an irreducible ontological basis and is unable, in general, to provide purely structural characterizations of the domain of a theory. The extreme rationalist utopia of a characterization of the real world ‘up to isomorphism’, therefore, is rejected.

This article is concerned with the development of philosophy of science in the 1970s. The explanatory framework is the picture of two fundamental split-offs: the controversial establishment of history and sociology of science and of formal philosophy of science as independent disciplines, against the background of more traditional “conceptual” varieties of philosophy of science. I illustrate these developments, which finally led to somewhat “purified” versions of the respective accounts, by examining a case study, namely, that of the structuralist school, which emerged in the 1970s as an attempt to reconcile historical and formal approaches in philosophy of science. I try to explain the failure of this initial program of “Kuhn Sneedified” and its transition to a more purified formalist version, on the basis of the fact that the former attempt was caught somewhere amid the purism of conceptual, historical, and formal accounts of philosophy of science.