Explication is the conceptual cornerstone of Carnap’s approach to the methodology of scientific analysis. From a philosophical point of view, it gives rise to a number of questions that need to be addressed, but which do not seem to have been fully addressed by Carnap himself. This paper reconsiders Carnapian explication by comparing it to a different approach: the ‘formalisms as cognitive tools’ conception. The comparison allows us to discuss a number of aspects of the Carnapian (...) methodology, as well as issues pertaining to formalization in general. We start by introducing Carnap’s conception of explication, arguing that there is a tension between his proposed criteria of fruitfulness and similarity; we also argue that his further desideratum of exactness is less crucial than might appear at first. We then bring in the general idea of formalisms as cognitive tools, mainly by discussing the reliability of so-called statistical prediction rules, i.e. simple algorithms used to make predictions across a range of areas. SPRs allow for a concrete instantiation of Carnap’s fruitfulness desideratum, which is arguably the most important desideratum for him. Finally, we elaborate on what we call the ‘paradox of adequate formalization’, which for the Carnapian corresponds to the tension between similarity and fruitfulness. We conclude by noting that formalization is an inherently paradoxical enterprise in general, but one worth engaging in given the ‘cognitive boost’ it affords as a tool for discovery. (shrink)

It seems natural to think that Carnapian explication and experimental philosophy can go hand in hand. But what exactly explicators can gain from the data provided by experimental philosophers remains controversial. According to an influential proposal by Shepherd and Justus, explicators should use experimental data in the process of ‘explication preparation’. Against this proposal, Mark Pinder has recently suggested that experimental data can directly assist an explicator’s search for fruitful replacements of the explicandum. In developing his argument, (...) he also proposes a novel aspect of what makes a concept fruitful, namely, that it is taken up by the relevant community. In this paper, I defend explication preparation against Pinder’s objections and argue that his uptake proposal conflates theoretical and practical success conditions of explications. Furthermore, I argue that Pinder’s suggested experimental procedure needs substantial revision. I end by distinguishing two kinds of explication projects, and showing how experimental philosophy can contribute to each of them. (shrink)

A distinction often drawn is one between conservative versus revisionary conceptions of philosophical analysis with respect to commonsensical beliefs and intuitions. This paper offers a comparative investigation of two revisionary methods: Carnapian explication and ameliorative analysis as developed by S. Haslanger. It is argued that they have a number of common features, and in particular that they share a crucial political dimension: they both have the potential to serve as instrument for social reform. Indeed, they may produce improved (...) versions of key concepts of everyday life, for example those pertaining to social categories such as gender and race, which in turn may lead to social change. The systematic comparison of these two frameworks offered here, where similarities as well as differences are discussed, is likely to provide useful guidance to practitioners of both approaches, as it will highlight important aspects of each of them that tend to remain implicit and under-theorized in existing applications of these methodologies to specific questions. (shrink)

Conceptual analysis has been typically recognized as a traditional methodology within analytic philosophy, but many philosophers have heavily criticized it. In contrast, the methodology of Carnapian explication has been undergoing a revival as a methodological alternative due to its revisionary aim. I will make explicit the shared structural properties and goals of Carnapian explication and the kind of conceptual analysis advanced by the advocates of the Canberra Plan. Also, I will argue that although their goal to (...) make philosophy more scientific is desirable, they cannot achieve their goal of clearly distinguishing philosophy from science. Moreover, since traditional conceptual analysis is an element of both revisionary methodologies, it is also unable to mark a clear distinction between them. The comparison throws some light on the relationship between traditional conceptual analysis and the two revisionary methodologies, their implicit theoretical commitments and deficiencies. (shrink)

Conceptual analysis has been a traditional methodology within analytic philosophy, but it also has been the target of numerous attacks. On the other hand, explication has been undergoing a revival as a methodological alternative due to the revisionary element associated with it. This allows for a scientific reconstruction of our ordinary notions, which would share virtues associated with scientific concepts. However, there is now a popular variant of conceptual analysis which resembles closely the explicative methodology: the two-step methodology advanced (...) by the advocates of the Canberra Plan. Although explication is a wider and more ambitious program, I will argue that both methodologies can be regarded as attempts to bring philosophical methodology and its products closer to scientific ones. However, I will also point out that, although the goal is advantageous, there still remain some theoretical problems. (shrink)

The rise of experimental philosophy has placed metaphilosophical questions, particularly those concerning concepts, at the center of philosophical attention. X-phi offers empirically rigorous methods for identifying conceptual content, but what exactly it contributes towards evaluating conceptual content remains unclear. We show how x-phi complements Rudolf Carnap’s underappreciated methodology for concept determination, explication. This clarifies and extends x-phi’s positive philosophical import, and also exhibits explication’s broad appeal. But there is a potential problem: Carnap’s account of explication was limited (...) to empirical and logical concepts, but many concepts of interest to philosophers are essentially normative. With formal epistemology as a case study, we show how x-phi assisted explication can apply to normative domains. (shrink)

Shepherd and Justus argue that experimental philosophy has an important role to play in the method of Carnapian explication, facilitating the preparatory stage during which the concept to be explicated is clarified. I raise concerns about their specific proposal, before sketching an alternative. In particular, I suggest that experimental philosophy can directly aid the construction of fruitful concepts. This provides a clear practical role for experimental philosophy, both within the sciences and theoretical inquiry more generally. In this respect, (...) experimental philosophy may rightly be construed as one aspect of applied philosophy. (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)

