A well known conception of axiomatization has it that an axiomatized theory must be interpreted, or otherwise coordinated with reality, in order to acquire empirical content. An early version of this account is often ascribed to key figures in the logical empiricist movement, and to central figures in the early “formalist” tradition in mathematics as well. In this context, Reichenbach’s “coordinative definitions” are regarded as investing abstract propositions with empirical significance. We argue that over-emphasis on the abstract elements of this (...) approach fails to appreciate a rich tradition of empirical axiomatization in the late nineteenth and early twentieth centuries, evident in particular in the work of Moritz Pasch, Heinrich Hertz, David Hilbert, and Reichenbach himself. We claim that such over-emphasis leads to a misunderstanding of the role of empirical facts in Reichenbach’s approach to the axiomatization of a physical theory, and of the role of Reichenbach’s coordinative definitions in particular. (shrink)

Rudolf Carnap’s principle of tolerance states that there is no need to justify the adoption of a logic by philosophical means. Carnap uses the freedom provided by this principle in his philosophy of mathematics: he wants to capture the idea that mathematical truth is a matter of linguistic rules by relying on a strong metalanguage with infinitary inference rules. In this paper, I give a new interpretation of an argument by E. W. Beth, which shows that the principle of tolerance (...) does not suffice to remove all obstacles to the employment of infinitary rules. (shrink)

We shall address from a conceptual perspective the duality between algebra and geometry in the framework of the refoundation of algebraic geometry associated to Grothendieck’s theory of schemes. To do so, we shall revisit scheme theory from the standpoint provided by the problem of recovering a mathematical structure A from its representations \ into other similar structures B. This vantage point will allow us to analyze the relationship between the algebra-geometry duality and the structure-semiotics duality. Whereas in classical algebraic geometry (...) a certain kind of rings can be recovered by considering their representations with respect to a unique codomain B, Grothendieck’s theory of schemes permits to reconstruct general rings by considering representations with respect to a category of codomains. The strategy to reconstruct the object from its representations remains the same in both frameworks: the elements of the ring A can be realized—by means of what we shall generally call Gelfand transform—as quantities on a topological space that parameterizes the relevant representations of A. As we shall argue, important dualities in different areas of mathematics can be understood as particular cases of this general pattern. In the wake of Majid’s analysis of the Pontryagin duality, we shall propose a Kantian-oriented interpretation of this pattern. We shall use this conceptual framework to argue that Grothendieck’s notion of functor of points can be understood as a “relativization of the a priori” that generalizes the relativization already conveyed by the notion of domain extension to more general variations of the corresponding domains. (shrink)

In his “Epistemology Naturalized,” Quine embraces a form of Humeanism. In this paper, I try to work out the significance of this Humeanism. In particular, I argue that it represents an anti-metaphysical position that Quine shares with Carnap. Crucial to my account is that contrary to much contemporary thinking on metaphysics, Carnap, and Quine following him, recognize both an ontological and an epistemological sense of metaphysics. As commentators have frequently acknowledged, Carnap and Quine disagree over rejecting metaphysics in the ontological (...) sense. I will argue, though, that they agree in rejecting metaphysics in their shared epistemological sense of the term. (shrink)

In what sense is the direction of time a matter of convention? In 'The Direction of Time', Hans Reichenbach makes brief reference to parallels between his views about the status of time’s direction and his conventionalism about geometry. In this article, I: (1) provide a conventionalist account of time direction motivated by a number of Reichenbach’s claims in the book; (2) show how forwards and backwards time can give equivalent descriptions of the world despite the former being the ‘natural’ direction (...) of time; and (3) argue that this offers an important middle-ground position between existing realist and antirealist accounts of the direction of time. (shrink)

In recent years, philosophy of science has witnessed a significant increase in attention directed toward the field’s social relevance. This is demonstrated by the formation of societies with related agendas, the organization of research symposia, and an uptick in work on topics of immediate public interest. The collection of papers that follows results from one such event: a 3-day colloquium on the subject of socially engaged philosophy of science (SEPOS) held at the University of Cincinnati in October 2012. In this (...) introduction, we first survey the recent history of philosophy of science’s social involvement (or lack thereof) and contrast this with the much greater social involvement of the sciences themselves. Next, we argue that the field of philosophy of science bears a special responsibility to contribute to public welfare. We then introduce as a term of art “SEPOS” and articulate what we take to be distinctive about social engagement, with reference to the articles in this collection as exemplars. Finally, we survey the current state of social engagement in philosophy of science and suggest some practical steps for individuals and institutions to support this trajectory. (shrink)

