Carnap on unified science

Unified science is a recurring theme in Carnap's work from the time of the Aufbau until the end of the 1930's. The theme is not constant, but knows several variations. I shall extract three quite precise formulations of the thesis of unified science from Carnap's work during this period: from the Aufbau, from Carnap's so-called syntactic period, and from Testability and Meaning and related papers. My main objective is to explain these formulations and to discuss their relation, both to each other and to other aspects of Carnap's work.     

Three challenges to the complementarity of the logic and the pragmatics of science

The bipartite metatheory thesis attributes to Rudolf Carnap, Philipp Frank and Otto Neurath a conception of the nature of post-metaphysical philosophy of science that sees the purely formal-logical analyses of the logic of science as complemented by empirical inquiries into the psychology, sociology and history of science. Three challenges to this thesis are considered in this paper: that Carnap did not share this conception of the nature of philosophy of science even on a programmatic level, that Carnap's detailed analysis of the language of science is incompatible with one developed by Neurath for the pursuit of empirical studies of science, and, finally, that Neurath himself was confused about the programme of which the bipartite metatheory thesis makes him a representative. I argue that all three challenges can be met and refuted.     

Signs, toy models, and the a priori: from Helmholtz to Wittgenstein

The Marburg neo-Kantians argue that Hermann von Helmholtz’s empiricist account of the a priori does not account for certain knowledge, since it is based on a psychological phenomenon, trust in the regularities of nature. They argue that Helmholtz’s account raises the ‘problem of validity’ (Gültigkeitsproblem): how to establish a warranted claim that observed regularities are based on actual relations. I reconstruct Heinrich Hertz’s and Ludwig Wittgenstein’s Bild theoretic answer to the problem of validity: that scientists and philosophers can depict the necessary a priori constraints on states of affairs in a given system, and can establish whether these relations are actual relations in nature. The analysis of necessity within a system is a lasting contribution of the Bild theory. However, Hertz and Wittgenstein argue that the logical and mathematical sentences of a Bild are rules, tools for constructing relations, and the rules themselves are meaningless outside the theory. Carnap revises the argument for validity by attempting to give semantic rules for translation between frameworks. Russell and Quine object that pragmatics better accounts for the role of a priori reasoning in translating between frameworks. The conclusion of the tale, then, is a partial vindication of Helmholtz’s original account.     

The Left Vienna Circle, Part 1. Carnap, Neurath, and the Left Vienna Circle thesis

Recent scholarship resuscitates the history and philosophy of a ‘left wing’ in the Vienna Circle, offering a counterhistory to the conventional image of analytic philosophy as politically conformist. This paper disputes the historical claim that early logical empiricists developed a political philosophy of science. Though some individuals in the Vienna Circle, including Rudolf Carnap and Otto Neurath, believed strongly in the importance of science to social progress, they did not construct a political philosophy of science. Both Carnap and Neurath were committed to forms of political neutralism that run strongly against a political reading of their logical empiricism. In addition, Carnap and Neurath sharply differ on precisely the subject of the place of politics in logical empiricism, throwing into question the construct of the ‘Left Vienna Circle’ as a coherent, sociohistorical, programmatic unit within the Vienna Circle.     

The geometry of knowledge: Lewis, Becker, Carnap and the formalization of philosophy in the 1920s

On an ordinary view of the relation of philosophy of science to science, science serves only as a topic for philosophical reflection, reflection that proceeds by its own methods and according to its own standards. This ordinary view suggests a way of writing a global history of philosophy of science that finds substantially the same philosophical projects being pursued across widely divergent scientific eras. While not denying that this view is of some use regarding certain themes of and particular time periods, this essay argues that much of the epistemology and philosophy of science in the early twentieth century in a variety of projects (neo-Kantianism, logical empiricism, pragmatism, phenomenology) looked to the then current context of the exact sciences, especially geometry and physics, not merely for its topics but also for its conceptual resources and technical tools. This suggests a more variable project of philosophy of science, a deeper connection between early twentieth-century philosophy of science and its contemporary science, and a more interesting and richer history of philosophy of science than is ordinarily offered.     

Explicating formal epistemology: Carnap's legacy as Jeffrey's radical probabilism

Quine's “naturalized epistemology” presents a challenge to Carnapian explication: why try to rationally reconstruct probabilistic concepts instead of just doing psychology? This paper tracks the historical development of Richard C. Jeffrey who, on the one hand, voiced worries similar to Quine's about Carnapian explication but, on the other hand, claims that his own work in formal epistemology—what he calls “radical probabilism”—is somehow continuous with both Carnap's method of explication and logical empiricism. By examining how Jeffrey's claim could possibly be accurate, the paper suggests that Jeffrey's radical probabilism can be seen as a sort of alternative explication project to Carnap's own inductive logic. In so doing, it deflates both Quine's worries about Carnapian explication and so also, by extension, similar worries about formal epistemology.     

意象的逻辑:创造性思维的首要推动者

一切创造性思维都是通过“意象”来进行的。通过对阿恩海姆的视觉思维理论的解读，着重诠释视觉思维过程中的意象运动逻辑：“自上而下”的意象选择逻辑、“补足”与”重构”的意象组织逻辑、“抽象”和“概括”的意象升华逻辑。目的为了进一步认识视觉思维的创造性。力图能够最终揭示创造性思维的奥秘。     

What’s right about Carnap, Neurath and the Left Vienna Circle thesis: a refutation

This paper rejects as unfounded a recent criticism of research on the so-called left wing of the Vienna Circle and the claim that it sported a political philosophy of science. The demand for ‘specific, local periodized claims’ is turned against the critic. It is shown (i) that certain criticisms of Red Vienna’s leading party cannot be transferred to the members of the Circle involved in popular education, nor can criticism of Carnap’s Aufbau be transferred to Neurath’s unified science project; (ii) that neither with regard to Carnap nor to Neurath does the criticism raise points that either engage with the thesis proposed or stand up to closer scrutiny; (iii) that the main thesis attacked is just what I had warned the claim that the Vienna Circle had a political philosophy of science should not be understood as. The question whether theirs is ‘political enough’ today can and should be discussed without distortion of the historical record.     

A choice-semantical approach to theoretical truth

A central topic in the logic of science concerns the proper semantic analysis of theoretical sentences, that is sentences containing theoretical terms. In this paper, we present a novel choice-semantical account of theoretical truth based on the epsilon-term definition of theoretical terms. Specifically, we develop two ways of specifying the truth conditions of theoretical statements in a choice functional semantics, each giving rise to a corresponding logic of such statements. In order to investigate the inferential strength of these logical systems, we provide a translation of each truth definition into a modal definition of theoretical truth. Based on this, we show that the stronger notion of choice-semantical truth captures more adequately our informal semantic understanding of scientific statements.     

On the sources and implications of Carnap’s Der Raum

Der Raum, Carnap’s earliest published work, finds him largely a follower of Husserl. In particular, he holds a distinctively Husserlian conception of the synthetic a priori—a view, I will suggest, paradigmatic of what he would later reject as ‘metaphysics’. His main purpose is to reconcile that Husserlian view with the theory of general relativity. On the other hand, he has already broken with Husserl, and in ways which foreshadow later developments in his thought. Especially important in this respect is his use of Hans Driesch’s Ordnungslehre.