There are two main interpretive positions on Davidson’s project in the theory of meaning. The Replacement Theory holds that Davidson aimed to replace the theory of meaning with the theory of truth on the grounds that meaning is too unclear a notion for systematic theorizing. The Traditional Pursuit Theory, in contrast, holds that Davidson aimed to pursue the traditional project with a clever bit of indirection, exploiting the recursive structure of a truth theory to reveal compositional semantic structure and placing (...) constraints on it sufficient for its canonical assignments of truth conditions to be used for interpretation. This paper responds to a recent defense of a sophisticated version of the Replacement Theory by Gary Ebbs according to which Davidson was engaged in a Carnapian explication of meaning, intending to preserve only aspects of the usage of ‘means’ most important to us. I argue the Explication Interpretation cannot be sustained in the face of a detailed look at the passages that principally motivate it in “Truth and Meaning” when we take into account their local context, their context in the paper as a whole, and the context of that paper in Davidson’s contemporaneous work, and later work which tries to improve the formulations which he advanced in his early papers. (shrink)

Theories of truthlikeness (or verisimilitude) are currently being classified according to two independent distinctions: that between ‘content’ and ‘likeness’ accounts, and that between ‘conjunctive’ and ‘disjunctive’ ones. In this article, I present and discuss a new definition of truthlikeness, which employs Carnap’s notion of the content elements entailed by a theory or proposition, and is then labelled ‘Carnapian’. After studying in detail the properties and shortcomings of this definition, I argue that it occupies a unique position in the landscape (...) of different approaches to truthlikeness. More precisely, I show that it provides the only explication of truthlikeness which is both ‘conjunctive’ and ‘content-based’ in a suitably defined sense. (shrink)

In a number of influential papers, Machery, Mallon, Nichols and Stich have presented a powerful critique of so-called arguments from reference, arguments that assume that a particular theory of reference is correct in order to establish a substantive conclusion. The critique is that, due to cross-cultural variation in semantic intuitions supposedly undermining the standard methodology for theorising about reference, the assumption that a theory of reference is correct is unjustified. I argue that the many extant responses to Machery et al.’s (...) critique do little for the proponent of an argument from reference, as they do not show how to justify the problematic assumption. I then argue that it can in principle be justified by an appeal to Carnapian explication. I show how to apply the explication defence to arguments from reference given by Andreasen and by Churchland. (shrink)

This paper argues for two conclusions: (1) evaluating the success of engineered concepts necessarily involves empirical work; and (2) the Carnapian Explication criterion precision ought to be a methodological standard in conceptual engineering. These two conclusions provide a new analysis of the race and gender debate between Sally Haslanger and Jennifer Saul. Specifically, the argument identifies the resources Haslanger needs to respond to Saul’s main objections. Lastly, I contrast the methodology advocated here with the so-called “method of cases” (...) and draw out some general implications for how we should think about concepts. (shrink)

Carnap’s seminal ‘Empiricism, Semantics and Ontology’ makes important use of the notion of a framework and the related distinction between internal and external questions. But what exactly is a framework? And what role does the internal/external distinction play in Carnap’s metaontology? In an influential series of papers, Matti Eklund has recently defended a bracingly straightforward interpretation: A Carnapian framework, Eklund says, is just a natural language. To ask an internal question, then, is just to ask a question in, say, (...) English. To try to ask an external question is to try, absurdly, to ask a question in no language at all. Finding that so trivial an I/e distinction can’t help to explain Carnap’s deflationary metaontology, Eklund is led to attribute to Carnap a view he calls ontological pluralism. In this paper, I show that Eklund misreads Carnap, and I argue that this misreading obscures fundamental features of Carnap’s philosophy. I then defend an account of frameworks as what Carnap called semantical systems, and I place this account in the context of Carnap’s philosophical program of explication. Finally, I discuss the role that frameworks and the I/e distinction play in ESO, showing that ESO provides no reason to attribute the doctrine of ontological pluralism to Carnap. (shrink)

The paper argues that an account of understanding should take the form of a Carnapian explication and acknowledge that understanding comes in degrees. An explication of objectual understanding is defended, which helps to make sense of the cognitive achievements and goals of science. The explication combines a necessary condition with three evaluative dimensions: an epistemic agent understands a subject matter by means of a theory only if the agent commits herself sufficiently to the theory of the (...) subject matter, and to the degree that the agent grasps the theory (i.e., is able to make use of it), the theory answers to the facts and the agent’s commitment to the theory is justified. The threshold for outright attributions of understanding is determined contextually. The explication has descriptive as well as normative facets and allows for the possibility of understanding by means of non-explanatory (e.g., purely classificatory) theories. (shrink)