This article analyses three basic concepts of Ludwik Fleck’s Genesis and Development of a Scientific Fact. It shows first that Fleck’s notion of „directed perception“ is closely linked to Jakob von Uexküll’s writings on the „Umwelt“ of animals and humans. The article then proposes to regard the epistemological debates surrounding parapsychology as an important testing ground for the Fleckian concept of „mood“ and his concomitant hypotheses about „the tenacity of systems of opinion and the harmony of illusions“. It finally argues (...) that Fleck’s modification of Wilhelm Jerusalem’s idea of the „social consolidation“ of knowledge helps us to understand the indebtedness of Fleck towards early functionalist sociology as well as his strong belief in „specific historical laws governing the development of ideas“. The historical semantics of Fleck’s works hence proves that his insights are neither marginal nor revolutionary but rather deeply rooted within scientific traditions from the late 19th and early 20th centuries. (shrink)

In this paper, I present two tools that help shed light on deep disagreements and their epistemological consequences. First, I argue that we are best off construing deep disagreements as disagreements over conflicting understandings of certain concepts. More specifically, I suggest that deep disagreements are disagreements over how to understand concepts that play what Michael Friedman calls a “constitutive” role for speakers. Second, I argue that we need a better understanding of what speakers are doing when they engage in deep (...) disagreements—what speech acts they are carrying out. I show that we are best off not reducing the relevant speech acts to more familiar speech act kinds, such as assertions or imperatives. I argue that when a speaker articulates an understanding of a concept, they are in part carrying out an act of stipulation. I provide an account of the pragmatics of stipulation and apply the account to examples of deep disagreement. Focusing on the stipulative dimension of deep disagreement opens up, in turn, a novel approach to defusing the epistemological challenges such disagreement seems to pose. (shrink)

Huw Price has sketched a program for a globalized expressivism in support of which he has repeatedly invoked Rudolf Carnap. This paper argues that this is entirely appropriate, as Carnap had something quite similar in mind. However, it also argues that Price’s recent attempts to integrate Robert Brandom’s inferentialism to this program are less successful, and that a more empirically-oriented descriptive pragmatics along Carnapian lines would be a better fit with his original program than Brandom’s explicitly hermeneutical agenda.

In his “Wissenschaftslogik: The Role of Logic in the Philosophy of Science,” Michael Friedman argues that Carnap’s philosophy of science “is fundamentally anti-metaphysical—he aims to use the tools of mathematical logic to dissolve rather [than] solve traditional philosophical problems—and it is precisely this point that is missed by his logically-minded contemporaries such as Hempel and Quine”. In this paper, I take issue with this claim, arguing that Quine, too, is a part of this anti-metaphysical tradition. I begin in section I (...) with Russell’s account of scientific philosophy, focusing on its critique of metaphysics and its reliance on logical constructions. I then argue that each of Carnap and Quine take up this call to scientific philosophizing but that they both find Russell’s account of logic wanting. In section II, I first provide an account of Carnap’s critique of metaphysics and its reliance on developments in logic. This is followed by a discussion of his appeal to the analytic/synthetic distinction so as to improve upon Russell’s account of logic. Section III follows this same structure but focuses on Quine. In the end, though, Quine turns not to the analytic/synthetic distinction but to holism to provide an account of logic suitable to scientific philosophy. Carnap had claimed to be “more Russellian than Russell,” and in this final move by Quine I argue that he is “being more Carnapian than Carnap.” I conclude by showing how, contrary to Friedman’s view, Quine’s rejection of the analytic/synthetic distinction does not yield a return to the kind metaphysics that he, Carnap, and Russell all objected to. (shrink)

The idea that a serious threat to scientific realism comes from unconceived alternatives has been proposed by van Fraassen, Sklar, Stanford and Wray among others. Peter Lipton's critique of this threat from underconsideration is examined briefly in terms of its logic and its applicability to the case of space-time and particle physics. The example of space-time and particle physics indicates a generic heuristic for quantitative sciences for constructing potentially serious cases of underdetermination, involving one-parameter family of rivals T_m that work (...) as a team rather than as a single rival against default theory T_0. In important examples this new parameter has a physical meaning and makes a crucial _conceptual_ difference, shrinking the symmetry group and in some case putting gauge freedom, formal indeterminism vs. determinism, the presence of the hole argument, etc., at risk. Methodologies akin to eliminative induction or tempered subjective Bayesianism are more demonstrably reliable than the custom of attending only to "our best theory": they can lead either to a serious rivalry or to improved arguments for the favorite theory. The example of General Relativity vs. massive spin 2 gravity, a recent topic in the physics literature, is discussed. Arguably the General Relativity and philosophy literatures have ignored the most serious rival to General Relativity. (shrink)

This article analyses three basic concepts of Ludwik Fleck’s Genesis and Development of a Scientific Fact. It shows first that Fleck’s notion of „directed perception“ is closely linked to Jakob von Uexküll’s writings on the „Umwelt“ of animals and humans. The article then proposes to regard the epistemological debates surrounding parapsychology as an important testing ground for the Fleckian concept of „mood“ and his concomitant hypotheses about „the tenacity of systems of opinion and the harmony of illusions“. It finally argues (...) that Fleck’s modification of Wilhelm Jerusalem’s idea of the „social consolidation“ of knowledge helps us to understand the indebtedness of Fleck towards early functionalist sociology as well as his strong belief in „specific historical laws governing the development of ideas“. The historical semantics of Fleck’s works hence proves that his insights are neither marginal nor revolutionary but rather deeply rooted within scientific traditions from the late 19th and early 20th centuries. (shrink)

