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)

The likelihood principle (LP) is a core issue in disagreements between Bayesian and frequentist statistical theories. Yet statements of the LP are often ambiguous, while arguments for why a Bayesian must accept it rely upon unexamined implicit premises. I distinguish two propositions associated with the LP, which I label LP1 and LP2. I maintain that there is a compelling Bayesian argument for LP1, based upon strict conditionalization, standard Bayesian decision theory, and a proposition I call the practical relevance principle. In (...) contrast, I argue that there is no similarly compelling argument for or against LP2. I suggest that these conclusions lead to a restrictedly pluralistic view of Bayesian confirmation measures. (shrink)

To consider metaphysical claims a priori and devoid of empirical content, is a rather commonplace received opinion. This paper attempts an exploration of a contemporary philosophical heresy: it is possible to test metaphysical claims if they play an indispensable role in producing empirical success, i.e. novel predictions. To do so one, firstly, needs to express the metaphysical claims employed in the logico-mathematical language of a scientific theory, i.e. to explicate them. Secondly, one should have an understanding of what it is (...) to test and to verify or to falsify a metaphysical claim. Finally, one also need to consider the philosophical practice of testing a metaphysical claim. These three aspects are introduced in this paper and they are illustrated by means of the metaphysical concept of common cause and the principle of the common cause. (shrink)

This essay offers a conception of logic by which logic may be considered to be exceptional among the sciences on the backdrop of a naturalistic outlook. The conception of logic focused on emphasises the traditional role of logic as a methodology for the sciences, which distinguishes it from other sciences that are not methodological. On the proposed conception, the methodological aims of logic drive its definitions and principles, rather than the description of scientific phenomena. The notion of a methodological discipline (...) is explained as a relation between disciplines or practices. Logic serves as a methodological discipline with respect to any theoretical practice, and this generality, as well as logic’s reflexive nature, distinguish it from other methodological disciplines. Finally, the evolution of model theory is taken as a case study, with a focus on its methodological role. Following recent work by John Baldwin and Juliette Kennedy, we look at model theory from its inception in the mid-twentieth century as a foundational endeavour until developments at the end of the century, where the classification of theories has taken centre-stage. (shrink)

A probability distribution is regular if it does not assign probability zero to any possible event. Williamson argued that we should not require probabilities to be regular, for if we do, certain “isomorphic” physical events must have different probabilities, which is implausible. His remarks suggest an assumption that chances are determined by intrinsic, qualitative circumstances. Weintraub responds that Williamson’s coin flip events differ in their inclusion relations to each other, or the inclusion relations between their times, and this can account (...) for their differences in probability. Haverkamp and Schulz rebut Weintraub, but their rebuttal fails because the events in their example are even less symmetric than Williamson’s. However, Weintraub’s argument also fails, for it ignores the distinction between intrinsic, qualitative differences and relations of time and bare identity. Weintraub could rescue her argument by claiming that the events differ in duration, under a non-standard and problematic conception of duration. However, we can modify Williamson’s example with Special Relativity so that there is no absolute inclusion relation between the times, and neither event has longer duration except relative to certain reference frames. Hence, Weintraub’s responses do not apply unless chance is observer-relative, which is also problematic. Finally, another symmetry argument defeats even the appeal to frame-dependent durations, for there the events have the same finite duration and are entirely disjoint, as are their respective times and places. (shrink)

This paper synthesizes confirmation by instances and confirmation by successful predictions, and thereby the Hempelian and the hypothetico-deductive traditions in confirmation theory. The merger of these two approaches is subsequently extended to the piecemeal confirmation of entire theories. It is then argued that this synthetic account makes a useful contribution from both a historical and a systematic perspective.

Objective standards for justification or for being a reason would be desirable, but inductive skepticism tells us that they cannot be presupposed. Rather, we have to start from subjective-relative notions of justification and of being a reason. The paper lays out the strategic options we have given this dilemma. The paper explains the requirements for this subject-relative notion and how they may be satisfied. Then it discusses four quite heterogeneous ways of providing more objective standards, which combine without guaranteeing complete (...) success. (shrink)