Carnap and Goodman developed methods of conceptual re-engineering known respectively as explication and reflective equilibrium. These methods aim at advancing theories by developing concepts that are simultaneously guided by pre-existing concepts and intended to replace these concepts. This paper shows that Carnap’s and Goodman’s methods are historically closely related, analyses their structural interconnections, and argues that there is great systematic potential in interpreting them as aspects of one method, which ultimately must be conceived as a component of theory development. (...) The main results are: an adequate method of conceptual re-engineering must focus not on individual concepts but on systems of concepts and theories; the linear structure of Carnapian explication must be replaced by a process of mutual adjustments as described by Goodman; Carnap’s condition of similarity can be analysed into two components, one securing a relation to the specific extensions of the pre-existing concepts, one regulating the transition to the new system of concepts; these two criteria of adequacy can be built into Goodman’s account of reflective equilibrium to ensure that the resulting concepts promote theoretical virtues while being sufficiently similar to the concepts we started out with. (shrink)

In recent years there has been a robust but inconclusive debate over the existence and nature of indeterminacy in the world as described by quantum mechanics. I suggest that the inconclusive nature of the debate stems from starting from a metaphysical theory of indeterminacy. I propose instead framing the issue as a Carnapian explication project: start with the informal notion of indeterminacy used by physicists, and consider how best to make that concept precise. I defend a precisification based (...) on von Neumann’s interpretation of quantum states, and consider the nature of the indeterminacy that results. (shrink)

In this paper, I will offer a novel perspective on Carnapian explication, understanding it as a philosophical analogue of the transfer principle methodology that originated in nineteenth-century projective geometry. Building upon the historical influence that projective geometry exerted on Carnap’s philosophy, I will show how explication can be modeled as a kind of transfer principle that connects, relative to a given task and normatively constrained by the desiderata chosen by the explicators, the functional properties of concepts belonging (...) to different conceptual frameworks. Moreover, I will demonstrate how, in light of this characterization, we can better appreciate the evolution of Carnap’s metaphilosophy. (shrink)

I will defend explication, in a Carnapian sense, as a strategy for revisionary ontologists and radical sceptics. The idea is that these revisionary philosophers should explicitly commit to using expressions like “S knows that p” and “Fs exist” differently from how these expressions are used in everyday contexts. I will first motivate this commitment for these revisionary philosophers. Then, I will address the main worries that arise for this strategy: the unintelligibility worry and the topic shift worry. I (...) will focus on the latter worry and provide a solution that makes use of a distinction between practically and theoretically oriented beliefs. On my view, the revisionary philosophers who admit to departing from the everyday language can still criticize everyday knowledge and existence claims, by arguing that while the language embedded in these claims is suitable for beliefs-1, it is not suitable for beliefs-2. (shrink)

Robert Sinclair: Quine on Evidence: Quine's influential “Epistemology Naturalized” is typically read as arguing for the replacement of the “normative” project of traditional epistemology with a psychological description of the causal processes involved in belief acquisition. Recent commentators have rejected this view, arguing that rather than eliminate normative concerns, Quine's proposal seeks to locate them within his scientific conception of epistemology. This chapter examines this debate concerning the normative credentials of Quine's naturalized account of knowledge and its consequences for understanding (...) the role of justification and evidence within his epistemology. It explains how Quine's appeal to psychology should be seen as addressing normative concerns over the evidential connections between theory and observation and further indicates how he addresses issues involving evidence and justification. It concludes by considering some later changes in Quine's epistemology that may be seen as challenging his attempt to address the evidential support of science. (shrink)

In recent years two different axiomatic characterizations of the intuitive concept of effective calculability have been proposed, one by Sieg and the other by Dershowitz and Gurevich. Analyzing them from the perspective of Carnapian explication, I argue that these two characterizations explicate the intuitive notion of effective calculability in two different ways. I will trace back these two ways to Turing’s and Kolmogorov’s informal analyses of the intuitive notion of calculability and to their respective outputs: the notion of (...) computorability and the notion of algorithmability. I will then argue that, in order to adequately capture the conceptual differences between these two notions, the classical two-step picture of explication is not enough. I will present a more fine-grained three-step version of Carnapian explication, showing how with its help the difference between these two notions can be better understood and explained. (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)

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)

The conservative idea that it is a philosopher’s job to clarify common sense beliefs about ordinary concepts is being weeded out from the population and replaced by a revisionist agenda: philosophers should not merely describe but also analyze and suggest ways to improve our concepts. This project is called "conceptual engineering." The conceptual engineering literature is growing rapidly as more philosophers undertake normative conceptual work. However, many philosophers are practicing conceptual engineering untethered to an explicit methodology. Analyses addressing how we (...) should engineer a concept and what should be considered successful are scarce. The thesis of this dissertation is that Carnapian Explication solves this methodological deficiency. (shrink)

Recently there has been a trend of moving towards biological and neurocognitive based classifications of mental disorders that is motivated by a dissatisfaction with the syndrome-based classifications of mental disorders. The Research Domain Criteria (indicated with the acronym RDoC) represents a bold and systematic attempt to foster this advancement. However, RDoC faces theoretical and conceptual issues that need to be addressed. Some of these difficulties emerge when we reflect on the plausible reading of the slogan “mental disorders are brain disorders”, (...) that according to proponents of RDoC constitutes one of its main presuppositions. Some authors think that endorsing this idea commits RDoC to a form of biological reductionism. We offer empirical and theoretical considerations for concluding that the slogan above should not be read as a reductionist thesis. We argue, instead, that the slogan has a pragmatic function whose aim is to direct research in psychopathology. We show how this function might be captured in the framework of a Carnapian explication as a methodological tool for conceptual engineering. Thus, we argue that a charitable interpretation of the aims of the proponents of RDoC should be understood as an attempt at providing an explication of the concept of mental disorder in terms of brain disorder whose main goal is to provide a more precise and fruitful notion that is expected to have a beneficial impact on classification, research, and treatment of psychiatric conditions. (shrink)