Esta enciclopédia abrange, de uma forma introdutória mas desejavelmente rigorosa, uma diversidade de conceitos, temas, problemas, argumentos e teorias localizados numa área relativamente recente de estudos, os quais tem sido habitual qualificar como «estudos lógico-filosóficos». De uma forma apropriadamente genérica, e apesar de o território teórico abrangido ser extenso e de contornos por vezes difusos, podemos dizer que na área se investiga um conjunto de questões fundamentais acerca da natureza da linguagem, da mente, da cognição e do raciocínio humanos, bem (...) como questões acerca das conexões destes com a realidade não mental e extralinguística. A razão daquela qualificação é a seguinte: por um lado, a investigação em questão é qualificada como filosófica em virtude do elevado grau de generalidade e abstracção das questões examinadas (entre outras coisas); por outro, a investigação é qualificada como lógica em virtude de ser uma investigação logicamente disciplinada, no sentido de nela se fazer um uso intenso de conceitos, técnicas e métodos provenientes da disciplina de lógica. O agregado de tópicos que constitui a área de estudos lógico-filosóficos é já visível, pelo menos em parte, no Tractatus Logico-Philosophicus de Ludwig Wittgenstein, uma obra publicada em 1921. E uma boa maneira de ter uma ideia sinóptica do território disciplinar abrangido por esta enciclopédia, ou pelo menos de uma porção substancial dele, é extrair do Tractatus uma lista dos tópicos mais salientes aí discutidos; a lista incluirá certamente tópicos do seguinte género, muitos dos quais se podem encontrar ao longo desta enciclopédia: factos e estados de coisas; objectos; representação; crenças e estados mentais; pensamentos; a proposição; nomes próprios; valores de verdade e bivalência; quantificação; funções de verdade; verdade lógica; identidade; tautologia; o raciocínio matemático; a natureza da inferência; o cepticismo e o solipsismo; a indução; as constantes lógicas; a negação; a forma lógica; as leis da ciência; o número. (shrink)

This paper investigates the strange case of an argument that was directed against a positivist verification principle. We find an early occurrence of the argument in a talk by the phenomenologist Roman Ingarden at the 1934 International Congress of Philosophy in Prague, where Carnap and Neurath were present and contributed short rejoinders. We discuss the underlying presuppositons of the argument, and we evaluate whether the attempts by Carnap (especially) actually succeed in answering this argument. We think they don’t, and offer (...) instead a few sociological thoughts about why the argument seems to have disappeared from the profession’s evaluaton of the positivist criterion of verifiability. (shrink)

The relationship between Carnap’s Logical Syntax of Language and Wittgenstein’s Tractatus Logico-Philosophicus has been interpreted in several ways during past decades. One of the interpretations has gained keen advocates among Carnap scholars. It was originally provoked by what Caranp said in LSL, and it consists of two parts. First, it indicates that in TLP the possibility of speaking about the logical form of a language within the same language had been foresworn by Wittgenstein, but Carnap proved him wrong by producing (...) a book written exactly in the manner which had been proscribed by Wittgenstein. This is the debate about the possibility of speaking about logical form. Second, Wittgenstein’s dogmatism with regard to the existence of a unique correct grammar at the foundation of the language has been contrasted with Carnap’s open-mindedness in conceiving a boundless ocean of possibilities for constructing logical systems. Interestingly enough, Wittgenstein rambled with rage in reaction to Carnap’s view about the LSL-TLP relationship. But unlike Carnap’s view, which led to a dominant interpretation of the relationship, Wittgenstein’s testimony about the case has been strangely ignored in the history of analytic philosophy. In this paper, I try to make an inquiry about the grounds for Wittgenstein’s dissatisfaction with the Carnapian reading of the LSL-TLP relationship. I will show that Wittgenstein was not totally unfair in his judgment, and that some salient aspects of LSL could be best understood in the light, or rather the gloom, of TLP, and bear a significant resemblance to it. This, however, does not need to diminish the logical and historical significance of LSL. (shrink)

The aim of this paper is to show that a comprehensive account of the role of representations in science should reconsider some neglected theses of the classical philosophy of science proposed in the first decades of the 20th century. More precisely, it is argued that the accounts of Helmholtz and Hertz may be taken as prototypes of representational accounts in which structure preservation plays an essential role. Following Reichenbach, structure-preserving representations provide a useful device for formulating an up-to-date version of (...) a (relativized) Kantian a priori. An essential feature of modern scientific representations is their mathematical character. That is, representations can be conceived as (partially) structure-preserving maps or functions. This observation suggests an interesting but neglected perspective on the history and philosophy of this concept, namely, that structure-preserving representations are closely related to a priori elements of scientific knowledge. Reichenbach’s early theory of a relativized constitutive but non-apodictic a priori component of scientific knowledge provides a further elaboration of Kantian aspects of scientific representation. To cope with the dynamic aspects of the evolution of scientific knowledge, Cassirer proposed a re-interpretation of the concept of representation that conceived of a particular representation as only one phase in a continuous process determined by pragmatic considerations. Pragmatic aspects of representations are further elaborated in the classical account of C.I. Lewis and the more modern of Hasok Chang. (shrink)

