Conventionalism about mathematics claims that mathematical truths are true by linguistic convention. This is often spelled out by appealing to facts concerning rules of inference and formal systems, but this leads to a problem: since the incompleteness theorems we’ve known that syntactic notions can be expressed using arithmetical sentences. There is serious prima facie tension here: how can mathematics be a matter of convention and syntax a matter of fact given the arithmetization of syntax? This challenge has been pressed in (...) the literature by Hilary Putnam and Peter Koellner. In this paper I sketch a conventionalist theory of mathematics, show that this conventionalist theory can meet the challenge just raised , and clarify the type of mathematical pluralism endorsed by the conventionalist by introducing the notion of a semantic counterpart. The paper’s aim is an improved understanding of conventionalism, pluralism, and the relationship between them. (shrink)

Many papers have been devoted to the semantic turn Carnap took in the late 1930s after Tarski had explained to him his method for defining truth and his work on the establishment of scientific semantics. Commentators have often argued that the major turn in Carnap’s approach to languages had already been taken in the Logical Syntax of Language, but they have usually assumed that Carnap was happy to subsequently follow Tarski and adopt Tarskian semantics. In this paper, it is argued (...) that this assumption needs to be qualified and that Carnap was actually far from following Tarski when he decided to complement his syntactic method with a semantic one. Carnap and Tarski had different goals, divergent programs, and dissenting views on truth and semantics. After exploring several possible methods for the explication of logical concepts such as L-truth and L-implication, Carnap opted for definitions based on concepts he had found in Wittgenstein’s Tractatus and Waismann’s work on a logical interpretation of probability. Carnap’s reasons for taking a semantic turn are to be understood in the context of his principle of tolerance. He first hoped he could use Tarski’s technique to recover in the semantic setting the completeness result he had tried to establish in the Logical Syntax. His eventual adoption of non-Tarskian semantics can be accounted for by his program of a logical analysis of science—including empirical science—and his ambition to elaborate a unified logical framework for deductive, inductive, and modal logic, and for explicating analyticity. (shrink)

I examine the thesis that Otto Neurath anticipated the programme of naturalised epistemology already at the time of the Vienna Circle and consider the relation between Neurath's proposals and those of two contemporary theorists whose research programmes he would thus have broadly anticipated. The thesis is confirmed by reference to Neurath's own writings. The connection between Neurath's programme and the programmes of his two successors considered here, however, is found to be highly indirect in one case and nonexistent in the (...) other — despite their undeniable overlap. (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)

This paper seeks to evaluate the potential of the Newman objection to function as an immanent critique of Carnap's use of the Ramsey method of regimenting scientific theories. Stress is laid on the distinctive way in which ramseyfications are used by Carnap to formulate the analytic/synthetic distinction for the theoretical language and on the difference between the ontological and the epistemic readings of the Newman objection. While the former reading of the Newman objection is rejected as trading on an assumption (...) that Carnap did not share, the latter is accepted as critical. It is argued to turn on overlooking that the Ramsey sentence constitutes an idealization concerning which our normal expectations of what theories are like are bound to be frustrated. This idealisation need not reflect Carnap's considered view but can be regarded as adopted solely for the project of semantic explication. The distinctions drawn in the course of the argument also help to motivate Carnap's abstention from the discourse of realism and its denial. (shrink)

Carnap’s lectures at the 1935 Paris Congress for the Unity of Science marked the beginning of his mature metaphilosophy. This paper considers what role remained for epistemology once it was “purified” of all psychological elements as Carnap there demanded. It is argued that while this did mean the end of traditional epistemology, room was found for nontraditional versions in the course of the further development of Carnap’s logic of science.