Explication usually plays the role of the method of language revision. The paper sticks to the Carnapian project of explication and develops some of the formal requirements imposed on the explicatum. However, it departs from Carnap’s view when it comes to how to construe the simplicity condition. It is suggested that in some cases the simplicity condition, which in the Carnapian project plays the derived role with respect to the other three conditions—the similarity, exactness, and fruitfulness (...) conditions—may be substantive for the overall evaluation of explications. Based on a case study of three different explications of the H-D concept of confirmation :391–437, 1991; Erkenntnis 41:183–188, 1994; Gemes in Philos Sci 60:477–487, 1993; Erkenntnis 49:1–20, 1998; Sprenger in Philos Compass 6:497–508, 2011), we show that there are cases where competing explicata of a common explicandum satisfy the first three conditions equally well. In those cases, then, the simplicity condition is supposed to make the difference. However, instead of using Carnap’s construal of simplicity, we suggest a Principle of instrumental simplicity according to which, ceteris paribus, the simpler the explicatum is, the more likely is its ‘survival’ in competition with other explicata. Moreover, it is suggested that whereas the similarity, exactness and fruitfulness conditions are, in some sense, formal criteria, the simplicity condition is rather tested empirically. (shrink)

In this paper, we reconsider the highly underrated Carnap–Sellars relationship, arguing that Sellars might be able to provide an interesting resolution to some of Carnap’s finest problems around explication by offering a grand-scale picture of science/common-sense or manifest interactions. The narrative developed here points toward the need for some stratification and re-evaluation of a field of scholarship that all too often still engages in challenging and contradictory dichotomies, undermining the genuine intentions of scholars who were collaborating with, as well (...) as living and researching in parallel with each other. We would like to explore what these figures can offer to each other, and whether, for example, a truly Sellarsian perspective could illuminate any problematic points in Carnap that have not yet been problematized by Carnapians but could still improve the original system. (shrink)

This paper argues that Carnap both did not view and should not have viewed Frege's project in the foundations of mathematics as misguided metaphysics. The reason for this is that Frege's project was to give an explication of number in a very Carnapian sense — something that was not lost on Carnap. Furthermore, Frege gives pragmatic justification for the basic features of his system, especially where there are ontological considerations. It will be argued that even on the question (...) of the independent existence of abstract objects, Frege and Carnap held remarkably similar views. I close with a discussion of why, despite all this, Frege would not accept the principle of tolerance. (shrink)

I challenge a cornerstone of the Gettier debate: that a proposed analysis of the concept of knowledge is inadequate unless it entails that people don’t know in Gettier cases. I do so from the perspective of Carnap’s methodology of explication. It turns out that the Gettier problem per se is not a fatal problem for any account of knowledge, thus understood. It all depends on how the account fares regarding other putative counter examples and the further Carnapian desiderata (...) of exactness, fruitfulness and simplicity. Carnap proposed his methodology more than a decade before Gettier’s seminal paper appeared, making the present solution to the problem a candidate for being the least ad hoc proposal on the market, one whose independent standing cannot be questioned, among solutions that depart from the usual method of revising a theory of knowledge in the light of counterexamples. As an illustration of the method at work, I reconstruct reliabilism as an attempt to provide an explication of the concept of knowledge. (shrink)

Carnap and Wittgenstein were always far apart on issues of fundamental importance, even on questions where one might have supposed them to be close. Specifically, I will try to show that beneath what at first sight could appear to be a philosophical difference over a mundane question regarding the nature of the propositions of logic, in fact exemplified a chasm between Wittgenstein’s and Carnap’s understanding of our relation to language and the world. After first laying out Carnap’s own understanding of (...) his difference between himself and Wittgenstein on the nature of tautology, I explicate Wittgenstein’s rejection of what would soon become Carnap’s metalogical stance in The Logical Syntax of Language. I do this in terms of Wittgenstein’s reception of Frege, the significance for Wittgenstein of the sign/symbol distinction, and his views of ordinary language and skepticism already at work in the Tractatus. I point out a connection between Heidegger and Wittgenstein on ordinary language that distinguishes them both from the dominant traditions in analytic philosophy of language and from much contemporary post-modernist views of language. Finally I bring out what was at stake personally and culturally for Wittgenstein in his difference from Carnap on logical syntax. (shrink)

In this paper it is argued that there are relevant similarities of Aristotle's account of definition and Carnap's account of explication. To show this, first, Aristotle's conditions of adequacy for definitions are provided and an outline of the main critique put forward against Aristotle's account of definition is given. Subsequently, Carnap's conditions of adequacy for explications are presented and discussed. It is shown that Aristotle's conditions of extensional correctness can be interpreted against the backdrop of Carnap's condition of similarity (...) once one skips Aristotelian essentialism and takes in a Carnapian and more pragmatic stance. Finally, it is argued that, in general, a complementary rational reconstruction of both approaches allows for resolving problems of interpretational underdetermination. (shrink)