Introduction to the Special Volume, “Method, Science and Mathematics: Neo-Kantianism and Analytic Philosophy,” edited by Scott Edgar and Lydia Patton. At its core, analytic philosophy concerns urgent questions about philosophy’s relation to the formal and empirical sciences, questions about philosophy’s relation to psychology and the social sciences, and ultimately questions about philosophy’s place in a broader cultural landscape. This picture of analytic philosophy shapes this collection’s focus on the history of the philosophy of mathematics, physics, and psychology. The following essays (...) uncover, reflect on, and exemplify modes of philosophy that are engaged with these allied disciplines. They make the case that, to the extent that analytic philosophers are still concerned with philosophy’s ties to these disciplines, we would do well to pay attention to neo-Kantian views on those ties. (shrink)

The object of this article is to show a certain proximity of Duhem to Poincaré in his first philosophical reflections. I study the relationships between the scientific practices of the two scholars, the contemporary theoretical context and their reflections. The first part of the article concerns the changes in epistemological consensus at the turn of the century. The second part will be devoted to Poincaré's reflections on the status of physical geometries and physical theories, as they appear in his texts (...) written around 1890. Then I analyze the first reflections of Pierre Duhem on physical theory, in particular his thesis of the hypothetical/symbolic character of physical theories and his criteria for selecting good theories, partly associated with his ideal of physical theory; the whole set of considerations, highlighting the Poincarean inspiration. (shrink)

This article investigates the various ways in which Rudolf Carnap incorporated contemporary epistemological problems concerning the Geisteswissenschaften in Der logische Aufbau der Welt. I argue that Carnap defends a nonreductive incorporation of the Geisteswissenschaften within the unity of science. To this end Carnap aims to solve the problem of individuality, which was the focus of attention for important philosophers of the Geisteswissenschaften such as Wilhelm Dilthey, Heinrich Rickert, and Wilhelm Windelband. At the same time, Carnap argues that his constitutional method, (...) which transforms cultural objects into psychological or physical objects, does not imply a loss of autonomy for the Geisteswissenschaften. Besides this defense of autonomy, Carnap incorporates several central notions of the contemporary theory of the Geisteswissenschaften into his theory of the Aufbau: cultural manifestation, the phenomenology of cultural experience, and the method of Verstehen. (shrink)

True beliefs and truth-preserving inferences are, in some sense, good beliefs and good inferences. When an inference is valid though, it is not merely truth-preserving, but truth-preserving in all cases. This motivates my question: I consider a Modus Ponens inference, and I ask what its validity in particular contributes to the explanation of why the inference is, in any sense, a good inference. I consider the question under three different definitions of ‘case’, and hence of ‘validity’: the orthodox definition given (...) in terms of interpretations or models, a metaphysical definition given in terms of possible worlds, and a substitutional definition defended by Quine. I argue that the orthodox notion is poorly suited to explain what's good about a Modus Ponens inference. I argue that there is something good that is explained by a certain kind of truth across possible worlds, but the explanation is not provided by metaphysical validity in particular; nothing of value is explained by truth across all possible worlds. Finally, I argue that the substitutional notion of validity allows us to correctly explain what is good about a valid inference. (shrink)

The main task in this paper is to detail and investigate Carnap’s conception of a “linguistic framework”. On this basis, we will see whether Carnap’s dichotomies, such as the analytic-synthetic distinction, are to be construed as absolute/fundamental dichotomies or merely as relative dichotomies. I argue for a novel interpretation of Carnap’s conception of a LF and, on that basis, will show that, according to Carnap, all the dichotomies to be discussed are relative dichotomies; they depend on conventional decisions concerning the (...) logical syntax of LF. Thus, all of the dichotomies directly hinge on the conception of the LF. The LF’s logical structure, in turn, is an immediate consequence of adopting the linguistic doctrine of logical truths. As we will see, no appeal to any of these distinctions is necessary in establishing a LF and all of its components. I will also draw attention to the differences between what Carnap labels a “way of speaking”, “language”, and “artificial language”. Consequently, I will briefly conclude that none of Quine’s major objections address the main points of Carnap’s theory. (shrink)

