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 this paper, I defend the metalinguistic solution to the problem of mathematical omniscience for the possible-worlds account of propositions by combining it with a computational model of knowledge and belief. The metalinguistic solution states that the objects of belief and ignorance in mathematics are relations between mathematical sentences and what they express. The most pressing problem for the metalinguistic strategy is that it still ascribes too much mathematical knowledge under the standard possible-worlds model of knowledge and belief on which (...) these are closed under entailment. I first argue that Stalnaker's fragmentation strategy is insufficient to solve this problem. I then develop an alternative, computational strategy: I propose a model of mathematical knowledge and belief adapted from the algorithmic model of Halpern et al. which, when combined with the metalinguistic strategy, entails that mathematical knowledge and belief require computational abilities to access metalinguistic information, and thus aren't closed under entailment. As I explain, the computational model generalizes beyond mathematics to a version of the functionalist theory of knowledge and belief that motivates the possible-worlds account in the first place. I conclude that the metalinguistic and computational strategies yield an attractive functionalist, possible-worlds account of mathematical content, knowledge, and inquiry. (shrink)

The project of integrated HPS has occupied philosophers of science in one form or another since at least the 1960s. Yet, despite this substantial interest in bringing together philosophical and historical reflections on the nature of science, history of science and formal philosophy of science remain as divided as ever. In this paper, I will argue that the continuing separation between historical and formal philosophy of science is ill-founded. I will argue for this in both abstract and concrete terms. At (...) the abstract level, I reconstruct two possible arguments for the incompatibility of historical and formal philosophy of science and argue that they are both wanting. At the concrete level, I discuss how historical and formal philosophy of science have been brought together in practice, namely: in the form of a largely forgotten research tradition that I will refer to here as the study of formalized macro-units. After a brief exposition, I argue that this research tradition has been unduly overlooked by historically minded philosophers of science. Bringing together these observations, I argue that the divide between historical and formal philosophy of science is not grounded in any substantive arguments, but can be primarily attributed to disciplinary happenstance. (shrink)

According to the received view formal semantics applies to natural language to some extent only. It is so because natural language is inherently indefinite, in particular, its expressions are ambiguous, vague and admits departures from syntactic rule. Moreover, intensional contexts occur in ordinary language—it results in limitations of the principle of compositionality. The ordinary conversation appeals to various principles, for instance, Grice’s maxims which exceed logical formalism. Thus, ordinary language cannot be fully formalized. On the other hand, if L is (...) a formal language, its metalanguage ML, must be partially informal—for instance, it contains, terms of ordinary mathematics, especially set theory. Even, if, for instance, due to the technique of aritmetization, ML can be represented in L, such a representation is only local. In fact, this view can be derived from some Tarski’s remarks on the role played by natural language. It is usually assumed that the universality of natural language, is the source of troubles associated with antinomies. It is so this circumstance requires a solution, for example by distinguishing levels of language. However, even if antinomies are excluded, what is informal is prior with respect to what is formal. It shows that formal semantics has limitations even with respect to formalized languages. (shrink)

Three metascientific concepts that have been object of philosophical analysis are the concepts oflaw, model and theory. The aim ofthis article is to present the explication of these concepts, and of their relationships, made within the framework of Sneedean or Metatheoretical Structuralism (Balzer et al. 1987), and of their application to a case from the realm of biology: Population Dynamics. The analysis carried out will make it possible to support, contrary to what some philosophers of science in general and of (...) biology in particular hold, the following claims: a) there are "laws" in biological sciences, b) many of the heterogeneous and different "models" of biology can be accommodated under some "theory", and c) this is exactly what confers great unifying power to biological theories. (shrink)

