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)

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)

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)

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)

This paper argues that Carnap's project in the Aufbau is best considered as an attempt to determine the conditions for both objectivity and understanding, thus aiming at refuting the skeptical contention that objectivity and understanding are incompossible ideals of science.

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)

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)

This paper examines causal theories of reference with respect to how plausible an account they give of non-physical natural kind terms such as ‘gene’ as well as of the truth of the associated theoretical claims. I first show that reference fixism for ‘gene’ fails. By this, I mean the claim that the reference of ‘gene’ was stable over longer historical periods, for example, since the classical period of transmission genetics. Second, I show that the theory of partial reference does not (...) do justice to some widely held realist intuitions about classical genetics. This result is at loggerheads with the explicit goals usually associated with partial theories of reference, which is to defend a realist semantics for scientific terms. Thirdly, I show that, contrary to received wisdom and perhaps contrary to physics and chemistry, neither reference fixism nor partial reference are necessary in order to hold on to scientific realism about biology. I pinpoint the reasons for this in the nature of biological kinds, which do not even remotely resemble natural kinds (i.e., Lockean real essences) as traditionally conceived. (shrink)

In this paper I argue that Poincaré’s acceptance of the atom does not indicate a shift from instrumentalism to scientific realism. I examine the implications of Poincaré’s acceptance of the existence of the atom for our current understanding of his philosophy of science. Specifically, how can we understand Poincaré’s acceptance of the atom in structural realist terms? I examine his 1912 paper carefully and suggest that it does not entail scientific realism in the sense of acceptance of the fundamental existence (...) of atoms but rather, argues against fundamental entities. I argue that Poincaré’s paper motivates a non-fundamentalist view about the world, and that this is compatible with his structuralism. (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)

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...

Continental philosophies of science tend to exemplify holistic themes connecting order and contingency, questions and answers, writers and readers, speakers and hearers. Such philosophies of science also tend to feature a fundamental emphasis on the historical and cultural situatedness of discourse as significant; relevance of mutual attunement of speaker and hearer; necessity of pre-linguistic cognition based in human engagement with a common socio-cultural historical world; role of narrative and metaphor as explanatory; sustained emphasis on understanding questioning; truth seen as horizonal, (...) aletheic, or perspectival; and a tolerance for paradoxical and complex forms of expression. Continental philosophy of science is thus more comprehensive than philosophy of science in the analytic tradition, including (and as analytic philosophy of science does not tend to include) perspectives on the history of science as well as the social and practical dimensions of scientific discovery. Where analytic philosophy is about reducing or, indeed, eliminating the perennial problems of philosophy, Continental philosophy is all about thinking and that will mean, as both Heidegger and Nietzsche emphasize, making such problems more not less problematic. (shrink)

Historically, the Vienna Circle and the Dessau Bauhaus were related, with members of each group familiar with the ideas of the other. Peter Galison argues that their projects are related as well, through shared political views and methodological approach. The two main figures that connect the Vienna Circle to the Bauhaus—and the figures upon which Galison focuses—are Rudolf Carnap and Otto Neurath. Yet the connections that Galison develops do not properly capture the common themes between the Bauhaus and Neurath’s philosophical (...) projects. We demonstrate this by considering Neurath’s philosophical commitments. We suggest different connections between Neurath’s projects and the Bauhaus, connections that are both substantive and philosophically interesting. (shrink)

In this paper, I consider an argument for the claim that any satisfactory epistemology of mathematics will violate core tenets of naturalism, i.e. that mathematics cannot be naturalized. I find little reason for optimism that the argument can be effectively answered.

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)

We discuss Russell's 1913 essay arguing for the irrelevance of the idea of causation to science and its elimination from metaphysics as a precursor to contemporary philosophical naturalism. We show how Russell's application raises issues now receiving much attention in debates about the adequacy of such naturalism, in particular, problems related to the relationship between folk and scientific conceptual influences on metaphysics, and to the unification of a scientifically inspired worldview. In showing how to recover an approximation to Russell's conclusion (...) while explaining scientists' continuing appeal to causal ideas (without violating naturalism by philosophically correcting scientists) we illustrate a general naturalist strategy for handling problems around the unification of sciences that assume different levels of naïveté with respect to folk conceptual frameworks. We do this despite rejecting one of the premises of Russell's argument, a version of reductionism that was scientifically plausible in 1913 but is not so now. (shrink)