In Untersuchungen zur allgemeinen Axiomatik and Abriss der Logistik, Carnap attempted to formulate the metatheory of axiomatic theories within a single, fully interpreted type-theoretic framework and to investigate a number of meta-logical notions in it, such as those of model, consequence, consistency, completeness, and decidability. These attempts were largely unsuccessful, also in his own considered judgment. A detailed assessment of Carnap’s attempt shows, nevertheless, that his approach is much less confused and hopeless than it has often been made out to (...) be. By providing such a reassessment, the paper contributes to a reevaluation of Carnap’s contributions to the development of modern logic. (shrink)

Discussions of the relation between pragmatism and logical empiricism tend to focus on the period when the logical empiricists found themselves in exile, mostly in the United States, and then attempt to gauge the actual extent of their convergence. My concern lies with the period before that and the question whether pragmatism had an earlier influence on the development of logical empiricism, especially on the thought of the former members of the “first” Vienna Circle. I argue for a substantially qualified (...) affirmative answer. (shrink)

In this paper I examine a neglected question concerning the centerpiece of Carnap's philosophy: the principle of tolerance. The principle of tolerance states that we are free to devise and adopt any well-defined form of language or linguistic framework we please. A linguistic framework defines framework-internal standards of correct reasoning that guide us in our first-order scientific pursuits. The choice of a linguistic framework, on the other hand, is an ‘external’ question to be settled on pragmatic grounds and so not (...) itself constrained by these standards. However, even if choosing a framework is a practical matter, we would nevertheless expect the process of framework selection to be subject to rational norms. But which norms might those be? And where do they come from? I begin by showing that these questions are crucial to the success of Carnap's entire philosophical project. I then offer a response on behalf of the Carnapian which guarantees the rationality of the process of framework selection, while remaining true to Carnap's firm commitment to tolerance. (shrink)

This paper offers a systematic analysis of Poincaré’s understanding of beauty in science. In particular, the paper examines the epistemic significance Poincaré attributes to aesthetic judgement by reconstructing and analysing his arguments on simplicity and unity in science. I offer a consistent reconstruction of Poincaré’s account and show that for Poincaré simplicity and unity are regulative principles, linked to the aim of science—that of achieving understanding of how phenomena relate. I show how Poincaré’s account of beauty in science can be (...) incorporated within his wider philosophy of science. (shrink)

A consensus exists among contemporary philosophers of biology about the history of their field. According to the received view, mainstream philosophy of science in the 1930s, 40s, and 50s focused on physics and general epistemology, neglecting analyses of the 'special sciences', including biology. The subdiscipline of philosophy of biology emerged (and could only have emerged) after the decline of logical positivism in the 1960s and 70s. In this article, I present bibliometric data from four major philosophy of science journals (Erkenntnis, (...) Philosophy of Science, Synthese, and the British Journal for the Philosophy of Science), covering 1930-59, which challenge this view. (shrink)

Rudolf Carnap's Der logische Aufbau der Welt (The Logical Structure of the World) is generally conceived of as being the failed manifesto of logical positivism. In this paper we will consider the following question: How much of the Aufbau can actually be saved? We will argue that there is an adaptation of the old system which satisfies many of the demands of the original programme. In order to defend this thesis, we have to show how a new 'Aufbau-like' programme may (...) solve or circumvent the problems that affected the original Aufbau project. In particular, we are going to focus on how a new system may address the well-known difficulties in Carnap's Aufbau concerning abstraction, dimensionality, and theoretical terms. (shrink)

This paper offers an introduction to Hermann Cohen’s Das Princip der Infinitesimal-Methode, and recounts the history of its controversial reception by Cohen’s early sympathizers, who would become the so-called ‘Marburg school’ of Neo-Kantianism, as well as the reactions it provoked outside this group. By dissecting the ambiguous attitudes of the best-known representatives of the school, as well as those of several minor figures, this paper shows that Das Princip der Infinitesimal-Methode is a unicum in the history of philosophy: it represents (...) a strange case of an unsuccessful book’s enduring influence. The “puzzle of Cohen’s Infinitesimalmethode,” as we will call it, can be solved by looking beyond the scholarly results of the book, and instead focusing on the style of philosophy it exemplified. Moreover, the paper shows that Cohen never supported, but instead explicitly opposed, the doctrine of the centrality of the ‘concept of function’, with which Marburg Neo-Kantianism is usually associated. (shrink)

In his seminal work “The Concept of Truth in Formalized Languages”, Alfred Tarski showed how to construct a formally correct and materially adequate definition of true sentence for certain formalized languages. These results have, eventually, been accepted and applauded by philosophers and logicians nearly in unison. Its Postscript, written two years later, however, has given rise to a considerable amount of controversy. There is an ongoing debate on what Tarski really said in the postscript. These discussions often regard Tarski as (...) putatively changing his logical framework from type theory to set theory. In what follows, we will compare the original results with those presented two years later. After a brief outline of Carnap’s program in The Logical Syntax of Language we will determine its significance for Tarski’s final results. (shrink)