For both Gottlob Frege and Bertrand Russell, providing a philosophical account of the concept of number was a central goal, pursued along similar logicist lines. In the present paper, I want to focus on a particular aspect of their accounts: their definitions, or reconstructions, of the natural numbers as equivalence classes of equinumerous classes. In other words, I want to examine what is often called the "Frege-Russell conception of the natural numbers" or, more briefly, the Frege-Russell numbers. My main concern (...) will be to determine the precise sense in which this conception was, or could be, meant to constitute an analysis.1 I will be mostly concerned with Frege’s views on the matter; but Russell will come up along the way, for illustration and comparison, as will some recent neo-Fregean proposals and results. The structure of the paper is as follows: In the first section, I sketch Frege's general approach. Next, I differentiate several kinds, or modes, of analysis, as further background. In the third section, I zero in on the equivalence class construction, raising the question of why it might, from a Fregean point of view, be seen as 'the right' construction, thus as an analysis in a strong sense. In the fourth section, I provide a contrasting, more conventionalist view of the matter, often associated with the Carnapian notion of explication, and expressed in some remarks by Russell. I then discuss the motivation for the Frege-Russell numbers in more depth. In the sixth section, I introduce a neo-Fregean alternative, to be examined along similar lines. Finally, I reflect further on the significance of the kinds of arguments available in this connection. (shrink)

This paper is concerned with the relationship between paradigms of explication and the practice of conceptual engineering. It defends three interrelated claims: First, the predominant functionalist attitude in the present debate on conceptual engineering is due to its roots in Carnapian explication, which identifies the explicandum with a precursor concept. Second, alternative metaphysical paradigms of explication locate the explicandum in a part of a concept-independent reality (‘field explication‘, as I will call it). Third, field (...) class='Hi'>explication may be a better paradigm than Carnapian functionalism for certain instances of socio-political conceptual engineering. In these instances, we adjust our concepts to more adequately capture differences in our concept-independent (felt) reality. To demonstrate this, I will contrast the metaphysical to the functionalist paradigm concerning the example of Heimat. [in German]. (shrink)

The basic idea of logical expressivism in the Brandomian tradition is that logic makes inferential relations explicit and thereby accessible to critical discussion. But expressivists have not given a convincing explanation of what the point of logical theories is. Peregrin provides a starting point by observing a distinction between making explicit and explication in Carnap’s sense of replacing something unclear and vague by something clear and exact. Whereas logical locutions make inferential relations explicit within a language, logical theories use (...) formal languages to explicate inferential roles and meanings of ordinary-language expressions. But Peregrin also holds that the whole point of logical theories is to provide perspicuous models of inferential structures in ordinary language practice. This turns explication into a mere continuation of making explicit by other means, and it leads to a one-sided conception of logic which has no room for evaluating inferential practice in light of logical theories. As a more convincing alternative, I suggest that expressivists rely on the method of reflective equilibrium. This approach is closely related to Carnapian explication, but it has the potential of correcting informal inferential practice without dubious ambitions to replace ordinary languages by logical formalisms. (shrink)

This thesis focuses on models of conceptual change in science and philosophy. In particular, I developed a new bootstrapping methodology for studying conceptual change, centered around the formalization of several popular models of conceptual change and the collective assessment of their improved formal versions via nine evaluative dimensions. Among the models of conceptual change treated in the thesis are Carnap’s explication, Lakatos’ concept-stretching, Toulmin’s conceptual populations, Waismann’s open texture, Mark Wilson’s patches and facades, Sneed’s structuralism, and Paul Thagard’s conceptual (...) revolutions. -/- In order to analyze and compare the conception of conceptual change provided by these different models, I rely on several historical reconstructions of episodes of scientific conceptual change. The historical episodes of scientific change that figure in this work include the emergence of the morphological concept of fish in biological taxonomies, the development of scientific conceptions of temperature, the Church-Turing thesis and related axiomatizations of effective calculability, the history of the concept of polyhedron in 17th and 18th century mathematics, Hamilton’s invention of the quaternions, the history of the pre-abstract group concepts in 18th and 19th century mathematics, the expansion of Newtonian mechanics to viscous fluids forces phenomena, and the chemical revolution. I will also present five different formal and informal improvements of four specific models of conceptual change. I will first present two different improvements of Carnapian explication, a formal and an informal one. My informal improvement of Carnapian explication will consist of a more fine-grained version of the procedure that adds an intermediate, third step to the two steps of Carnapian explication. I will show how this novel three-step version of explication is more suitable than its traditional two-step relative to handle complex cases of explications. My second, formal improvement of Carnapian explication will be a full explication of the concept of explication itself within the theory of conceptual spaces. By virtue of this formal improvement, the whole procedure of explication together with its application procedures and its pragmatic desiderata will be reconceptualized as a precise procedure involving topological and geometrical constraints inside the theory of conceptual spaces. My third improved model of conceptual change will consist of a formal explication of Darwinian models of conceptual change that will make vast use of Godfrey-Smith’s population-based Darwinism for targeting explicitly mathematical conceptual change. My fourth improvement will be dedicated instead to Wilson’s indeterminate model of conceptual change. I will show how Wilson’s very informal framework can be explicated within a modified version of the structuralist model-theoretic reconstructions of scientific theories. Finally, the fifth improved model of conceptual change will be a belief-revision-like logical framework that reconstructs Thagard’s model of conceptual revolution as specific revision and contraction operations that work on conceptual structures. -/- At the end of this work, a general conception of conceptual change in science and philosophy emerges, thanks to the combined action of the three layers of my methodology. This conception takes conceptual change to be a multi-faceted phenomenon centered around the dynamics of groups of concepts. According to this conception, concepts are best reconstructed as plastic and inter-subjective entities equipped with a non-trivial internal structure and subject to a certain degree of localized holism. Furthermore, conceptual dynamics can be judged from a weakly normative perspective, bound to be dependent on shared values and goals. Conceptual change is then best understood, according to this conception, as a ubiquitous phenomenon underlying all of our intellectual activities, from science to ordinary linguistic practices. As such, conceptual change does not pose any particular problem to value-laden notions of scientific progress, objectivity, and realism. At the same time, this conception prompts all our concept-driven intellectual activities, including philosophical and metaphilosophical reflections, to take into serious consideration the phenomenon of conceptual change. An important consequence of this conception, and of the analysis that generated it, is in fact that an adequate understanding of the dynamics of philosophical concepts is a prerequisite for analytic philosophy to develop a realistic and non-idealized depiction of itself and its activities. (shrink)