Two metascientific concepts that have been ― and still are ― object of philosophical analysis are the concepts of model and theory. But while the concept of scientific theory was one of the concepts to which philosophers of science devoted most attention during the 20th century, it is only in recent decades that the concept of scientific model has come to occupy a central position in philosophical reflection. However, it has done so in such a way that, at present, as (...) Jim Bogen states in the back cover of the book Scientific Models in the Philosophy of Science, by Daniela Bailer-Jones, “[t]he standard philosophical literature on the role of models in scientific reasoning is voluminous, disorganized, and confusing”. In spite of this, one of the axes that would allow us to organize at least part of this literature, and with which Bailer-Jones’ book closes, is that which is identified as one of the “contemporary philosophical issues: how theories and models relate to each other” (Bailer-Jones 2009, p. 208).That is why, in this introduction to the special issues of Metatheoria devoted to the topic of “Models and Theories in Biology”, we will present the main advances that have been made in the philosophical analysis of the concepts of model and theory in general and in biology in particular, and we will also do the same with the answers that have been given to the problem of "how theories and models relate to each other”. (shrink)

What is the source of logical and mathematical truth? This book revitalizes conventionalism as an answer to this question. Conventionalism takes logical and mathematical truth to have their source in linguistic conventions. This was an extremely popular view in the early 20th century, but it was never worked out in detail and is now almost universally rejected in mainstream philosophical circles. Shadows of Syntax is the first book-length treatment and defense of a combined conventionalist theory of logic and mathematics. It (...) argues that our conventions, in the form of syntactic rules of language use, are perfectly suited to explain the truth, necessity, and a priority of logical and mathematical claims, as well as our logical and mathematical knowledge. (shrink)

In this paper, I argue from a metasemantic principle to the existence of analytic sentences. According to the metasemantic principle, an external feature is relevant to determining which concept one expresses with an expression only if one is disposed to treat this feature as relevant. This entails that if one isn’t disposed to treat external features as relevant to determining which concept one expresses, and one still expresses a given concept, then something other than external features must determine that one (...) does. I argue that, in such cases, what determines that one expresses the concept also puts one in a position to know that certain sentences are true—these sentences are thus analytic relative to this determination basis. Finally, I argue that there are such cases: some sentences are analytic relative to what determines that we express certain key concepts, and these sentences include ones that have always been thought to be the best candidates for being analytic, namely, stipulative truths, and first principles of mathematics. (shrink)

The book provides a historical and systematic exposition of the semantic theory of truth formulated by Alfred Tarski in the 1930s. This theory became famous very soon and inspired logicians and philosophers. It has two different, but interconnected aspects: formal-logical and philosophical. The book deals with both, but it is intended mostly as a philosophical monograph. It explains Tarski’s motivation and presents discussions about his ideas as well as points out various applications of the semantic theory of truth to philosophical (...) problems. (shrink)

There has been a growing trend to include non-causal models in accounts of scientific explanation. A worry addressed in this paper is that without a higher threshold for explanation there are no tools for distinguishing between models that provide genuine explanations and those that provide merely potential explanations. To remedy this, a condition is introduced that extends a veridicality requirement to models that are empirically underdetermined, highly-idealised, or otherwise non-causal. This condition is applied to models of electroweak symmetry breaking beyond (...) the Standard Model. (shrink)

We argue against the claim that the employment of diagrams in Euclidean geometry gives rise to gaps in the proofs. First, we argue that it is a mistake to evaluate its merits through the lenses of Hilbert’s formal reconstruction. Second, we elucidate the abilities employed in diagram-based inferences in the Elements and show that diagrams are mathematically reputable tools. Finally, we complement our analysis with a review of recent experimental results purporting to show that, not only is the Euclidean diagram-based (...) practice strictly regimented, it is rooted in cognitive abilities that are universally shared. (shrink)

Turing and Church formulated two different formal accounts of computability that turned out to be extensionally equivalent. Since the accounts refer to different properties they cannot both be adequate conceptual analyses of the concept of computability. This insight has led to a discussion concerning which account is adequate. Some authors have suggested that this philosophical debate—which shows few signs of converging on one view—can be circumvented by regarding Church’s and Turing’s theses as explications. This move opens up the possibility that (...) both accounts could be adequate, albeit in their own different ways. In this paper, I focus on the question of whether Church’s thesis can be seen as an explication in the precise Carnapian sense. Most importantly, I address an additional constraint that Carnap puts on the explicative power of axiomatic systems—an axiomatisation explicates when it is clear which mathematical entities form the theory’s intended model—and that implicitly applies to axiomatisations of recursion theory used in Church’s account of computability. To overcome this difficulty, I propose two possible clarifications of the pre-systematic concept of “computability” that can both be captured in recursion theory, and I show how both clarifications avoid an objection arising from Carnap’s constraint. (shrink)