ABSTRACT Conceptual engineering provides a prima facie attractive alternative to traditional, conceptual analysis based approaches to philosophical method – particularly for those with doubts about the epistemic merits of intuition. As such, it seems to be a natural fit for those persuaded by the critiques of intuition offered by experimental philosophy. Recently, a number of authors [Schupbach, J. 2015. “Experimental Explication.” Philosophy and Phenomenological Research 94 : 672–710; Shepherd, J., and J. Justus. 2015. “X-Phi and Carnapian Explication.” Erkenntnis 80 : (...) 381–402; Fisher, J. 2015. “Pragmatic Experimental Philosophy.” Philosophical Psychology 28: 412–433; Machery, E. 2017. Philosophy Within its Proper Bounds. Oxford University Press] have suggested that experimental philosophy might be employed in service of conceptual engineering. In this paper, I provide a novel argument for x-phi’s relevance to conceptual engineering, based on a ‘functionalist’ approach to conceptual engineering. In short, I argue that experimental philosophy is distinctively well-suited to investigation of the purposes or functions which our concepts serve, and the means by which they fulfil those functions. Experimental philosophy thereby uncovers potential engineering solutions that may serve as models for the conceptual engineer. (shrink)

In his new book, The Force of Law, Frederick Schauer maintains that law has no necessary properties, and that therefore jurisprudents should not assume that an inquiry into the nature of law has to be a search for such properties. I argue, however, that Schauer's attempt to show that legal anti-essentialism is a defensible position fails, because his one main argument is either irrelevant or else incomplete, depending on how one understands it, and because the other main argument is false.

There are presently two approaches to the study of well-being. Philosophers typically focus on normative theorizing, attempting to identify the things that are ultimately good for a person, while largely ignoring empirical research. The idea is that empirical attention cannot be directed to the right place without a rigorous theory. Meanwhile, social scientists typically focus on empirical research, attempting to identify the causes and consequences of well-being, while largely ignoring normative theorizing. The idea is that conceptual and theoretical clarity will (...) come with time and more data. This paper argues that neither is a good approach to the study of well-being. The traditional philosophical approach underappreciates the vital importance of empirical investigation, while the atheoretical empirical approach underappreciates the vital importance of normative theorizing. The proposed solution is to bring these methods together. Well-being research should be interdisciplinary. The paper proposes a “conceptual engineering” approach as a novel alternative. This approach involves an iterative process of normative theorizing, empirical investigation, and conceptual revision, with the aim of articulating concepts and theories of well-being that optimally suit particular interests and purposes. (shrink)

Robert Alexy's claim that law of necessity has a dual nature raises many interesting philosophical questions. In this article, I consider some of these questions, such as what the meaning of the correctness thesis is, whether Alexy's discourse theory supports this thesis, and whether the thesis is defensible; whether Alexy's argument from anarchy and civil war supports the claim that law of necessity has a real dimension; and what the implications are of the use of moral arguments, such as the (...) argument from injustice, for the status of Alexy's inquiry. (shrink)

In this article, I distinguish between a moral and a strictly legal conception of legal normativity, and argue that legal positivists can account for law's normativity in the strictly legal but not in the moral sense, while pointing out that normativity in the former sense is of little interest, at least to lawyers. I add, however, that while the moral conception of law's normativity is to be preferred to the strictly legal conception from the rather narrow viewpoint of the study (...) of law's normativity, it is less attractive than the latter from the broader viewpoint of the study of the nature of law. I then distinguish between a moral and a strictly legal conception of the normative force of legal justification, and argue that legal positivists may without contradiction embrace the moral conception, and that therefore the analysis of the normative force of legal justification need not be a problem for legal positivists. I conclude that, on the whole, we have reason to prefer legal positivism to natural law theory. I begin by introducing the subject of jurisprudence . I then introduce the natural law/legal positivism debate, suggesting that we ought to understand it as a debate about the proper way to explicate the concept of law . I proceed to argue that legal decision‐making is a matter of applying legal norms to facts, and that syllogistic reasoning plays a prominent role in legal decision‐making thus conceived . Having done that, I discuss law's normativity , the normative force of legal justification , and the relation between the former and the latter . I conclude with a critical comment on Joseph Raz’ understanding of the question of law's normativity. (shrink)