This paper contains a novel and coherent reading of Weberian ideal type construction, based on recent philosophical approaches to conceptual engineering. This reading makes transparent the dialectics of Weber's approach, resulting in a more nuanced interpretation of his methodological work. It will become apparent that Weber, when introducing his notion of an ideal type, did not merely summarize his views on methodology in the social sciences, but, rather, presented a two-step argument in favor of these views. The reconstruction will directly (...) bear on issues in the methodology of the social sciences. Weber not only presented a methodology that is, at some level of abstraction, strikingly similar to Carnapian explication (the canonical point of reference in the contemporary debate on conceptual engineering). He also diagnosed, in a systematic fashion, types of problems we face when dealing with ordinary and scientific concepts that play a key role in the description of social reality, and he foreshadowed what is today sometimes described as “debunking” projects. From a philosophy of science perspective, I propose Weber's view (on the reconstruction proposed here) as a serious candidate for an adequate theory of concept replacement in the social sciences. (shrink)

The core of the problem discussed in this paper is the following: the Church-Turing Thesis states that Turing Machines formally explicate the intuitive concept of computability. The description of Turing Machines requires description of the notation used for the input and for the output. Providing a general definition of notations acceptable in the process of computations causes problems. This is because a notation, or an encoding suitable for a computation, has to be computable. Yet, using the concept of computation, in (...) a definition of a notation, which will be further used in a definition of the concept of computation yields an obvious vicious circle. The circularity of this definition causes trouble in distinguishing on the theoretical level, what is an acceptable notation from what is not an acceptable notation, or as it is usually referred to in the literature, “deviant encodings”. Deviant encodings appear explicitly in discussions about what is an adequate or correct conceptual analysis of the concept of computation. In this paper, I focus on philosophical examples where the phenomenon appears implicitly, in a “disguised” version. In particular, I present its use in the analysis of the concept of natural number. I also point at additional phenomena related to deviant encodings: conceptual fixed points and apparent “computability” of uncomputable functions. In parallel, I develop the idea that Carnapian explications provide a much more adequate framework for understanding the concept of computation, than the classical philosophical analysis. (shrink)

What is the significance of empirical moral psychology for metaethics? In this article we take up Michael Ruse’s evolutionary debunking argument against moral realism and reassess it in the context of the empirical state of the art. Ruse’s argument depends on the phenomenological presumption that people generally experience morality as objective. We demonstrate how recent experimental findings challenge this widely-shared armchair presumption and conclude that Ruse’s argument fails. We situate this finding in the recent debate about Carnapian explication (...) and argue that it illustrates the necessary role that empirical moral psychology plays in explication preparation. Moral psychology sets boundaries for reasonable desiderata in metaethics and, therefore, it is necessary for metaethics. (shrink)

Part I is concerned with the tenet of modern Emperical Realism that while the theoretical concepts employed in science obtain their meanings entirely from the connections their usage establishes with the data language, the referents of such terms may be "unobservables," that is, entities which cannot be discussed within the data language alone. Such a view avoids both the restrictive excesses of logical positivism and the epistemic laxity of transcendentalism; however, it also necessitates a break with classical semantics, for it (...) follows from the empirical realistic position that a theoretical term must in principle be capable of simultaneously designating not just one entity, but indefinitely many. Drawing upon the Carnapian explication of "analytic truth," Part II examines a possible axiomatic basis for the empiricist theory of scientific meaningfulness to demonstrate that even if theoretical terms are able to designate entities inaccessible to the observation language, as held by Empirical Realism, so long as the meanings of theoretical terms derive from their connections with the observation language, the meaning content of a theory is exhausted by its observational consequences. (shrink)