Se examinan las motivaciones teóricas, los lineamientos generales y las principales variantes de dos modos complementarios de entender la naturaleza de la lógica. El primero centrado en logros técnicos alcanzados desde fines del siglo XIX, y el segundo vinculado con la reflexión clásica sobre la naturaleza de los principios de la actividad de la razón. Se pone énfasis en la importancia del vínculo constitutivo entre las reglas y leyes lógicas y la estructura del lenguaje, en particular de aquél que subyace (...) cuando el habla se orienta por pretensiones cognoscitivas. (shrink)

Due to their acceptance of the verifiability principle, the only way left for logical positivists to argue for the meaningfulness of religious language was to accept some sort of emotivistic conception of it or to reduce it to the description of religious attitude. The verifiability principle, however, suffers from some severe limitations that make it inadequate as a criterion for cognitive meaning. To resolve these problems, logical positivists gave up the requirement of conclusive verifiability and defended a sort of ‘liberalization’ (...) of the verifiability principle. Carnap’s confirmability criterion for cognitive meaning, which is a liberalized form of the verifiability principle, is compatible with an orthodox conception of religious language since, from a theistic perspective, the existence of God can be confirmed through our observational statements. (shrink)

Criteria of empirical significance are supposed to state conditions under which reference to an unobservable object or property is “empirically meaningful.” The intended kind of empirical meaningfulness should be necessary for admissibility into the selective contexts of scientific inquiry. I defend Justus’s recent argument that the reasons generally given for rejecting the project of defining a significance criterion are unpersuasive. However, as I show, this project remains wedded to an overly narrow conception of its subject matter. Even the most cutting (...) edge significance criteria identify empirical significance with predictive power, and thereby rule out vocabulary with legitimate scientific functions. In a nutshell, the problem is that there are terms that reduce the computational burden of extracting predictions from theory, and that may therefore be scientifically useful, but that do not add to the theory’s observational consequences, and so are ruled scientifically inadmissibility by existing significance criteria. I spell out this objection by specifying shortcut terms that are ruled inadmissible by Creath’s and Schurz’s criteria. Having objected in this way to extant criteria, and to the equation of empirical significance with predictive power in general, I discuss an approach to defining empirical significance that is capable of avoiding my objection and, more ambitiously, that may break the cycle of “punctures and patches” that has plagued the project from the beginning. I gloss Goldfarb and Ricketts’s idea of “case-by-case” delineations of empirically significant terms as the provision of special rather than general explications of the informal concept of empirical significance. (shrink)