In this paper I examine the question of logic’s normative status in the light of Carnap’s Principle of Tolerance. I begin by contrasting Carnap’s conception of the normativity of logic with that of his teacher, Frege. I identify two core features of Frege’s position: first, the normative force of the logical laws is grounded in their descriptive adequacy; second, norms implied by logic are constitutive for thinking as such. While Carnap breaks with Frege’s absolutism about logic and hence with the (...) notion that any system of logic should have a privileged claim to correctness, I argue that there is a sense in which Carnap’s framework-relative conception of logical norms has a constitutive role to play: though they are not constitutive for the conceptual activity for thinking, they do nevertheless set the ground rules that make certain forms of scientific inquiry possible in the first place. I conclude that Carnap’s principle of tolerance is tamer than one might have thought and that, despite remaining differences, Frege’s and Carnap’s conceptions of logic have more in common than one might have thought. (shrink)

Theories in fundamental physics are unlikely to be ontologically neutral, yet they may nonetheless fail to offer decisive empirical support for or against particular metaphysical positions. I illustrate this point by close examination of a particular objection raised by Wolfgang Pauli against Hermann Weyl. The exchange reveals that both parties to the dispute appeal to broader epistemological principles to defend their preferred metaphysical starting points. I suggest that this should make us hesitant to assume that in deriving metaphysical conclusions from (...) physical theories we place our metaphysical theories on a purely empirical foundation. The metaphysics within a particular physical theory may well be the result of a priori assumptions in the background, not particular empirical findings. (shrink)

In this opinion piece, the authors offer their personal and idiosyncratic views of the future of the philosophy of science, focusing on its relationship with the history of science and metaphysics, respectively. With regard to the former, they suggest that the Kantian tradition might be drawn upon both to render the history and philosophy of science more relevant to philosophy as a whole and to overcome the challenges posed by naturalism. When it comes to the latter, they suggest both that (...) metaphysics has much to learn from the philosophy of science and that it offers an array of tools that philosophers of science can themselves appropriate. (shrink)

Recently, some philosophers of science (e.g., Gürol Irzik, Michael Friedman) have challenged the ‘received view’ on the relationship between Rudolf Carnap and Thomas Kuhn, suggesting that there is a close affinity (rather than opposition) between their philosophical views. In support of this argument, these authors cite Carnap and Kuhn’s similar views on incommensurability, theory-choice, and scientific revolutions. Against this revisionist view, I argue that the philosophical relationship between Carnap and Kuhn should be regarded as opposed rather than complementary. In particular, (...) I argue that a consideration of the fundamentally disparate nature of the broader philosophical projects of Carnap (logic of science) and Kuhn (providing a theory of scientific revolutions)renders the alleged similarities between their views superficial in comparison to their fundamental differences. In defense of the received view, I suggest that Carnap and Kuhn are model representatives of two contrasting styles of doing philosophy of science, viz., logical analysis and historical analysis respectively. This analysis clarifies the role played by Kuhn’s Structure of Scientific Revolutions in the demise of logical empiricism in the second half of the twentieth-century. (shrink)

This article aims to give an overview of Carnap’s 1928 book Logical Structure of the World or Aufbau and the most influential interpretations of its significance. After giving an outline of the book in Section 2, I turn to the first sustained interpretations of the book offered by Goodman and Quine in Section 3. Section 4 explains how this empirical reductionist interpretation was largely displaced by its main competitor. This is the line of interpretation offered by Friedman and Richardson which (...) focuses on issues of objectivity. In Section 5, I turn to two more recent interpretations that can be thought of as emphasizing Carnap’s concern with rational reconstruction. Finally, the article concludes by noting some current work by Leitgeb that aims to develop and update some aspects of the Aufbau project for contemporary epistemology. (shrink)

Recent scholarship indicates that Quine’s “Truth by Convention” does not present the radical critiques of analytic truth found fifteen years later in “Two Dogmas of Empiricism.” This prompts a historical question: what caused Quine’s radicalization? I argue that two crucial components of Quine’s development can be traced to the academic year 1940–1941, when he, Russell, Carnap, Tarski, Hempel, and Goodman were all at Harvard together. First, during those meetings, Quine recognizes that Carnap has abandoned the extensional, syntactic approach to philosophical (...) analysis, an approach espoused in Carnap’s 1934 Logical Syntax of Language, and which Quine endorsed his entire career. Second, Tarski presents Quine with a philosophically well-motivated reason to think that an apparently analytic discipline, arithmetic, could be synthetic; this reflects one of the central assertions found in “Two Dogmas” but not in “Truth by Convention.” I use this account of Quine’s development to resolve a dispute between Creath and Mancosu concerning the timeline for Quine’s evolving critiques of analyticity. (shrink)