In this cumulative phd thesis, I provide an account of conceptual engineering and defend it against various challenges. The thesis contains five chapters (plus an introduction and a conclusion): 1. Engineering what? On concepts in conceptual engineering (Synthese, 2020); 2. The externalist challenge to conceptual engineering (Synthese, 2021); 3. There is no dilemma for conceptual engineering. Reply to Max Deutsch (Philosophical Studies, 2020); 4. Why conceptual engineers should not worry about topics (Erkenntnis, forthcoming); 5. Carnapian explication, experimental philosophy, (...) and fruitful concepts (Inquiry, 2019). (shrink)

Over the past 50 years, there has been a great deal of philosophical interest in laws of nature, perhaps because of the essential role that laws play in the formulation of, and proposed solutions to, a number of perennial philosophical problems. For example, many have thought that a satisfactory account of laws could be used to resolve thorny issues concerning explanation, causation, free-will, probability, and counterfactual truth. Moreover, interest in laws of nature is not constrained to metaphysics or philosophy of (...) science; claims about laws play essential roles in areas as diverse as the philosophy of religion (e.g., in the argument from design) and the philosophy of mind (e.g., in the formulation of Davidson’s anomalous monism). In my dissertation, I consider and reject the widely-held thesis that the facts concerning laws can be reduced to the facts concerning the particular entities that the laws “govern,” and that the laws thus have no independent existence. I instead defend a version of nomic primitivism, according to which the facts about laws cannot be reduced to facts that are themselves non-nomic – i.e., to facts that do not fundamentally involve laws, counterfactuals, causes, etc. Insofar as the truth or falsity of reductionism about laws has implications for many of the problems mentioned above, I think that this result should be of interest even to those who who do not work in metaphysics or the philosophy of science. My methodology, which I lay out and defend in Chapter One, is a version of Carnapian explication. This method emphasizes the importance of articulating and maintaining clear distinctions between (1) the vague concept (or concepts) law of nature inherent in ordinary language and scientific practice and (2) the precise analyses of “law of nature” that philosophers have proposed as potential replacements for this concept. I argue that metaphysics-as-explication has clear advantages over rival conceptions of metaphysical methodology; in particular, it allows us to formulate evaluative criteria for metaphysical claims. In Chapter Two, I offer an example of how careful attention to concepts already in use can help resolve philosophical debate. Specifically, I argue that much recent literature has mistakenly assumed that there is only one concept of “law of nature” in use, while there are in fact at least two. Strong laws are the principles pursued by fundamental physics: they are true, objective, and bear distinctive relationships to counterfactuals and explanation. Weak laws, by contrast, lack at least one of these distinctive characteristics but play central roles in both the “special sciences” and in everyday life. In Chapters Three and Four, I offer extended arguments against the two most prominent versions of reductionism about laws – Humeanism and law necessitarianism. According to philosophical Humeans, the laws of nature supervene upon the non-modal, non-nomic facts concerning the behavior of particular things at particular times and places. Law necessitarians, by contrast, argue that the laws are in fact metaphysically necessary, and that which laws there are is determined by a class of primitive, modally loaded facts concerning the essences, natures, or dispositions. I argue that both of these views are mistaken insofar as they disagree with well-entrenched scientific practices and those in favor of reductionism have failed to provided sufficient reason for thinking that these practices should be revised. Much of my argument is focused on the role played by a number of supposed methodological principles, including appeals to intuition, parsimony, and methodological naturalism. While the conclusions of this dissertation are explicitly constrained to laws, many of the arguments should be of interest to those who are concerned about philosophical methodology (especially in the role of intuition in philosophical argument) or the appropriate relation between metaphysics, science, and the philosophy of science. (shrink)

This dissertation is primarily concerned with the subjects of disagreement, argument, and the methodology of philosophy. The first chapter sets out and attempts to answer the question of what the connection between disagreement and disputing is. The second chapter is primarily a investigation into the nature of verbal disputes. The answer the chapter puts forward is that there is a justificatory relation between disagreeing and disputing, so that, for example, if two parties do not disagree in the right way, then (...) they should not dispute. In the second chapter I will look at a few theories of verbal disputes, and I will discuss some of the features such a theory should have. I go on to explicitly endorse a version of David Chalmers's theory of verbal disputes, and defend it from some potential objections. The third chapter is a defence of the method of conceptual analysis in philosophy. I introduce some potential objections to the Canberra plan style of conceptual analysis, and show how a different conception of conceptual analyses could get over these problems. The conception of conceptual analysis I argue for is heavily inspired by Rudolf Carnap's system of explication. The main way Carnapian explication would differ from the Canberra plan style of conceptual analysis is in the way that it would allow one to move further away from the original concept in analysing it, by balancing closeness to the original concept against other specific criteria. (shrink)

This paper brings together results from the philosophy and the psychology of explanation to argue that there are multiple concepts of explanation in human psychology. Specifically, it is shown that pluralism about explanation coheres with the multiplicity of models of explanation available in the philosophy of science, and it is supported by evidence from the psychology of explanatory judgment. Focusing on the case of a norm of explanatory power, the paper concludes by responding to the worry that if there is (...) a plurality of concepts of explanation, one will not be able to normatively evaluate what counts as good explanation. (shrink)