Im Zentrum dieses Bandes stehen die Beiträge einer Tagung, die im Oktober 2017 an der Universität Konstanz stattgefunden hat. Thema der Tagung war ein den historischen Kontext einbeziehender Blick auf den frühen Rudolf Carnap, vom Ende des Ersten Weltkriegs bis zur Emigration Ende 1935. Der 1891 in Ronsdorf bei Wuppertal geborene Rudolf Carnap entschloss sich erst relativ spät zu einer Karriere als akademischer Philosoph, nämlich 1920, nachdem er sein durch den Krieg unterbrochenes Studium der Physik und Philosophie in Jena und (...) Freiburg abgeschlossen und kurze Zeit überlegt hatte, als Lehrer in der Schulreform-Bewegung zu arbeiten. Es folgte die philosophische Promotion im Jahr 1921, bei Bruno Bauch in Jena, mit einer Doktorarbeit zum Raumproblem. 1923 organisierte Carnap, gemeinsam mit Hans Reichenbach und anderen, eine für die Entstehung des Logischen Empirismus bedeutsame kleine Tagung in Erlangen. Auf Einladung von Moritz Schlick habilitierte er sich 1926 an der Universität Wien und verbrachte die Zeit bis 1931 zumindest teilweise in Wien, als eines der Kernmitglieder des Wiener Kreises um Moritz Schlick. Seine Habilitationsschrift erschien 1928 unter dem Titel Der logische Aufbau der Welt (hier immer Aufbau). 1931 folgte Carnap einem Ruf an die Deutsche Universität Prag. In den darauffolgenden Jahren blieb aber der enge Kontakt mit Wien und dem Wiener Kreis erhalten. Carnaps hauptsächliche Arbeit in dieser Zeit war seinem zweiten großen Buchprojekt gewidmet, der 1934 publizierten Logischen Syntax der Sprache. Daneben verfasste Carnap in seiner Zeit in Wien und Prag auch zahlreiche Aufsätze, zu unterschiedlichen Aspekten der Logik, der Metaphysikkritik und der Wissenschaftstheorie. Er war Mitautor des Manifests Wissenschaftliche Weltauffassung: Der Wiener Kreis und nahm regen Anteil an den zahlreichen wissenschaftlichen Aktivitäten des Logischen Empirismus, von der Gründung der Zeitschrift Erkenntnis bis hin zum Projekt einer Enzyklopädie der Einheitswissenschaft. Spätestens ab 1933 musste Carnap jedoch feststellen, dass an eine weitere wissenschaftliche Karriere in dem von Faschismus und Nationalsozialismus geprägten politischen Klima in Kontinentaleuropa nicht zu denken war. Er strebte deshalb die Emigration ins englischsprachige Ausland an, die schließlich Ende 1935 gelang, als Carnap ein Angebot von der Universität Chicago erhielt. Obwohl Carnap nur den kleineren Teil der in diesem Band abgedeckten eineinhalb Jahrzehnte in Wien verbracht hat, widmet sich der Großteil der hier versammelten Beiträge schwerpunktmäßig der für Carnaps philosophische Karriere zentralen Wiener Zeit. (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)

I look at the distinction between between realist and antirealist views of the quantum state. I argue that this binary classification should be reconceived as a continuum of different views about which properties of the quantum state are representationally significant. What's more, the extreme cases -- all or none --- are simply absurd, and should be rejected by all parties. In other words, no sane person should advocate extreme realism or antirealism about the quantum state. And if we focus on (...) the reasonable views, it's no longer clear who counts as a realist, and who counts as an antirealist. Among those taking a more reasonable intermediate view, we find figures such as Bohr and Carnap -- in stark opposition to the stories we've been told. (shrink)

Carnap suggests that philosophy can be construed as being engaged solely in conceptual engineering. I argue that since many results of the sciences can be construed as stemming from conceptual engineering as well, Carnap’s account of philosophy can be methodologically naturalistic. This is also how he conceived of his account. That the sciences can be construed as relying heavily on conceptual engineering is supported by empirical investigations into scientific methodology, but also by a number of conceptual considerations. I present a (...) new conceptual consideration that generalizes Carnap’s conditions of adequacy for analytic–synthetic distinctions and thus widens the realm in which conceptual engineering can be used to choose analytic sentences. I apply these generalized conditions of adequacy to a recent analysis of scientific theories and defend the relevance of the analytic–synthetic distinction against criticisms by Quine, Demopoulos, and Papineau. (shrink)

In this paper, I introduce and defend a notion of analyticity for formal languages. I first uncover a crucial flaw in Timothy Williamson’s famous argument template against analyticity, when it is applied to sentences of formal mathematical languages. Williamson’s argument targets the popular idea that a necessary condition for analyticity is that whoever understands an analytic sentence assents to it. Williamson argues that for any given candidate analytic sentence, there can be people who understand that sentence and yet who fail (...) to assent to it. I argue that, on the most natural understanding of the notion of assent when it is applied to sentences of formal mathematical languages, Williamson’s argument fails. Formal analyticity is the notion of analyticity that is based on this natural understanding of assent. I go on to develop the notion of formal analyticity and defend the claim that there are formally analytic sentences and rules of inference. I conclude by showing the potential payoffs of recognizing formal analyticity. (shrink)