L'ingegneria concettuale è una branca della filosofia caratterizzata da un approccio normativo nei confronti della rappresentazione. Assunzione fondamentale è che i nostri dispositivi rappresentazionali possano essere difettosi. Si configura dunque come l'attività che consiste nell'identificare i difetti in tali dispositivi e mettere in atto strategie di miglioramento. Verranno illustrate le questioni fondamentali a cui una teoria di ingegneria concettuale deve rispondere: in cosa consiste esattamente questa attività? Come possiamo attuarla? Quali meccanismi regolano la formazione dei dispositivi rappresentazionali? Possiamo influire su (...) tali meccanismi? Verrà inoltre presentata un'obiezione all'ingegneria concettuale e varie risposte. -/- Conceptual engineering is a branch of philosophy characterised by a normative approach towards representation. The fundamental assumption of it is that our representational devices can be defective. Conceptual engineering is then the activity consisting of identifying the defects of such devices and putting in place ameliorative strategies. This paper illustrates the fundamental issues for a theory of conceptual engineering: what does this activity consist of? How can we implement it? What mechanisms regulate the formation of representational devices? Can we have an influence over those mechanisms? Moreover, it will be presented an objection to conceptual engineering and various responses to it. (shrink)

You receive a pink packet from Miss Lead, a notoriously deceptive truth-teller. You know that if you open the packet and do not find blank pages, then you will justifiably change your mind about the evidence being misleading. Indeed, you will infer that your previous fears about misleading evidence were themselves founded on misleading evidence. Should you open the pink packet? No, answers an advocate of self-censorship. Yes, answers an advocate of the principle that you should base conclusions on all (...) the available evidence. Your final deliberations will be guided by Gilbert Harman’s Thought. Ultimately, the case against opening the packet prevails. (shrink)

In a seminal book, Alvin I. Goldman outlines a theory for how to evaluate social practices with respect to their “veritistic value”, i.e., their tendency to promote the acquisition of true beliefs in society. In the same work, Goldman raises a number of serious worries for his account. Two of them concern the possibility of determining the veritistic value of a practice in a concrete case because we often don't know what beliefs are actually true, and even if we did, (...) the task of determining the veritistic value would be computationally extremely difficult. Neither problem is specific to Goldman's theory and both can be expected to arise for just about any account of veritistic value. It is argued here that the first problem does not pose a serious threat to large classes of interesting practices. The bulk of the paper is devoted to the computational problem, which, it is submitted, can be addressed in promising terms by means of computer simulation. In an attempt to add vividness to this proposal, an up-and-running simulation environment is presented and put to some preliminary tests. (shrink)

Richard Boyd and Nicholas Sturgeon develop distinctive naturalistic arguments for scientific realism and moral realism. Each defends a realist position by an inference to the best explanation. In this paper, I suggest that these arguments for realism should be reformulated, with the law of likelihood replacing inference to the best explanation. The resulting arguments for realism do not work.

The use of multiple means of determination to “triangulate” on the existence and character of a common phenomenon, object, or result has had a long tradition in science but has seldom been a matter of primary focus. As with many traditions, it is traceable to Aristotle, who valued having multiple explanations of a phenomenon, and it may also be involved in his distinction between special objects of sense and common sensibles. It is implicit though not emphasized in the distinction between (...) primary and secondary qualities from Galileo onward. It is arguably one of several conceptions involved in Whewell’s method of the “consilience of inductions” (Laudan 1971) and is to be found in several places in Peirce. (From M. Brewer and B. Collins, eds., (1981); Scientific Inquiry in the Social Sciences (a festschrift for Donald T. Campbell), San Francisco: Jossey-Bass, pp. 123–162.). (shrink)

Using Carnap’s concept explication, we propose a theory of concept formation in mathematics. This theory is then applied to the problem of how to understand the relation between the concepts formal proof and informal, mathematical proof.