Given its importance in modern physics, philosophers of science have paid surprisingly little attention to the subject of symmetries and invariances, and they have largely neglected the subtopic of symmetry breaking. I illustrate how the topic of laws and symmetries brings into fruitful interaction technical issues in physics and mathematics with both methodological issues in philosophy of science, such as the status of laws of physics, and metaphysical issues, such as the nature of objectivity.

In this paper, I argue that Heisenberg's mature philosophy of quantum mechanics must be understood in the context of his epistemological project to reinterpret and redefine Kant's notion of the a priori. After discussions with Weizsäcker and Hermann in Leipzig in the 1930s, Heisenberg attempted to ground his interpretation of quantum mechanics on what might be termed a 'practical' transformation of Kantian philosophy. Taking as his starting point, Bohr's doctrine of the indispensability of classical concepts, Heisenberg argued that concepts such (...) as space, time and causality can be regarded as 'practically a priori', in so far as they remain the conditions for the possibility of experience and even of 'objective reality', though they are not universal and necessary in a strictly Kantian sense. We cannot avoid using classical concepts in the description of experiments in quantum theory, despite the fact that there are limits to their applicability. Such concepts are, for Heisenberg, historically contingent, yet indispensable in our time, because we have no other language through which we can describe and conceive of the interaction between 'object' and 'measuring device'. (shrink)

: Bereft of the illusion of an epistemic vantage point external to science, what should be our commitment towards the categories, concepts and terms of that very science? Should we, despaired of the possibility to found these concepts on rock bottom, adopt empiricist skepticism? Or perhaps the inexistence of external foundations implies, rather, immunity for scientific ontology from epistemological criticism? Philosophy's "realism debate" died out without providing a satisfactory answer to the dilemma, which was taken over by the neighboring disciplines. (...) The "symmetry principle" of the "StrongProgramme" for the sociology of science-the requirement that truth and error receive the same kind of causal explanations-offered one bold metaphysical answer, under the guise of a methodological decree. Recently, however, it has been argued that this solution is not bold enough, that the social constructivists replaced the naïve presumption of an independent nature which adjudicates our beliefs with a mirror-image presumption of a sui generis society which furnishes these beliefs autonomously. The proper metaphysics for a foundationless epistemology, argues Bruno Latour, is one which grants nature and society, object and subject, equal roles in the success and failure of science and technology; one in which history of society merges with a history of things-in-themselves. The paper analyzes the philosophical and methodological motivations and ramifications of this extraordinary suggestion. (shrink)

Logical positivism is often characterized as a set of naive doctrines on meaning, method, and metaphysics. In recent decades, however, historians have dismissed this view as a gross misinterpretation. This new scholarship raises a number of questions. When did the standard reading emerge? Why did it become so popular? And how could commentators have been so wrong? This essay reconstructs the history of a “caricature” and rejects the hypothesis that it was developed by ill-informed Anglophone scholars who failed to appreciate (...) the subtleties of European scientific philosophy. It argues that the received view has a more complicated history and was frequently promoted by the European positivists themselves. The essay shows that the view has roots in both American and European scientific philosophy and emerged as a result of the complex interplay between the two communities in the years before the intellectual migration. (shrink)

In his 1912 book _The Problems of Philosophy_, Bertrand Russell advocates an indirect realism with regard to physical objects. Only two years later, in his book _Our Knowledge of the External World_ and the paper “The Relation of Sense-Data to Physics”, he changes his method in philosophy. Instead of inferring the existence of physical objects, he now sets out to construct them out of sense-data. As I will argue in this article, the main argument from _The Problems of Philosophy_ can (...) be rationally reconstructed as an inference to the best explanation which infers to unobservable objects. The main motivation for the new approach in _Our Knowledge of the External World_, on the other hand, is to establish a more direct variant of realism, in particular because Russell became skeptical with regard to inferences to unobservable objects. As I will argue, the resulting theory of the physical world loses so much in simplicity that it becomes an unattractive alternative to his earlier position, and Russell’s reason for rejecting simplicity as a criterion of theory choice turns out to be inconsequential. (shrink)

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)