The paper seeks to answer two new questions about truth and scientific change: What lessons does the phenomenon of scientific change teach us about the nature of truth? What light do recent developments in the theory of truth, incorporating these lessons, throw on problems arising from the prevalence of scientific change, specifically, the problem of pessimistic meta-induction?

A remarkable thing about natural language is that we can use it to share our beliefs and thoughts about the world with other speakers of our language. In cases of successful communication, beliefs seem to be transferred from speakers to hearers by means of the hearer recovering the contents of the speaker’s utterances. This is so natural to us that we take it for granted in our everyday life, and rarely stop to think about how it's is possible. Nevertheless, it's (...) a phenomenon that calls for explanation. It is natural to expect that natural language semantics has a key explanatory role to play here. In order to understand this role, we must relate the semantic values assigned to sentences by semantic theory with the content of our speech acts. The simplest possible relation would be identity; the meaning of a sentence is simply the belief expressed by an assertion of the sentence in a given context of utterance. However, a number of problem cases in the literature suggest that this cannot be the case. This dissertation offers a critical assessment of the arguments for distinguishing the semantic value of a sentence from it's so called assertoric content, focusing on problems arising from the analysis of tense and temporal expressions. I conclude that they are indeed distinct, and offer a constructive account of how they must be related in order to allow for an explanation of communicative success. (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)

My goal, in this paper, is to critically assess the categorization of “interpretations of probability” as it appears in the literature. In some sources only Carnap’s treatment of probability is understood to be the best example of “logical” probability. This is surprisingly narrow and I will here suggest otherwise. In fact, I believe that certain forms of Baysianism should also be included in the logical camp.

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)

This project investigates naturalized metaphysics as a recent trend in analytic metaphysics originating in the naturalist attitude of James Ladyman and Don Ross in their seminal work Everything must Go: Metaphysics Naturalized (2007). The primary focus, however, will be the more recent article “Neo-Positivist Metaphysics” (2012) by Alyssa Ney that originates in this tradition. The project will conclude that naturalized metaphysics is an unsuccessful attempt at an answer to the question ’how is metaphysics possible’. More precisely, the project will establish (...) that any answer to this question must instruct how to succeed at attempts at assertions about the Kantian thing in itself. This requirement is the result of an argument that no other conception of ’reality’ is robust enough to accommodate an ambitious metaphysics. Subsequently, it will be argued that naturalized metaphysics is conceived by its proponents as an attempt at such an answer, but that naturalized metaphysics does not provide the required instruction. This problem occurs because of Carnap’s challenge to metaphysics. Carnap observes that no assertion can be made outside a linguistic framework which has the consequence that metaphysical assertions must be about the conceptual conventions of the linguistic framework rather than the thing in itself. It is the view of Ney and the other proponents of naturalized metaphysics that metaphysics is possible as a naturalized metaphysics; a metaphysics that appropriately defers or yields to the findings of science. The project argues that this requirement does nothing to ensure that Carnap’s challenge is avoided. The challenge is equally significant to naturalized and non-naturalized metaphysics, so long as both require that successful attempts at metaphysics must be assertions about the thing in itself. -/- The project concludes that until or unless Carnap’s challenge is refuted, naturalized metaphysics remain impossible, just like the metaphysics it is supposed to replace. (shrink)

Manfred Eigen extended Erwin Schroedinger’s concept of “life is physics and chemistry” through the introduction of information theory and cybernetic systems theory into “life is physics and chemistry and information.” Based on this assumption, Eigen developed the concepts of quasispecies and hypercycles, which have been dominant in molecular biology and virology ever since. He insisted that the genetic code is not just used metaphorically: it represents a real natural language.However, the basics of scientific knowledge changed dramatically within the second half (...) of the 20th century.Unfortunately, Eigen ignored the results of the philosophy of science discourse on essential features of natural languages and codes: a natural language or code emerges from populations of living agents that communicate. This contribution will look at some of the highlights of this historical development and the results relevant for biological theories about life. (shrink)