Recently Carrie S. Jenkins formulated an epistemology of mathematics, or rather arithmetic, respecting apriorism, empiricism, and realism. Central is an idea of concept grounding. The adequacy of this idea has been questioned e.g. concerning the grounding of the mathematically central concept of set (or class), and of composite concepts. In this paper we present a view of concept formation in mathematics, based on ideas from Carnap, leading to modifications of Jenkins’s epistemology that may solve some problematic issues with her ideas. (...) But we also present some further problems with her view, concerning the role of proof for mathematical knowledge. (shrink)

Positivism has been used to establish a standard that Information Systems (IS) research must meet to be scientific. According to such positivistic beliefs in IS, scientific research should: 1) be generalizable, 2) focus on stable independent variables, 3) have certain ontological assumptions, and 4) use statistical or quantitative methods rather than qualitative methods. We argue that logical positivist philosophers required none of these. On the contrary, logical positivist philosophers regarded philosophizing in general and ontological considerations in particular as nonsense. Moreover, (...) the positivists’ preferred empirical research method was not a survey, but rather a qualitative observation recorded by field notes. In addition, positivist philosophers required neither statistical nor nonstatistical generalizability. At least some positivist philosophers also acknowledged the study of singular cases as being scientific. Many research orientations (e.g., single-setting research, examination of change, qualitative research) that are deemed “unscientific” by positivism in IS seem to be “scientific” (in principle) according to logical positivism. In turn, generally speaking, what has been justified as scientific by positivism in IS (e.g., requirements of statistical or nonstatistical generalizability, surveys, independent variables, ontological views) were either not required by logical positivists or were regarded as nonsensical by logical positivists. Furthermore, given that positivism is sometimes associated (or confused) with logical empiricism in IS, we also briefly discuss logical empiricism. Finally, realizing that certain influential, taken-forgranted assumptions that underlie IS research are unwarranted could have ground-breaking implications for future IS research. (shrink)

Some properties such as having a beard and being a philosopher are intuitively qualitative, while other properties such as being identical to Plato and being a student of Socrates are intuitively non-qualitative. It is often assumed that, necessarily, a property is qualitative if and only if it can be designated descriptively without the aid of directly referential devices. I argue that this linguistic thesis fails in both directions: there might be non-qualitative properties that can be designated descriptively, and there appear (...) to be qualitative properties that can only be designated directly. I conclude that while the linguistic thesis is ultimately untenable as stated, it can be plausibly recast as a thesis about our concepts rather than the properties they designate. (shrink)

Over the past years, a number of probabilistic measures of coherence have been proposed. As shown in the paper, however, many of them do not conform to the intuitition that equivalent testimonies are highly coherent, regardless of their prior probability.

While philosophers of science have marginally discussed concepts such as ‘nutrient’, ‘naturalness’, ‘food’, or the ‘molecularization’ of nutrition, they have yet to seriously engage with the nutrition sciences. In this paper, I offer one way to begin this engagement by investigating conceptual challenges facing the burgeoning field of nutritional ecology and the question of how organisms construct a ‘balanced’ diet. To provide clarity, I propose the distinction between nutrient balance as a property of foods or dietary patterns and nutrient balancing (...) as an evolved capacity to regulate nutrient intake. This distinction raises conceptual and empirical issues, such as what properties constitute this capacity and whether they are the same in all organisms. Additionally, while scientists use the term ‘balancing’, its intension and extension need further clarification. Based on the literature, the properties of external nutrient detection, internal sensing of nutrient levels, and organismal regulation could provide a basic recipe for nutrient balancing. Next, using an evolutionary lens, I examine nutrient acquisition in some prokaryotes, slime molds, simple multicellular eukaryotes, and in the quirks of multicellular metabolism to raise questions about the origins and universality of balancing. Finally, I build on this explication of balance and balancing by considering how obesity and cancer might respectively elucidate problems of organismal nutrient imbalances versus disrupted cellular nutrient balancing. (shrink)