Recent years have witnessed a revival of interest in the method of explication as a procedure for conceptual engineering in philosophy and in science. In the philosophical literature, there has been a lively debate about the different desiderata that a good explicatum has to satisfy. In comparison, the goal of explicating the concept of explication itself has not been central to the philosophical debate. The main aim of this work is to suggest a way of filling this gap by explicating (...) ‘explication’ by means of conceptual spaces theory. Specifically, I show how different, strictly-conceptual readings of explication desiderata can be made precise as geometrical or topological constraints over the conceptual spaces related to the explicandum and the explicatum. Moreover, I show also how the richness of the geometrical representation of concepts in conceptual spaces theory allows us to achieve more fine-grained readings of explication desiderata, thereby overcoming some alleged limitations of explication as a procedure of conceptual engineering. (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)

For a long time, philosophers of science have expressed little interest in the so-called demarcation project that occupied the pioneers of their field, and most now concur that terms like “pseudoscience” cannot be defined in any meaningful way. However, recent years have witnessed a revival of philosophical interest in demarcation. In this paper, I argue that, though the demarcation problem of old leads to a dead-end, the concept of pseudoscience is not going away anytime soon, and deserves a fresh look. (...) My approach proposes to naturalize and down-size the concept, anchoring it in real-life doctrines and fields of inquiry. First, I argue against the definite article “the” in “the demarcation problem”, distinguishing between territorial and normative demarcation, and between different failures and shortcomings in science apart from pseudoscience. Next, I argue that pseudosciences can be fruitfully regarded as simulacra of science, doctrines that are not epistemically warranted but whose proponents try to create the impression that they are. In this element of imitation or mimicry, I argue, lies the clue to their common identity. Despite the huge variety of doctrines and beliefs gathered under the rubric of “pseudoscience”, and the wide range of defects from which they suffer, pseudosciences all engage in similar strategies to create an impression of epistemic warrant. The indirect, symptomatic approach defended here leads to a general characterization of pseudosciences in all domains of inquiry, and to a useful diagnostic tool. (shrink)

This essay looks at some of the key aspects of Hans Reichenbach’s career as a radio engineer, broadcaster, and producer. It argues that some of the themes of Reichenbach’s logical empiricism can be illuminated by looking at them in relation to his work as a radio engineer during and after World War One. It also argues that attention to the educational activities he undertook in the new broadcast radio medium can help us understand that affinities he saw between logical empiricism (...) and other modernizing projects of Weimar Germany. (shrink)

Formal criteria of theoretical equivalence are mathematical mappings between specific sorts of mathematical objects, notably including those objects used in mathematical physics. Proponents of formal criteria claim that results involving these criteria have implications that extend beyond pure mathematics. For instance, they claim that formal criteria bear on the project of using our best mathematical physics as a guide to what the world is like, and also have deflationary implications for various debates in the metaphysics of physics. In this paper, (...) I investigate whether there is a defensible view according to which formal criteria have significant non-mathematical implications, of these sorts or any other, reaching a chiefly negative verdict. Along the way, I discuss various foundational issues concerning how we use mathematical objects to describe the world when doing physics, and how this practice should inform metaphysics. I diagnose the prominence of formal criteria as stemming from contentious views on these foundational issues, and endeavor to motivate some alternative views in their stead. (shrink)

The aim of this paper is to argue that there existed relevant interactions between mechanics and geometry during the first half of the nineteenth century, following a path that goes from Gauss to Riemann through Jacobi. By presenting a rich historical context we hope to throw light on the philosophical change of epistemological categories applied by these authors to the fundamental principles of both disciplines. We intend to show that presentations of the changing status of the principles of mechanics as (...) a mere epiphenomenon of the emergence of non-Euclidean geometries are inaccurate, that the relations between the two disciplines were richer than what is usually considered in the literature. These claims will be based on historical and philosophical arguments, starting from the fact that disciplinary boundaries at the time were not rigid as we are used today. It is widely known that the main figures we target worked in different areas, which is a first piece of evidence for the plausibility of our main thesis. (shrink)

In this paper I argue that the positivist–conventionalist interpretation of the Restricted Principle of Relativity is flawed, due to the positivists’ own understanding of conventions and their origins. I claim in the paper that, to understand the conventionalist thesis, one has to diambiguate between three types of convention; the linguistic conventions stemming from the fundamental role of mathematical axioms, the conventions stemming from the coordination betweeh theoretical statements and physical, observable facts or entities, and conventions that are made possible by (...) possible revisions to theory. I claim that it is not possible to interpret the Principle of Relativity as based on one of these three types of convention. This renders the conventionalist interpretation of the Principle of Relativity untenable. The paper is part of a larger project that aims to understand the philosophical significance of the Principle of Relativity. (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)

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)

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 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)

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)