My dissertation explores the ways in which Rudolf Carnap sought to make philosophy scientific by further developing recent interpretive efforts to explain Carnap’s mature philosophical work as a form of engineering. It does this by looking in detail at his philosophical practice in his most sustained mature project, his work on pure and applied inductive logic. I, first, specify the sort of engineering Carnap is engaged in as involving an engineering design problem and then draw out the complications of design (...) problems from current work in history of engineering and technology studies. I then model Carnap’s practice based on those lessons and uncover ways in which Carnap’s technical work in inductive logic takes some of these lessons on board. This shows ways in which Carnap’s philosophical project subtly changes right through his late work on induction, providing an important corrective to interpretations that ignore the work on inductive logic. Specifically, I show that paying attention to the historical details of Carnap’s attempt to apply his work in inductive logic to decision theory and theoretical statistics in the 1950s and 1960s helps us understand how Carnap develops and rearticulates the philosophical point of the practical/theoretical distinction in his late work, offering thus a new interpretation of Carnap’s technical work within the broader context of philosophy of science and analytical philosophy in general. (shrink)

Author's replies to an APA book symposium on "Carnap, Tarski, and Quine at Harvard.".

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)

This essay examines Friedman's recent approach to the analysis of physical theories. Friedman argues against Quine that the identification of certain principles as ‘constitutive’ is essential to a satisfactory methodological analysis of physics. I explicate Friedman's characterization of a constitutive principle, and I evaluate his account of the constitutive principles that Newtonian and Einsteinian gravitation presuppose for their formulation. I argue that something close to Friedman's thesis is defensible.

Scientific inquiry has led to immense explanatory and technological successes, partly as a result of the pervasiveness of scientific theories. Relativity theory, evolutionary theory, and plate tectonics were, and continue to be, wildly successful families of theories within physics, biology, and geology. Other powerful theory clusters inhabit comparatively recent disciplines such as cognitive science, climate science, molecular biology, microeconomics, and Geographic Information Science (GIS). Effective scientific theories magnify understanding, help supply legitimate explanations, and assist in formulating predictions. Moving from their (...) knowledge-producing representational functions to their interventional roles (Hacking 1983), theories are integral to building technologies used within consumer, industrial, and scientific milieus. -/- This entry explores the structure of scientific theories from the perspective of the Syntactic, Semantic, and Pragmatic Views. Each of these views answers questions such as the following in unique ways. What is the best characterization of the composition and function of scientific theory? How is theory linked with world? Which philosophical tools can and should be employed in describing and reconstructing scientific theory? Is an understanding of practice and application necessary for a comprehension of the core structure of a scientific theory? How are these three views ultimately related? (shrink)

The concept of a “scientific philosophy” first developed in the mid nineteenth century, as a reaction against what was viewed as the excessively speculative and metaphysical character of post-Kantian German idealism. One of the primary intellectual models of this movement was a celebrated address by Hermann von Helmholtz, “Über das Sehen des Menschen,” delivered at the dedication of a monument to Kant at Königsberg in 1855. Helmholtz begins by asking, on behalf of the audience, why a natural scientist like himself (...) is speaking in honor of a philosopher. This question only arises, he says, because of the current deplorable climate of enmity and mutual distrust between the two fields – a climate which is due, in Helmholtz’s opinion, to the entirely speculative system of Naturphilosophie that Schelling and Hegel have erected wholly independent of, and even in open hostility towards, the actual positive results of the natural sciences. What Helmholtz is now recommending, however, is a return to the close cooperation between the two fields exemplified in the work of Kant, who himself made significant contributions to natural science , and, in general, “stood in relation to the natural sciences together with the natural scientists on precisely the same fundamental principles.”1 And it was this recommendation that was enthusiastically embraced within the emerging “back to Kant!” movement, where it led to the idea that all metaphysics should be replaced by the new discipline of “epistemology” or “theory of knowledge” , so that philosophy itself would now become “scientific.”. (shrink)