Arthur Pap was not quite a Logical Empiricist. He wrote his dissertation in philosophy of science under Ernest Nagel, and he published a textbook in the philosophy of science at the end of his tragically short career, but most of his work would be classified as analytic philosophy. More important, he took some stands that went against Logical Empiricist orthodoxy and was a persistent if friendly critic of the movement. Pap diverged most strongly from Logical Empiricism in his theory of (...) a “functional a priori” in which fundamental principles of science are hardened into definitions and act as criteria for further inquiry. Pap was strongly influenced by the pragmatists C. I. Lewis and John Dewey in developing this alternative theory of a priori knowledge. Using Poincaré’s conventionalism as a springboard, Pap attempted to substantiate these views with examples from physics, and this was his largest foray into philosophy of science topics. Pap, as well as Lewis and Dewey, developed an alternative theory of the a priori in the 1950s that never quite took hold, despite the fact that their views are very intriguing and similar to Michael Friedman’s recent work on the constitutive a priori. (shrink)

The article attempts to reconsider the relationship between Leibniz’s and Kant’s philosophy of geometry on the one hand and the nineteenth century debate on the foundation of geometry on the other. The author argues that the examples used by Leibniz and Kant to explain the peculiarity of the geometrical way of thinking are actually special cases of what the Jewish-German mathematician Felix Hausdorff called “transformation principle”, the very same principle that thinkers such as Helmholtz or Poincaré applied in a more (...) general form in their celebrated philosophical writings about geometry. The first two parts of the article try to show that Leibniz’s and Kant’s philosophies of geometry, despite their differences, appear to be preoccupied with the common problem of the impossibility to grasp conceptually the intuitive difference between two figures (such as a figure and its scaled, displaced or mirrored copy). In the third part, it is argued that from the perspective of Hausdorff’s philosophical-geometrical reflections, this very same problem seems to find a more radical application in Helmholtz’s or Poincaré’s thought experiments on the impossibility of distinguishing distorted copies of our universe from the original one. I draw the conclusion that in Hausdorff’s philosophical work, which has received scholarly attention only recently, one can find not only an original attempt to frame these classical arguments from a set-theoretical point of view, but also the possibility of considering the history of philosophy of geometry from an uncommon perspective, where especially the significance of Kant’s infamous appeal to “intuition” can be judged by more appropriate standards. (shrink)

Psychological research has shown that cognitive illusions, of which visual illusions are just a special case, are systematic and pervasive, raising epistemological questions about how error in all forms of research can be identified and eliminated. The quantitative sciences make use of statistical techniques for this purpose, but it is not clear what the qualitative equivalent is, particularly in view of widespread scepticism about validity and objectivity. I argue that, in the light of cognitive psychology, the ‘error question’ cannot be (...) dismissed as a positivist obsession, and that the concepts of truth and objectivity are unavoidable. However, they constitute only a ‘minimal realism’, which does not necessarily bring a commitment to ‘absolute’ truth, certainty, correspondence, causation, reductionism, or universal laws in its wake. The assumption that it does reflects a misreading of positivism and, ironically, precipitates a ‘crisis of legitimation and representation’, as described by constructivist authors. (shrink)

This article distinguishes between Machian empiricism and the logical positivism of the Vienna Circle and associated philosophers. Mach's natural philosophy was a first order attempt to reform and reorganize physics, not a second order reconstruction of the "language" of physics. Mach's elements were not sense data but realistic events in the natural world and in minds, and Mach admitted unobserved elements as part of his world view. Mach's critique of metaphysics was far more subtle and concerned the elimination of sensory (...) visual imagery from natural science, leaving only concrete elements and functions, very much an inspiration to the young Einstein and Heisenberg and a useful engine of theory construction in physics. (shrink)

This paper attempts to show how the logical empiricists’ interpretation of the relation between geometry and reality emerges from a “collision” of mathematical traditions. Considering Riemann’s work as the initiator of a 19th century geometrical tradition, whose main protagonists were Helmholtz and Poincaré, the logical empiricists neglected the fact that Riemann’s revolutionary insight flourished instead in a non-geometrical tradition dominated by the works of Christoffel and Ricci-Curbastro roughly in the same years. I will argue that, in the attempt to interpret (...) general relativity as the last link of the chain Riemann–Helmholtz–Poincaré–Einstein, logical empiricists were led to argue that Einstein’s theory of gravitation mainly raised a problem of mathematical under-determination, i.e. the discovery that there are physical differences that cannot be expressed in the relevant mathematical structure of the theory. However, a historical reconstruction of the alternative Riemann–Christoffel–Ricci–Einstein line of evolution shows on the contrary that the main philosophical issue raised by Einstein’s theory was instead that of mathematical over-determination, i.e. the recognition of the presence of redundant mathematical differences that do not have any correspondence in physical reality. (shrink)