ABSTRACT Arne Naess once called himself ?a kind of metaphysician?: did or did he not therewith turn his back on his philosophical mentors in the Vienna Circle? To try to determine the meaning of this self-ascription, this paper first considers in detail two works in which his disagreements with the philosophers of the Vienna Circle found their clearest and most detailed expression. Concentrating on Carnap it will be argued that while some of Naess's criticisms cannot be taken as authoritative, he (...) did indicate a clear dividing line between himself and Carnap. Turning then to Naess's valediction to philosophy of science from 1972, Naess's appreciation of the role of metaphysics for science will be discussed and compared with his appreciation for the role of metaphysics for personal and political life as expressed in his still later ecophilosophy. Once allowance is made for the different needs addressed by his writings for the deep ecology movement and a certain 1960s' rhetoric is discounted as no longer appropriate, it can be seen that Naess's theoretical philosophy exhibited a remarkable continuity throughout. (shrink)

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

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)

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)

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.

Patrick Suppes'' set-theoretical approach to the analysis of theories, and Joseph D. Sneed''s metatheory are briefly outlined. The notions of observation, illusion and hallucination are reconstructed according to these approaches. It is argued that the terms perception and truth are theoretical with respect to observation but nontheoretical with respect to illusion and hallucination. Hallucination is construed as a special kind of illusion.

Patrick Suppes' set-theoretical approach to the analysis of theories, and Joseph D. Sneed's metatheory are briefly outlined. The notions of observation, illusion and hallucination are reconstructed according to these approaches. It is argued that the terms ‘perception’ and ‘truth’ are theoretical with respect to observation but nontheoretical with respect to illusion and hallucination. Hallucination is construed as a special kind of illusion.

In the spring of 1937, the University of Chicago Press mailed hundreds of subscription forms for its latest enterprise – a projected series of twenty short monographs by various philosophers and scientists. Together the monographs were to form the first section of the International Encyclopedia of Unified Science. Included in each mailing was an introductory prospectus which began:Recent years have witnessed a striking growth of interest in the scientific enterprise as a whole and especially in the unity of science. The (...) concern throughout the world for the logic of science, the history of science, and the sociology of science reveals a comprehensive international movement interested in considering science as a whole in terms of the scientific temper itself. A science of science is appearing. The extreme specialization within science demands as its corrective an interest in the scientific edifice in its entirety. This is especially necessary if science is to satisfy its inherent urge for the systematization of its results and methods and if science is to perform adequately its educational role in the modern world. Science is gradually rousing itself for the performance of its total task. (shrink)

Standard approaches to possible-world semantics allow us to define necessity and logical truth, but analyticity is considerably more difficult to account for. The source of this difficulty lies in the received model-theoretical conception of a language interpretation. In intuitive terms, analyticity amounts to truth in virtue of meaning alone, i.e. solely in virtue of the interpretation of linguistic expressions. In other words, an analytic sentence should remain true under all variations of ‘extralinguistic reality’ as long as the interpretation is kept (...) constant. However, the received conception of an interpretation as a mapping from language to a model frame hinders keeping the interpretation constant while varying other components of the model. To make room for analyticity, the concept of an interpretation should therefore be revised. The latter should be made richer in content than it has usually been assumed. As a by-product, this revision also gives us a one-dimensional analogue of the influential two-dimensional account of a priori. We are thus able to map out the network of formal connections between the notions of analyticity, apriority, logical truth and necessity. (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)

The main approaches to semiotic inquiry today contradict the idea of the individual as a separate and self-sufficient entity. The body of an organism in the micro- and macrocosm is not an isolated biological entity, it does not belong to the individual, it is not a separate and self-sufficient sphere in itself. The body is an organism that lives in relation to other bodies, it is intercorporeal and interdependent. This concept of the body finds confirmation in cultural practices and worldviews (...) based on intercorporeity, interdependency, exposition and opening, though nowadays such practices are almost extinct. An approach to semiotics that is global and at once capable of surpassing the illusory idea of definitive and ultimate boundaries to identity presupposes dialogue and otherness. Otherness obliges identity to question the tendency to totalizing closure and to reorganize itself always anew in a process related to ‘infinity’, as Emmanuel Levinas teaches us, or to ‘infinite semiosis’, to say it with Charles Sanders Peirce. Another topic of this paper is the interrelation in anthroposemiosis between man and machine and the implications involved for the future of humanity. Our overall purpose is to develop global semiotics in the direction of “semioethics”, as proposed by S.Petrilli and A. Ponzio and their ongoing research. (shrink)