Der Begriff ‘Modell’ leitet sich vom Lateinischen ‘modulus’ (das Maß) ab, im Italienischen existiert seit dem 16. Jh. ‘modello’ und R. Descartes verwendet im 17. Jh. ‘modèlle’. Während der Begriff in Architektur und Kunst schon seit der Renaissance gängig ist, wird er in den Naturwissenschaften erst im 19. Jh. verwendet.1 Dort greifen wissenschaftliche Modelle die für eine gegebene Problemstellung als wesentlich erachteten Charakteristika (Eigenschaften, Beziehungen, etc.) eines Untersuchungsgegenstandes heraus und machen diesen so einem Verständnis bzw. einer weiterführenden Untersuchung zugänglich. Es (...) ist üblich, zwischen Skalenmodellen, Analogmodellen und theoretischen Modellen zu unterscheiden. (shrink)

Carnap’s work was instrumental to the liberalization of empiricism in the 1930s that transformed the logical positivism of the Vienna Circle to what came to be known as logical empiricism. A central feature of this liberalization was the deployment of the Principle of Tolerance, originally introduced in logic, but now invoked in an epistemological context in “Testability and Meaning”. Immediately afterwards, starting with Foundations of Logic and Mathematics, Carnap embraced semantics and turned to interpretation to guide the choice of a (...) theoretical language for science. The first thesis of this paper is that recourse to an intended interpretation led to a partial retrenchment of the conventionalism implied by the Principle of Tolerance. It required that the choice of a language be based on abstraction from a context; this procedure later became a component of the process of explication that was distinctive to Carnap’s mature views. The interpretive origin of formal systems also ensured their likely syntactic consistency, an issue on which Carnap was strongly criticized by figures such as Beth and Gödel. The second thesis of this paper is that this reliance on an intended interpretation enabled constructed formal systems to be relevant to the development of empirical science. (shrink)

I provide an explicit formulation of empirical adequacy, the central concept of constructive empiricism, and point out a number of problems. Based on one of the inspirations for empirical adequacy, I generalize the notion of a theory to avoid implausible presumptions about the relation of theoretical concepts and observations, and generalize empirical adequacy with the help of approximation sets to allow for lack of knowledge, approximations, and successive gain of knowledge and precision. As a test case, I provide an application (...) of these generalizations to a simple interference phenomenon. (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)

Abstract Artificial language philosophy (also called ‘ideal language philosophy’) is the position that philosophical problems are best solved or dissolved through a reform of language. Its underlying methodology—the development of languages for specific purposes—leads to a conventionalist view of language in general and of concepts in particular. I argue that many philosophical practices can be reinterpreted as applications of artificial language philosophy. In addition, many factually occurring interrelations between the sciences and philosophy of science are justified and clarified by the (...) assumption of an artificial language methodology. (shrink)

This paper concerns the issue of whether the so-called left wing of the Vienna Circle (Carnap, Neurath, Frank) can be understood as having provided the blueprint for a bipartite metatheory with a formal-logical part (the “logic of science”) supporting and being supported by a naturalistic-empirical part (the “behavioristics of science”). A claim to this effect was recently met by a counterclaim that there was indeed an attempt made to broaden Carnap’s formalist conception of philosophy by the pragmatist Morris, but that (...) this initiative failed and that Carnap showed no interest in it. To defend the original claim this paper provides an analysis of Carnap and Morris on the subject matter of pragmatics in order to show that and how Carnap adopted Morris’s proposals in so far as they agreed with bipartite metatheory conception. (shrink)

The aim of this paper is make a contribution to the ongoing search for an adequate concept of the a priori element in scientific knowledge. The point of departure is C.I. Lewis’s account of a pragmatic a priori put forward in his "Mind and the World Order" (1929). Recently, Hasok Chang in "Contingent Transcendental Arguments for Metaphysical Principles" (2008) reconsidered Lewis’s pragmatic a priori and proposed to conceive it as the basic ingredient of the dynamics of an embodied scientific reason. (...) The present paper intends to further elaborate Chang’s account by relating it with some conceptual tools from cognitive semantics and certain ideas that first emerged in the context of the category-theoretical foundations of mathematics. (shrink)