This dissertation examines representationalism about sensory phenomenology—the claim that for a sensory experience to have a particular phenomenal character is a matter of it having a particular representational content. I focus on a particular issue that is central to representationalism: whether reductive versions of the theory should be internalist or externalist. My primary goals are to demonstrate that externalist representationalism fails to provide a reductive explanation for phenomenal qualities, and to present a reductive internalist version of representationalism that utilizes the (...) empirical framework of psychophysics and neuroscience to develop a philosophical theory of content. The bulk of the project is an attempt to provide the outlines of what such an empirically-based representationalist theory would look like. In chapter 2, I argue that reductive externalist representationalism fails because it is vulnerable to the problem of bad structural correlation: the mismatch between the structure of phenomenal qualities and the structure of physical properties “tracked” by our sensory systems with which phenomenal qualities are identified. In chapter 3, I develop the outlines of a reductive internalist version of representationalism that characterizes phenomenal qualities as modes of presentation of sensory representations that can be reductively characterized in terms of a location in a psychophysically-defined quality space, which can in turn be given a neurophysiological interpretation. In addition, I argue that the neural mechanisms responsible for the representation of spatial locations and visual objects serve a referential role in sensory psychosemantics that grounds the intentionality of sensory states. In chapter 5 I provide a detailed account of the representation of spatial locations in sensory experience, and in chapter 6 I examine the “binding problem”, demonstrating how object-based sensory representations function to demonstratively pick out sensory individuals without explicitly representing any of their features. I describe the resulting view as methodological representationalism: an attempt to demonstrate how a particular philosophical theory of sensory phenomenology can be integrated into the empirical framework of cognitive science, and thereby provide an explanatory psychosemantic framework for sensory phenomenology that is valuable to both philosophers and cognitive scientists. (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)

W. V. Quine famously argues that though all knowledge is empirical, mathematics is entrenched relative to physics and the special sciences. Further, entrenchment accounts for the necessity of mathematics relative to these other disciplines. Michael Friedman challenges Quine’s view by appealing to historicism, the thesis that the nature of science is illuminated by taking into account its historical development. Friedman argues on historicist grounds that mathematical claims serve as principles constitutive of languages within which empirical claims in physics and the (...) special sciences can be formulated and tested, where these mathematical claims are themselves not empirical but conventional. For Friedman, their conventional, constitutive status accounts for the necessity of mathematics relative to these other disciplines. Here I evaluate Friedman’s challenge to Quine and Quine’s likely response. I then show that though we have reason to find Friedman’s challenge successful, his positive project requires further development before we can endorse it. (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)

This thesis offers a naturalist revision of Alain Badiou’s philosophy. This goal is pursued through an encounter of Badiou’s mathematical ontology and theory of truth with contemporary trends in philosophy of mathematics and philosophy of science. I take issue with Badiou’s inability to elucidate the link between the empirical and the ontological, and his residual reliance on a Heideggerian project of fundamental ontology, which undermines his own immanentist principles. I will argue for both a bottom-up naturalisation of Badiou’s philosophical approach (...) to mathematics and a top-down naturalisation. Articulating my particular understanding of what realism and naturalism should commit us to, I propose a creative fusion of Badiou’s attention to metamathematical results with a structural-informational metaphysics, proposing a ‘matherialism’ uniting the more daring speculative insights of the former with the naturalist and empiricist commitments motivating the latter. (shrink)

Quine is frequently acknowledged as one of the main proponents of both confi rmation holism and underdetermination. In the recent literature, however, his views have been often criticized and misrepresented: the distinction between the two theses has been often blurred, the obviousness of holism has been rejected, and the plausibility of underdetermination has come under attack. This paper attempts to formulate both theses as clearly as possible and to defend Quine’s views against some recurrent criticisms. In particular, it is argued (...) that Quine’s theses are signifi cantly weaker than they have been taken to be and that only confi rmation holism, but not underdetermination, plays a fundamental role in his philosophy. (shrink)