Christian Damböck

Rudolf Carnap’s formative years as a philosopher were his time in Jena where he studied mathematics, physics, and philosophy, among others, with Gottlob Frege, the neo-Kantian Bruno Bauch, and Herman Nohl, a pupil of Wilhelm Dilthey.2 Whereas both the influence of Frege and of the neo-Kantians is quite well known,3 the importance of the Dilthey school for Carnap’s intellectual development was recently highlighted by scholars, such as Gottfried Gabriel and Hans-Joachim Dahms.4 Although Carnap himself was interested mainly in the problems of logic and the philosophy of the natural sciences, the community in which he worked until he went to Vienna in 1926 was neither a community of neo-Kantian philosophers nor of logicians or philosophers of the natural sciences but a community of members of the Dilthey school that were interested in history of philosophy,5 pedagogic,6 aesthetics,7 and sociology.8 Carnap and his friends were all members of the so-called Seracircle, a group of young people that met frequently in Jena and, between 1919 and 1926, also in Carnap’s home in Buchenbach near Freiburg.9 The first version of the Aufbau was written in close connection with this group of young people that were interested in a reform of the whole society, including arts, politics, sciences, and everyday life. In Carnap’s Werkstatt in Buchenbach, the Aufbau and at least two more manifestos of a more or less philosophical nature were written: Franz Roh’s “Nach-Expressionismus” and Wilhelm Flitner’s “Laienbildung.”10 Given these historical facts, we must conclude that the Aufbau is the product of an intellectual enterprise that developed in close connection with the Dilthey school, but in which Frege and the neo-Kantians seem to have played only a small role.

In the last two sections of Structure, Thomas Kuhn first develops his famous threefold conception of the incommensurability of scientific paradigms and, subsequently, a conception of scientific progress as growth of empirical strength. The latter conception seems to be at odds with the former in that semantic incommensurability appears to imply the existence of situations where scientific progress in Kuhns sense can no longer exist. In contrast to this seeming inconsistency of Kuhns conception, we will try to show in this study that the semantic incommensurability of scientific terms appears to be fully compatible with scientific progress. Our argumentation is based on an improved version of the formalization of Kuhns conception as developed in the 1970s by Joseph Sneed and Wolfgang Stegmüller: In order to be comparable, incommensurable theories need the specification of relations that refer to the concrete ontologies of these theories and involve certain truth claims. The original structuralist account of reduction fails to provide such relations, because (1) it is too structural and (2) it is too wide. Moreover, the original structuralist account also fails to cover important cases of incommensurable theories in being too restrictive for them. In this paper, we develop an improved notion of “reduction” that allows us to avoid these shortcomings by means of a more flexible device for the formalization of (partially reductive) relations between theories. For that purpose, we use a framework of rigid logic, i.e., logic that is based on a fixed collection of objects.