Whether meaning is compositional has been a major issue in linguistics and formal philosophy of language for the last 2 decades. Semantic holism is widely and plausibly considered as an objection to the principle of semantic compositionality therein. It comes as a surprise that the holistic peculiarities of scientific language have been rarely addressed in formal accounts so far, given that semantic holism has its roots in the philosophy of science. For this reason, a model-theoretic approach to semantic holism in (...) the language of science is presented here. This approach preserves compositionality to a large extent. *Received September 2009; revised February 2010. †To contact the author, please write to: Seminar for Philosophy, Logic, and Theory of Science, Hauspostfach 49, Ludwig-Maximilians-Universität, Munich 80539, Germany; e-mail: [email protected]. (shrink)

Each science has its own domain of investigation, but one and the same science can be formalized in different languages with different universes of discourse. The concept of the domain of a science and the concept of the universe of discourse of a formalization of a science are distinct, although they often coincide in extension. In order to analyse the presuppositions and implications of choices of domain and universe, this article discusses the treatment of omega arguments in three very different (...) formalizations of arithmetic. In Peano's formalization the domain is a restricted class of individuals, while the universe of discourse is the unrestricted class of all individuals. In Gödel's formalization the domain is a restricted class of individuals as in Peano's formalization, but the universe of discourse coincides with the domain. In Whitehead-Russell's formalization the domain is a class of logical notions in Tarski's sense, that are necessarily not individuals, whereas the universe of discourse is the unrestricted class of individuals as in Peano's formalization. The present approach emphasizes the viewpoint that the universe of discourse of a given discourse is important in determining which propositions are expressed by which sentences. (shrink)

In this paper, a new account of empirical claims in structuralism is developed. Its novelty derives from the use that is made of the linguistic approach to scientific theories despite the presumed incompatibility of structuralism with that approach. It is shown how the linguistic approach can be applied to the framework of structuralism if the semantic foundations of that approach are refined to do justice to the doctrine of indirect interpretation of theoretical terms. This doctrine goes back to Carnap but (...) has been advanced until the present day without a proper semantic explanation. (shrink)

Both realists and instrumentalists have found it difficult to understand (much less accept) Carnap's developed view on theoretical terms, which attempts to stake out a neutral position between realism and instrumentalism. I argue that Carnap's mature conception of a scientific theory as the conjunction of its Ramsey sentence and Carnap sentence can indeed achieve this neutral position. To see this, however, we need to see why the Newman problem raised in the context of recent work on structural realism is no (...) problem for Carnap's conception; and we also need to locate Carnap's work on theoretical terms within his wider program of Wissenschaftslogik or the logic of science. (shrink)

Many commentators on Alfred Tarski have, following Hartry Field, claimed that Tarski's truth-definition was motivated by physicalism—the doctrine that all facts, including semantic facts, must be reducible to physical facts. I claim, instead, that Tarski did not aim to reduce semantic facts to physical ones. Thus, Field's criticism that Tarski's truth-definition fails to fulfill physicalist ambitions does not reveal Tarski to be inconsistent, since Tarski's goal is not to vindicate physicalism. I argue that Tarski's only published remarks that speak approvingly (...) of physicalism were written in unusual circumstances: Tarski was likely attempting to appease an audience of physicalists that he viewed as hostile to his ideas. In later sections I develop positive accounts of: (1) Tarski's reduction of semantic concepts; (2) Tarski's motivation to develop formal semantics in the particular way he does; and (3) the role physicalism plays in Tarski's thought. (shrink)

There has been an empiricist tradition in the core of Logical Positivism/Empiricism, starting with Moritz Schlick and ending in Herbert Feigl (via Hans Reichenbach), according to which the world of empiricism need not be a barren place devoid of all the explanatory entities posited by scientific theories. The aim of this paper is to articulate this tradition and to explore ways in which its key elements can find a place in the contemporary debate over scientific realism. It presents a way (...) empiricism can go for scientific realism without metaphysical anxiety, by developing an indispensability argument for the adoption of the realist framework. This argument, unlike current realist arguments, has a pragmatic ring to it: there is no ultimate argument for the adoption of the realist framework. (shrink)