While there are many examples of metaphysical theorising being heuristically and intellectually important in the progress of scientific knowledge, many people wonder how metaphysics not closely informed and inspired by empirical science could lead to rival or even supplementary knowledge about the world. This paper assesses the merits of a popular defence of the a priori methodology of metaphysics that goes as follows. The first task of the metaphysician, like the scientist, is to construct a hypothesis that accounts for the (...) phenomena in question. It is then argued that among the possible metaphysical theories, the empirical evidence underdetermines the right one, just as the empirical evidence underdetermines the right scientific theory. In the latter case it is widely agreed that we must break the underdetermination by appeal to theoretical virtues, and this is just what should be and largely is done in metaphysics. This is part of a more general line of argument that defends metaphysics on the basis of its alleged continuity with highly theoretical science. In what follows metaphysics and theoretical science are compared in order to see whether the above style of defence of a priori metaphysics is successful. (shrink)

This paper concerns Carnap’s early contributions to formal semantics in his work on general axiomatics between 1928 and 1936. Its main focus is on whether he held a variable domain conception of models. I argue that interpreting Carnap’s account in terms of a fixed domain approach fails to describe his premodern understanding of formal models. By drawing attention to the second part of Carnap’s unpublished manuscript Untersuchungen zur allgemeinen Axiomatik, an alternative interpretation of the notions ‘model’, ‘model extension’ and ‘submodel’ (...) in his theory of axiomatics is presented. Specifically, it is shown that Carnap’s early model theory is based on a convention to simulate domain variation that is not identical but logically comparable to the modern account. (shrink)

Eino Kaila's thought occupies a curious position within the logical empiricist movement. Along with Hans Reichenbach, Herbert Feigl, and the early Moritz Schlick, Kaila advocates a realist approach towards science and the project of a “scientific world conception”. This realist approach was chiefly directed at both Kantianism and Poincaréan conventionalism. The case in point was the theory of measurement. According to Kaila, the foundations of physical reality are characterized by the existence of invariant systems of relations, which he called structures. (...) In a certain sense, these invariant structures, he maintained, are constituted in the act of measuring. By “constitution”, however, Kaila meant neither the dependency of the objects of measurement on a priori concepts (or Kantian categories) nor their being effected by conventional stipulations in a Poincaréan sense. He held that invariant structures are, quite literally, real: they exist prior to and independently of our theoretical capacity. By executing measurements, invariant structures are detected and objectively determinable by laws of nature. (shrink)

In this paper, I critically discuss recent work on the role that the principle of tolerance plays in Rudolf Carnap's philosophy. Specifically, I consider how two prominent interpretations of Carnap's principle of tolerance can be used to argue for Carnap's anti-metaphysical views. I then argue that there are serious problems with these arguments, and I diagnose those problems as resulting, in part, from a tension between competing goals of Carnap's philosophical project.

In his early work on the problem of coordination, Hans Reichenbach introduced axioms of coordination to describe the relationship between theory and observation. His insistence that these axioms are determinable a priori, however, causes him to ignore the normative dimensions of scientific inquiry and, in turn, generates a misleading interpretation of the theory-observation relationship. In response, I propose an alternative approach that describes this relationship through the framework of scientific practices. My argument will draw on two examples that have not (...) been explored by the philosophical literature in the context of coordination problems: the clinical definition of death and Stanley Prusiner’s prion hypothesis. (shrink)

B. F. Skinner's "The Behavior of Organisms" (1938/1966) and "Walden Two" (1948) are both positivistic. Skinner explicitly stated his approach was positivistic in "The Behavior of Organisms" although he did not make an explicit statement about "Walden Two". Three features of positivism are elaborated—its concern with indisputable certitude, unified reality, and ever-onward progress, each of which entailed overly simplifying assumptions. These features are brought out in the positivistic sources for "Walden Two" and in the changes from the positivistic views of (...) Frazier, the protagonist in "Walden Two", to Skinner's later pragmatic-selectionist views. (shrink)

Continental philosophy of science has developed alongside mainstream analytic philosophy of science. But where continental approaches are inclusive, analytic philosophies of science are not–excluding not merely Nietzsche’s philosophy of science but Gödel’s philosophy of physics. As a radicalization of Kant, Nietzsche’s critical philosophy of science puts science in question and Nietzsche’s critique of the methodological foundations of classical philology bears on science, particularly evolution as well as style (in art and science). In addition to the critical (in Mach, Nietzsche, Heidegger (...) but also Husserl just to the extent that continental philosophy of science tends to depart from a reflection on the crisis of foundations), other continental philosophies of science include phenomenology (Husserl, Bachelard, Merleau‐Ponty, etc.) and hermeneutics (Heidegger, Gadamer, Heelan, etc.), especially incorporating history of science (Nietzsche, Mach, Duhem, Butterfield, Feyerabend, etc.). Examples are drawn from the philosophy of sciences (chemistry, geology, and biology) other than physics. (shrink)

Koopman’s book revolves around the notion of transition, which he proposes is one of the central ideas of the pragmatist tradition but one which had not previously been fully articulated yet nevertheless shapes the pragmatist attitude in philosophy. Transition, according to Koopman, denotes “those temporal structures and historical shapes in virtue of which we get from here to there”. One of the consequences of transitionalism is the understanding of critique and inquiry as historical pro...