We propose a coherence account of the conjunction fallacy applicable to both of its two paradigms. We compare our account with a recent proposal by Tentori et al. : 235–255, 2013) that attempts to generalize earlier confirmation accounts. Their model works better than its predecessors in some respects, but it exhibits only a shallow form of generality and is unsatisfactory in other ways as well: it is strained, complex, and untestable as it stands. Our coherence account inherits the strength of (...) the confirmation account, but in addition to being applicable to both paradigms, it is natural, simple, and readily testable. It thus constitutes the next natural step for Bayesian theorizing about the conjunction fallacy. (shrink)

The study of information based on the approach of Shannon was detached from problems of meaning. Also, it did not allow analysis of the structural characteristics of information, nor describe the way structures carry information. An outline of a different theory of information, including its semantics, was earlier proposed by the author. This theory was using closure spaces to model information. In the present paper, structures (called syllogistics) underlying syllogistic reasoning as well as ethnoscientific classifications are identified together with the (...) conditions for the lattice of closed subsets describing information to allow its existence. The structures can be used for logical analysis outside of language at the more general level of information, which in turn can be applied to the description of semantic relations in the context of information. (shrink)

The debate on probabilistic measures of coherence flourishes for about 15 years now. Initiated by papers that have been published around the turn of the millennium, many different proposals have since then been put forward. This contribution is partly devoted to a reassessment of extant coherence measures. Focusing on a small number of reasonable adequacy constraints I show that (i) there can be no coherence measure that satisfies all constraints, and that (ii) subsets of these adequacy constraints motivate two different (...) classes of coherence measures. These classes do not coincide with the common distinction between coherence as mutual support and coherence as relative set-theoretic overlap. Finally, I put forward arguments to the effect that for each such class of coherence measures there is an outstanding measure that outperforms all other extant proposals. One of these measures has recently been put forward in the literature, while the other one is based on a novel probabilistic measure of confirmation. (shrink)

In a series of recent papers, I have made three arguments about how to define “disease” and evaluate and apply possible definitions. First, I have argued that definitions should not be seen as traditional conceptual analyses, but instead as proposals about how to define and use the term “disease” in the future. Second, I have pointed out and attempted to address a challenge for dysfunction-requiring accounts of disease that I call the “line-drawing” problem: distinguishing between low-normal functioning and dysfunctioning. Finally, (...) I have used a dysfunction-requiring approach to argue that some extremely prevalent conditions, such as high blood pressure, high cholesterol, and ductal carcinoma in situ, are not diseases, but instead are risk factors. Four of the papers in this issue directly engage my previous work. In this commentary, I applaud the advances these authors make, address points of disagreement, and make suggestions about where the discussion should go next. (shrink)

The no free lunch theorem is a radicalized version of Hume’s induction skepticism. It asserts that relative to a uniform probability distribution over all possible worlds, all computable prediction algorithms—whether ‘clever’ inductive or ‘stupid’ guessing methods —have the same expected predictive success. This theorem seems to be in conflict with results about meta-induction. According to these results, certain meta-inductive prediction strategies may dominate other methods in their predictive success. In this article this conflict is analyzed and dissolved, by means of (...) probabilistic analysis and computer simulation. (shrink)

How is metaphysics related to the empirical sciences? Should metaphysics in general be guided by the sources, methods and results of the sciences? And what about the special case of the metaphysics of the social world: should it likewise be guided by the sources, methods and results of the social sciences? In her paper “Social Science as a Guide to Social Metaphysics?”, K. Hawley raises the question: If we are sympathetic to the project of naturalising metaphysics, how should we approach (...) the metaphysics of the social world? She proceeds by discussing three approaches to social metaphysics: inference to the best explanation from current social science, descriptive conceptual analysis, and normative, especially ‘ameliorative’ projects. At the end of her discussion, she reaches a rather pessimistic conclusion, especially as regards the IBE approach: “a number of phenomena indicate that the prospects for securely basing social metaphysics via inference to the best explanation from social science are currently faint. […] We need to look elsewhere if we are to develop a metaphysics of the social world.” In my comments on her paper, I try to re-animate the program of an inductive metaphysics by defending the idea that the method of inference to the best explanation should be the central method of justification for metaphysics in general and for social metaphysics in particular. (shrink)