The indispensability argument comes in many different versions that all reduce to a general valid schema. Providing a sound IA amounts to providing a full interpretation of the schema according to which all its premises are true. Hence, arguing whether IA is sound results in wondering whether the schema admits such an interpretation. We discuss in full details all the parameters on which the specification of the general schema may depend. In doing this, we consider how different versions of IA (...) can be obtained, also through different specifications of the notion of indispensability. We then distinguish between schematic and genuine IA, and argue that no genuine sound IA is available or easily forthcoming. We then submit that this holds also in the particularly relevant case in which indispensability is conceived as explanatory indispensability. (shrink)

Syntactic approaches in the philosophy of science, which are based on formalizations in predicate logic, are often considered in principle inferior to semantic approaches, which are based on formalizations with the help of structures. To compare the two kinds of approach, I identify some ambiguities in common semantic accounts and explicate the concept of a structure in a way that avoids hidden references to a specific vocabulary. From there, I argue that contrary to common opinion (i) unintended models do not (...) pose a significant problem for syntactic approaches to scientific theories, (ii) syntactic approaches can be at least as language-independent as semantic ones, and (iii) in syntactic approaches, scientific theories can be as well connected to the world as in semantic ones. Based on these results, I argue that syntactic and semantic approaches fare equally well when it comes to (iv) ease of application, (v) accommodating the use of models in the sciences, and (vi) capturing the theory-observation relation. (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)

Carnap’s search for a criterion of empirical significance is usually considered a failure. I argue that the results from two out of his three different approaches are at the very least problematic, but that one approach led to success. Carnap’s criterion of translatability into logical syntax is too vague to allow for definite results. His criteria for terms—introducibility by chains of reduction sentences and his criterion from “The Methodological Character of Theoretical Concepts”—are almost trivial and have no clear relation to (...) the empirical significance of sentences. However, his criteria for sentences—translatability, verifiability, falsifiability, confirmability—are usable, and under the assumptions needed for the Carnap sentence approach, verifiability, falsifiability, and translatability become equivalent. As a result of the Carnap sentence approach, metaphysics is rendered analytic. (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)

From 1953 to 1959 Gödel worked on a response to Carnap’s philosophy of mathematics. The drafts display Gödel’s familiarity with Carnap’s position from The Logical Syntax of Language, but they received a dismissive reaction on their eventual, posthumous, publication. Gödel’s two principal points, however, will here be defended. Gödel, though, had wished simply to append a few paragraphs to show that the same arguments apply to Carnap’s later views. Carnap’s position, however, had changed significantly in the intervening years, and to (...) a significant extent, this mature position realizes much of what Gödel himself wanted out of a philosophy of mathematics. (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)

Rudolf Carnap’s logical pluralism is often held to be one in which corresponding connectives in different logics have different meanings. This paper presents an alternative view of Carnap’s position, in which connectives can and do share their meaning in some contexts. This re-interpretation depends crucially on extending Carnap’s linguistic framework system to include meta-linguistic frameworks, those frameworks which we use to talk about linguistic frameworks. I provide an example that shows how this is possible, and give some textual evidence that (...) Carnap would agree with this interpretation. Additionally, I show how this interpretation puts the Carnapian position much more in line with the position given in Shapiro than had been thought before. (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)

The paper analyses Frege's approach to the identity conditions for the entity labelled by him as Sinn. It starts with a brief characterization of the main principles of Frege's semantics and lists his remarks on the identity conditions for Sinn. They are subject to a detailed scrutiny, and it is shown that, with the exception of the criterion of intersubstitutability in oratio obliqua, all other criteria have to be discarded. Finally, by comparing Frege's views on Sinn with Carnap's method of (...) extension and intension and the method of intensional isomorphism, it is proved that these methods do not provide a criterion for the identity of Frege's Sinn, even for extensional contexts, that the concept of intension does not coincide, as stated by Carnap, in these contexts, with Frege's concept of Sinn, and that Carnap's claim that in oratio obliqua Frege's semantics leads to an infinite hierarchy of Sinn entities can be questioned at least hypothetically in the light of certain new historical facts. (shrink)