This paper reassesses the criticism of the Lucas-Penrose anti-mechanist argument, based on Gödel’s incompleteness theorems, as formulated by Krajewski : this argument only works with the additional extra-formal assumption that “the human mind is consistent”. Krajewski argues that this assumption cannot be formalized, and therefore that the anti-mechanist argument – which requires the formalization of the whole reasoning process – fails to establish that the human mind is not mechanistic. A similar situation occurs with a corollary to the argument, that (...) the human mind allegedly outperforms machines, because although there is no exhaustive formal definition of natural numbers, mathematicians can successfully work with natural numbers. Again, the corollary requires an extra-formal assumption: “PA is complete” or “the set of all natural numbers exists”. I agree that extra-formal assumptions are necessary in order to validate the anti-mechanist argument and its corollary, and that those assumptions are problematic. However, I argue that formalization is possible and the problem is instead the circularity of reasoning that they cause. The human mind does not prove its own consistency, and outperforms the machine, simply by making the assumption “I am consistent”. Starting from the analysis of circularity, I propose a way of thinking about the interplay between informal and formal in mathematics. (shrink)

This is a review article of Herman Cappelen's monograph 'Fixing Language. An Essay on Conceptual Engineering' (OUP 2018). It summarizes the key elements of the book and objects to various of Cappelen's claims.

Our standard model-theoretic definition of logical consequence is originally based on Alfred Tarski’s (1936) semantic definition, which, in turn, is based on Rudolf Carnap’s (1934) similar definition. In recent literature, Tarski’s definition is described as a conceptual analysis of the intuitive ‘everyday’ concept of consequence or as an explication of it, but the use of these terms is loose and largely unaccounted for. I argue that the definition is not an analysis but an explication, in the Carnapian (...) sense: the replacement of the inexact everyday concept with an exact one. Some everyday intuitions were thus brought into a precise form, others were ignored and forgotten. How exactly did the concept of logical consequence change in this process? I suggest that we could find some of the forgotten intuitions in Bernard Bolzano’s (1837) definition of ‘deducibility’, which is traditionally viewed as the main precursor of Tarski’s definition from a time before formalized languages. It turns out that Bolzano’s definition is subject to just the kind of natural features—paradoxicality of everyday language, Platonism about propositions, and dependence on the external world—that Tarski sought to tame by constructing an artificial concept for the special needs of mathematical logic. (shrink)

The focus of this paper will be to examine the implications that a “practical” approach to conceptual engineering might have for the “traditional” conception of philosophy as uncovering truths about phenomena of philosophical interest. In doing so, I will be building on the ideas of a figure that many take to be the first major philosopher to write on conceptual engineering: Rudolf Carnap. Though the current wave of interest in conceptual engineering goes back less than a decade, many conceptual engineers (...) have found precedent for their views in Carnap’s characterization of what he called “explication.” Interestingly, however, not nearly as much attention has been paid to another Carnapian thesis which seems to me to have deep relevance to methodological questions about conceptual engineering. I have in mind here the distinction between internal and external questions proposed in “Empiricism, Semantics and Ontology” (1950b) and the accompanying claim that external questions lack cognitive content and can be cogently approached only as a matter of pragmatic decision-making. This is the aspect of Carnap’s views upon which I propose to build. I'll first make the case that there is a suggestive similarity between Carnap’s claim that external questions are matters of pragmatic choice and the practical conceptual engineer’s claim that engineering success should be characterized in terms of suitability to a function or purpose. After that, I'll look at potential worries about the Carnapian distinction—including, e.g., the concern that it relies on the analytic/synthetic distinction. Finally, I will propose a somewhat modified and expanded version of the distinction and examine its consequences for the thesis that philosophy aims at discovering truths about phenomena of philosophical interest. (shrink)

Wilfrid Sellars's analysis of the concept of meaning led, in effect, to the conclusion that the meaning of an expression is its inferential role. This view is often challenged by the claim that inference is a matter of syntax and syntax can never yield us semantics. I argue that this challenge is based on the confusion of two senses of "syntax"; and I try to throw some new light on the concept of inferential role. My conclusion is that the Sellarsian (...) view that something can have meaning only if it is subject to inferences is viable, and that inferential role is a plausible explication of meaning. However I also argue, pace Sellars, that the inferential nature of meaning does not prevent us from engaging in the enterprise of Carnapian formal semantics. (shrink)

I conceive of inductive logic as a project of explication. The explicandum is one of the meanings of the word `probability' in ordinary language; I call it inductive probability and argue that it is logical, in a certain sense. The explicatum is a conditional probability function that is specified by stipulative definition. This conception of inductive logic is close to Carnap's, but common objections to Carnapian inductive logic (the probabilities don't exist, are arbitrary, etc.) do not apply to (...) this conception. (shrink)

I analyze Quine’s later writings on analyticity from a linguistic point of view. In Word and Object Quine made room for a “strictly vegetarian” notion of analyticity. In later years, he developed this notion into two more precise notions, which I have coined “stimulus analyticity” and “behaviorist analyticity.” The latter characterization is in many respects similar to Carnap’s characterization of analyticity based on semantic rules and can be seamlessly incorporated in a Carnapian project of explication. I explain why (...) Quine failed to see the importance of analyticity thus defined. I argue that Quine’s views on language are deeply rooted in the American structuralist tradition in linguistics and that the resulting strict descriptivism and the strong emphasis on language change bring down the usefulness of analyticity. (shrink)