Tacking by conjunction is a deep problem for Bayesian confirmation theory. It is based on the insight that to each hypothesis h that is confirmed by a piece of evidence e one can ‘tack’ an irrelevant hypothesis h′ so that h∧h′ is also confirmed by e. This seems counter-intuitive. Existing Bayesian solution proposals try to soften the negative impact of this result by showing that although h∧h′ is confirmed by e, it is so only to a lower degree. In this (...) article we outline some problems of these proposals and develop an alternative solution based on a new concept of confirmation that we call genuine confirmation. After pointing out that genuine confirmation is a necessary condition for cumulative confirmation we apply this notion to the tacking by conjunction problem. We consider both the question of what happens when irrelevant hypotheses are added to a hypothesis h that is confirmed by e as well as the question of what happens when h is disconfirmed. The upshot of our discussion will be that genuine confirmation provides a robust solution for each of the different perspectives. _1_ Introduction _2_ Tacking by Conjunction: Existing Solution Proposals _3_ Genuine Confirmation _3.1_ Content elements and content parts _3.2_ Qualitative genuine confirmation _3.3_ Quantitative genuine confirmation _4_ Tacking by Conjunction: The Case of Confirmation _5_ Tacking by Conjunction: The Case of Disconfirmation _6_ Tacking by Conjunction: Adding Multiple Hypotheses _7_ Conclusion Appendix. (shrink)

It is well known that Ernest Gellner made substantial use of his knowledge of the social sciences in philosophy. Here I discuss how he used it on the basis of a few examples taken from Gellner’s philosophical output. It is argued that he made a number of highly original “translations”, or re-interpretations, of philosophical theories and problems using his knowledge of the social sciences. While this method is endorsed, it is also argued that some of Gellner’s translations crossed the line (...) between the original and the idiosyncratic. (shrink)

In the first chapter of his book Logical Foundations of Probability, Rudolf Carnap introduced and endorsed a philosophical methodology which he called the method of ‘explication’. P.F. Strawson took issue with this methodology, but it is currently undergoing a revival. In a series of articles, Patrick Maher has recently argued that explication is an appropriate method for ‘formal epistemology’, has defended it against Strawson’s objection, and has himself put it to work in the philosophy of science in further clarification of (...) the very concepts on which Carnap originally used it (degree of confirmation, and probability), as well as some concepts to which Carnap did not apply it (such as justified degree of belief). We shall outline Carnap’s original idea, plus Maher’s recent application of such a methodology, and then seek to show that the problem Strawson raised for it has not been dealt with. The method is indeed, we argue, problematic and therefore not obviously superior to the ‘descriptive’ method associated with Strawson. Our targets will not only be Carnapians, though, for what we shall say also bears negatively on a project that Paul Horwich has pursued under the name ‘therapeutic’, or ‘Wittgensteinian’ Bayesianism. Finally, explication, as we shall suggest and as Carnap recognised, is not the only route to philosophical enlightenment. (shrink)

Striving for a probabilistic explication of coherence, scholars proposed a distinction between agreement and striking agreement. In this paper I argue that only the former should be considered a genuine concept of coherence. In a second step the relation between coherence and reliability is assessed. I show that it is possible to concur with common intuitions regarding the impact of coherence on reliability in various types of witness scenarios by means of an agreement measure of coherence. Highlighting the need to (...) separate the impact of coherence and specificity on reliability it is finally shown that a recently proposed vindication of the Shogenji measure qua measure of coherence vanishes. (shrink)

In the present work we will search for a refinement of some key epistemological perspectives for the construction of a methodological framework in the social systems simulations area. So, we will proceed to show the origin of some issues in the existent conceptualization and its path through the information sciences as a precedent. There we will identify the consequences of such issues and will work in enlightening the conflictive notions in order to defend an epistemological pluralism which would result beneficial (...) for this area. (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)