El presente escrito se propone presentar el modelo de tres niveles del conocimiento científico (datos, fenómenos y teorías) desde los recientes resultados de la filosofía de la ciencia obtenidos por dos perspectivas filosóficas particulares: el nuevo experimentalismo y el enfoque semántico de las teorías. Para ello contrasta los planteamientos principales de estas dos perspectivas con el modelo de dos niveles del conocimiento científico (observación y teoría) del positivismo lógico, que dominó el panorama de la filosofía de la ciencia en las (...) primeras seis décadas del siglo XX. (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)

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)

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)

This paper considers various objections to Carnap’s logical syntax definition of ’logical expression’, including those by Saunders Mac Lane and W. V. O. Quine. While the specific objections of these two authors can be answered, if necessary by a slight modification of Carnap’s definition, there are other objections that I do not see how to meet. I also consider the proposal by Denis Bonnay for avoiding the objections to Carnap’s definition. In light of the unresolved problems with Carnap’s definition, I (...) go on to consider what Carnap’s assumptions must have been in framing his definition and to assess how much damage is caused by this failure of Carnap’s definition. This damage is not as much as might be assumed. (shrink)

Postmodernism has established a significant hold in educational thought and some of the most important ideas are to be found in the writings of Michael Peters. This paper examines his postmodern stance and use of Lyotard's account of knowledge, and from a naturalist point of view raises a number of objections centred on science as a metanarrative, the unity of the empirical and the evaluative, and reason, truth and the growth of knowledge. It is concluded that postmodern epistemology, unlike naturalism, (...) does not serve education well. (shrink)

Postmodernism has established a significant hold in educational thought and some of the most important ideas are to be found in the writings of Michael Peters. This paper examines his postmodern stance and use of Lyotard's account of knowledge, and from a naturalist point of view raises a number of objections centred on science as a metanarrative, the unity of the empirical and the evaluative, and reason, truth and the growth of knowledge. It is concluded that postmodern epistemology, unlike naturalism, (...) does not serve education well. (shrink)

: This paper contains the analysis of nine interviews with UK scientists on the topic of scientific models. Scientific models are an important, very controversially discussed topic in philosophy of science. A reasonable expectation is that philosophical conceptions of models ought to be in agreement with scientific practice. Questioning practicing scientists on their use of and views on models provides material against which philosophical positions can be measured.

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)

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)

Some scientific theories are inconsistent, yet non-trivial and meaningful. How is that possible? The present paper aims to show that we can analyse the inferential use of such theories in terms of consistent compositions of the applications of universal axioms. This technique will be represented by a preferred models semantics, which allows us to accept the instances of universal axioms selectively. For such a semantics to be developed, the framework of partial structures by da Costa and French will be extended (...) by a few elements of the Sneed formalism, also known as the structuralist approach to science. (shrink)

This paper aims to set forth Carnapian structuralism, i.e., a syntactic view of the structuralist approach which is deeply inspired by Carnap’s dual level conception of scientific theories. At its core is the axiomatisation of a metatheoretical concept AE(T) which characterises those extensions of an intended application that are admissible in the sense of being models of the theory-element T and that satisfy all links, constraints and specialisations. The union of axiom systems of AE(T) (where T is an element of (...) the theory-net N) will allow us to present scientific theories in an axiomatic fashion so that deductive reasoning in science can be formalised. Thereupon defeasible and paraconsistent means of reasoning will be introduced. The logical study of scientific reasoning is the key motivation of Carnapian structuralism. A further motivation is to help overcome the syntactic-semantic split in the philosophy of science. (shrink)