In this paper I will compare the concept of explication à la Carnap and the concept of explication à la Kant. This essay should primarily be seen as a comparison of two different philosophical styles, but it is also intended as a vindication of what Kant wrote and what Carnap forgot to read.

Examining previous discussions on how to construe the concepts of gender and race, we advocate what we call strategic conceptual engineering. This is the employment of a (possibly novel) concept for specific epistemic or social aims, concomitant with the openness to use a different concept (e.g., of race) for other purposes. We illustrate this approach by sketching three distinct concepts of gender and arguing that all of them are needed, as they answer to different social aims. The first concept serves (...) the aim of identifying and explaining gender-based discrimination. It is similar to Haslanger’s well-known account, except that rather than offering a definition of ‘woman’ we focus on ‘gender’ as one among several axes of discrimination. The second concept of gender is to assign legal rights and social recognitions, and thus is to be trans-inclusive. We argue that this cannot be achieved by previously suggested concepts that include substantial gender-related psychological features, such as awareness of social expectations. Instead, our concept counts someone as being of a certain gender solely based on the person’s self-identification with this gender. The third concept of gender serves the aim of personal empowerment by means of one’s gender identity. In this context, substantial psychological features and awareness of one’s social situation are involved. While previous accounts of concepts have focused on their role in determining extensions, we point to contexts where a concept’s role in explanation and moral reasoning can be more important. (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)

Taking Carnap’s classic exposition as a starting point, this paper develops a pragmatic account of the method of explication, defends it against a range of challenges and proposes a detailed recipe for the practice of explicating. It is then argued that confusions are involved in characterizing explications as definitions, and in advocating precising definitions as an alternative to explications. Explication is better characterized as conceptual re-engineering for theoretical purposes, in contrast to conceptual re-engineering for other purposes and improving exactness for (...) purely practical reasons. Finally, three limitations which call for further development of the method of explication are discussed. (shrink)

Which concepts should we use to think and talk about the world and to do all of the other things that mental and linguistic representation facilitates? This is the guiding question of the field that we call ‘conceptual ethics’. Conceptual ethics is not often discussed as its own systematic branch of normative theory. A case can nevertheless be made that the field is already quite active, with contributions coming in from areas as diverse as fundamental metaphysics and social/political philosophy. In (...) this pair of papers, we try to unify the field, reflecting on its basic nature, structure, and methodology. (shrink)

Which concepts should we use to think and talk about the world, and to do all of the other things that mental and linguistic representation facilitates? This is the guiding question of the field that we call ‘conceptual ethics’. Conceptual ethics is not often discussed as its own systematic branch of normative theory. A case can nevertheless be made that the field is already quite active, with contributions coming in from areas as diverse as fundamental metaphysics and social/political philosophy. In (...) this pair of papers, we try to unify the field, reflecting on its basic nature, structure, and methodology. (shrink)

Herman Cappelen investigates how language and other representational devices can go wrong, and how to fix them. We use language to understand and talk about the world, but what if our language has deficiencies that prevent it from playing that role? How can we revise our concepts, and what are the limits on revision?

The linguistic turn provided philosophers with a range of reasons for engaging in careful investigation into the nature and structure of language. However, the linguistic turn is dead. The arguments for it have been abandoned. This raises the question: why should philosophers take an interest in the minutiae of natural language semantics? I’ll argue that there isn’t much of a reason - philosophy of language has lost its way. Then I provide a suggestion for how it can find its way (...) again. (shrink)

Rudolf Carnap is widely regarded as one of the most important philosophers of the twentieth century. Born in Germany and later a US citizen, he was a founder of the philosophical movement known as Logical Empiricism. He was strongly influenced by a number of different philosophical traditions, and also by the German Youth Movement, the First World War, and radical socialism. This book places his central ideas in a broad cultural, political and intellectual context, showing how he synthesised many different (...) currents of thought to achieve a philosophical perspective that remains strikingly relevant in the twenty-first century. Its rich account of a philosopher's response to his times will appeal to all who are interested in the development of philosophy in the twentieth century. (shrink)

The article is an extended critical discussion of Kevin Scharp’s Replacing Truth. Scharp’s case for the claim that the concept of truth is inconsistent is criticized, and so is his case for the claim that the concept of truth must be replaced because of its inconsistency.

The article is an extended critical discussion of Kevin Scharp’s Replacing Truth. Scharp’s case for the claim that the concept of truth is inconsistent is criticized, and so is his case for the claim that the concept of truth must be replaced because of its inconsistency.

What is knowledge? What should knowledge be like? Call an epistemological project that sets out to answer the first question ‘descriptive’ and a project that sets out to answer the second question ‘normative’. If the answers to these two questions don’t coincide—if what knowledge should be like differs from what knowledge is like—there is room for a third project we call ‘revisionary’. A revisionary project starts by arguing that what knowledge should be differs from what knowledge is. It then proposes (...) that we revise our account of knowledge accordingly. Our aim in this paper was to develop a methodology for revisionary projects in epistemology. Put roughly, the thought is that we start by looking at the various things that we expect knowledge to do for us. Once we have a list of the various things we expect knowledge to do for us we have a ‘job description’; a list of tasks we need done, and that we expect knowledge to perform. With the job description in hand, we can ask what knowledge would hav.. (shrink)

Abstract: This article offers an account and defence of constructionism, both as a metaphilosophical approach and as a philosophical methodology, with references to the so-called maker's knowledge tradition. Its main thesis is that Plato's “user's knowledge” tradition should be complemented, if not replaced, by a constructionist approach to philosophical problems in general and to knowledge in particular. Epistemic agents know something when they are able to build (reproduce, simulate, model, construct, etc.) that something and plug the obtained information into the (...) correct network of relations that account for it. Their epistemic expertise increases with the scope and depth of the questions that they are able to ask and answer. Thus, constructionism deprioritises mimetic, passive, and declarative knowledge that something is the case, in favour of poietic, interactive, and practical knowledge of something being the case. Metaphilosophically, constructionism suggests adding conceptual engineering to conceptual analysis as a fundamental method. (shrink)

One way of explaining Rudolf Carnap’s mature philosophical view is by drawing an analogy between his technical projects—like his work on inductive logic—with a certain kind of conceptual engineering. After all, there are many mathematical similarities between Carnap’s work in inductive logic and a number of results from contemporary confirmation theory, statistics and mathematical probability theory. However, in stressing these similarities, the conceptual dependence of Carnap’s inductive logic on his work on semantics is downplayed. Yet it is precisely the conceptual (...) resources made available to Carnap from his work on semantics which allows him to understand his work on inductive logic as a kind of conceptual engineering project. The aim of this paper is to elucidate this engineering analogy in light of Carnap’s mature views through the lens of both inductive logic and semantics. (shrink)

In Replacing Truth (2013), Scharp takes the concept of truth to be fundamentally incoherent. As such, Scharp reckons it to be unsuited for systematic philosophical theorising and in need of replacement—at least for regions of thought and talk which permit liar sentences and their ilk to be formulated. This replacement methodology is radical because it not only recommends that the concept of truth be replaced (in troublesome domains) but that the word “true” be replaced too. Only Tarski has attempted anything (...) like it before. I dub such a view Conceptual Marxism. In assessing this view, my goals are four-fold: to summarise the many components of Scharp’s theory of truth; to highlight what I take to be some of the excess baggage carried by the view; to assess whether, and to what extent, the extreme methodology on offer is at all called for; finally, to briefly propose a less radical replacement strategy for resolving the liar paradox. (shrink)

Conceptual Engineering alleges that philosophical problems are best treated via revising or replacing our concepts (or words). The goal here is not to defend Conceptual Engineering but rather show that it can (and should) invoke Neutralism—the broad view that philosophical progress can take place when (and sometimes only when) a thoroughly neutral, non-specific theory, treatment, or methodology is adopted. A neutralist treatment of one form of skepticism is used as a case study and is compared with various non-neutral rivals. Along (...) the way, a new taxonomy for paradox is proposed. (shrink)

In this collection of previously published essays, Sally Haslanger draws on insights from feminist and critical race theory and on the resources of contemporary analytic philosophy to develop the idea that gender and race are positions ...

Contemporary discussions of race and racism devote considerable effort to giving conceptual analyses of these notions. Much of the work is concerned to investigate a priori what we mean by the terms ‘ race ’ and ‘racism’ ; more recent work has started to employ empirical methods to determine the content of our “folk concepts,” or “folk theory” of race and racism. In contrast to both of these projects, I have argued elsewhere that in considering what we mean by these (...) terms we should treat them on the model of kind terms whose reference is fixed by ordinary uses, but whose content is discovered empirically using social theory; I have also argued that it is not only important to determine what we actually mean by these terms, but what we should mean, i.e., what type, if any, we should be tracking. My own discussion of these issues, however, has been confused and confusing. In giving an account of race or gender, is the goal to provide a conceptual analysis? Or to investigate the kinds we are referring to? To draw attention to different kinds? To stipulate new meanings? Jennifer Saul has raised a series of powerful objections to my accounts of gender and race, suggesting that they are neither semantically nor politically useful, regardless of whether we treat them as revisionary proposals, or as elucidations of our concepts. Joshua Glasgow has also offered a critique of my externalist approach to race as an effort to capture “our concept”. I agree with much of what they say, but I also believe that there is something I was trying to capture that. (shrink)

It is always awkward when someone asks me informally what I’m working on and I answer that I’m trying to figure out what gender is. For outside a rather narrow segment of the academic world, the term ‘gender’ has come to function as the polite way to talk about the sexes. And one thing people feel pretty confident about is their knowledge of the difference between males and females. Males are those human beings with a range of familiar primary and (...) secondary sex characteristics, most important being the penis; females are those with a different set, most important being the vagina or, perhaps, the uterus. Enough said. Against this background, it isn’t clear what could be the point of an inquiry, especially a philosophical inquiry, into “what gender is”. (shrink)

Across the humanities and social sciences it has become commonplace for scholars to argue that categories once assumed to be “natural” are in fact “social” or, in the familiar lingo, “socially constructed”. Two common examples of such categories are race and gender, but there many others. One interpretation of this claim is that although it is typically thought that what unifies the instances of such categories is some set of natural or physical properties, instead their unity rests on social features (...) of the items in question. Social constructionists pursuing this strategy—and it is these social constructionists I will be focusing on in this paper—aim to “debunk” the ordinary assumption that the categories are natural, by revealing the more accurate social basis of the classification.2 To avoid confusion, and to resist some of the associations with the term ‘social construction’, I will sometimes use the term ‘socially founded’ for the categories that this sort of constructionist reveals as social rather than natural. (shrink)

Theorists analyzing the concepts of race and gender disagree over whether the terms refer to natural kinds, social kinds, or nothing at all. The question arises: what do we mean by the terms? It is usually assumed that ordinary intuitions of native speakers are definitive. However, I argue that contemporary semantic externalism can usefully combine with insights from Foucauldian genealogy to challenge mainstream methods of analysis and lend credibility to social constructionist projects.

[Sally Haslanger] In debates over the existence and nature of social kinds such as 'race' and 'gender', philosophers often rely heavily on our intuitions about the nature of the kind. Following this strategy, philosophers often reject social constructionist analyses, suggesting that they change rather than capture the meaning of the kind terms. However, given that social constructionists are often trying to debunk our ordinary (and ideology-ridden?) understandings of social kinds, it is not surprising that their analyses are counterintuitive. This article (...) argues that externalist insights from the critique of the analytic/synthetic distinction can be extended to justify social constructionist analyses. /// [Jennifer Saul] Sally Haslanger's 'What Good Are Our Intuitions? Philosophical Analysis and Social Kinds' is, among other things, a part of the theoretical underpinning for analyses of race and gender concepts that she discusses far more fully elsewhere. My reply focuses on these analyses of race and gender concepts, exploring the ways in which the theoretical work done in this paper and others can or cannot be used to defend these analyses against certain objections. I argue that the problems faced by Haslanger's analyses are in some ways less serious, and in some ways more serious, than they may at first appear. Along the way, I suggest that ordinary speakers may not in fact have race and gender concepts and I explore the ramifications of this claim. (shrink)

Abstract Recent criticisms of intuition from experimental philosophy and elsewhere have helped undermine the authority of traditional conceptual analysis. As the product of more empirically informed philosophical methodology, this result is compelling and philosophically salutary. But the negative critiques rarely suggest a positive alternative. In particular, a normative account of concept determination—how concepts should be characterized—is strikingly absent from such work. Carnap's underappreciated theory of explication provides such a theory. Analyses of complex concepts in empirical sciences illustrates and supports this (...) claim, and counteracts the charge explication is only suitable for highly mathematical, axiomatic contexts. Explication is also defended against the influential criticism it is “philosophically unilluminating”. Content Type Journal Article Category Original paper in Philosophy of Science Pages 1-19 DOI 10.1007/s13194-011-0027-5 Authors James Justus, Philosophy Department, Florida State University and University of Sydney, Tallahassee, FL 32306, USA Journal European Journal for Philosophy of Science Online ISSN 1879-4920 Print ISSN 1879-4912. (shrink)

Peter Ludlow shows how word meanings are much more dynamic than we might have supposed, and explores how they are modulated even during everyday conversation. The resulting view is radical, and has far-reaching consequences for our political and legal discourse, and for enduring puzzles in the foundations of semantics, epistemology, and logic.

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

How can formal methods be applied to philosophical problems that involve informal concepts of ordinary language? Carnap answered this question by describing a methodology that he called “explication." Strawson objected that explication changes the subject and does not address the original philosophical problem; this paper shows that Carnap’s response to that objection was inadequate and offers a better response. More recent criticisms of explication by Boniolo and Eagle are shown to rest on misunderstandings of the nature of explication. It is (...) concluded that explication is an appropriate methodology for formal philosophy. (shrink)

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)

In the course of theorising, it can be appropriate to replace one concept—a folk concept, or one drawn from an earlier stage of theorising—with a more precise counterpart. The best-known account of concept replacement is Rudolf Carnap’s ‘explication’. P.F. Strawson famously critiqued explication as a method in philosophy. As the critique is standardly construed, it amounts to the objection that explication is ‘irrelevant’, fails to be ‘illuminating’, or simply ‘changes the subject’. In this paper, I argue that this is an (...) unfair characterisation of Strawson’s critique, spelling out the critique in more detail and showing that, fully understood, it is not undermined by extant responses. In light of both the critique and extant responses, I close by making some substantive comments about what explication can, and cannot, be used to do in philosophy. (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)

In this paper, I argue that facts about the history or genealogy of concepts (facts about what I call “conceptual history”) can matter for normative inquiry. I argue that normative and evaluative issues about concepts (such as issues about which concepts an agent should use, in a given context) matter for all forms of inquiry (including normative inquiry) and that conceptual history can help us when we engage in thinking about these normative and evaluative issues (which I call issues in (...) “conceptual ethics”). My aim in making this argument is to develop a schematic framework for thinking about the relationship between conceptual history and normative inquiry. The framework puts pressure on those who, often unreflectively or implicitly, dismiss the potential relevance of conceptual history to normative inquiry. At the same time, the framework can be seen as presenting a challenge to those drawn to more radical views about the relationship between conceptual history and normative inquiry. The challenge is this: if one wants a more ambitious model of the relevance of conceptual history to normative inquiry than what I provide in this paper, one needs to explain what justifies such a model. (shrink)

This paper is about philosophical disputes where the literal content of what speakers communicate concerns such object-level issues as ground, supervenience, or real definition. It is tempting to think that such disputes straightforwardly express disagreements about these topics. In contrast to this, I suggest that, in many such cases, the disagreement that is expressed is actually one about which concepts should be employed. I make this case as follows. First, I look at non-philosophical, everyday disputes where a speaker employs a (...) metalinguistic usage of a term. This is where a speaker uses a term to express a view about the meaning of that term, or, relatedly, how to correctly use that term. A metalinguistic negotiation is a metalinguistic dispute that concerns a normative issue about what a word should mean, or, similarly, about how it should be used, rather than the descriptive issue about what it does mean. I argue that the same.. (shrink)

In constructing semantic theories of normative and evaluative terms, philosophers have commonly deployed a certain type of disagreement -based argument. The premise of the argument observes the possibility of genuine disagreement between users of a certain normative or evaluative term, while the conclusion of the argument is that, however differently those speakers employ the term, they must mean the same thing by it. After all, if they did not, then they would not really disagree. We argue that in many of (...) the cases in which this argument is deployed, the conclusion not only fails to follow from the premises, but is very likely false. Disagreements between speakers who do not mean the same things by their words are common, genuine, and not easily distinguished from ordinary disagreements over the truth of literally expressed content. We make this case by developing the notion of a metalinguistic negotiation, an exchange in which speakers tacitly negotiate the proper deployment of some linguistic expression in a context. Metalinguistic negotiations express disagreements over information that is conveyed pragmatically and about what concepts should be deployed in the context at hand. We argue that neither of these features poses any obstacle to metalinguistic negotiations serving to express genuine, substantive disagreements that can be well worth engaging in. Contrary to what has been widely assumed in the literature, many normative and evaluative disputes—among ordinary speakers and even among philosophers themselves—may be of exactly this type, a conclusion with important consequences for both the subject matter and the methodology of metanormative theory. (shrink)

This paper is about conceptual engineering. Specifically, it discusses a common objection to CE, which I call the Discontinuity Objection. According to the Discontinuity Objection, CE leads to problematic discontinuities in subject and/or inquiry – making it philosophically uninteresting or irrelevant. I argue that a conceptual engineer can dismiss the Discontinuity Objection by showing that the pre-engineering concept persists through the proposed changes. In other words, the Discontinuity Objection does not apply if the proposal involves identity-preserving changes. Two existing views (...) on identity-preserving changes are considered and rejected. I then argue that an identity-preserving conceptual change is one that allows the concept to continue to perform its function. A concept’s function is its job, its point and purpose, its role in a conceptual repertoire. In a slogan: Preserve a concept’s function, and you preserve the concept itself; preserve the concept, and you preserve the subject. The paper concludes by discussing some implications of this view. (shrink)

Andrew Bacon, Matti Eklund, and Patrick Greenough have individually proposed objections to the project in my book, Replacing Truth. Briefly, the book outlines a conceptual engineering project – our defective concept of truth is replaced for certain purposes with a team of concepts that can do some of the jobs we thought truth could do. Here, I respond to their objections and develop the views expressed in Replacing Truth in various ways.

Kevin Scharp proposes an original theory of the nature and logic of truth on which truth is an inconsistent concept that should be replaced for certain theoretical purposes. He argues that truth is best understood as an inconsistent concept, and proposes a detailed theory of inconsistent concepts that can be applied to the case of truth. Truth also happens to be a useful concept, but its inconsistency inhibits its utility; as such, it should be replaced with consistent concepts that can (...) do truth's job without giving rise to paradoxes. To this end, Scharp offers a pair of replacements, which he dubs ascending truth and descending truth, along with an axiomatic theory of them and a new kind of possible-worlds semantics for this theory. He goes to develop Davidson's idea that truth is best understood as the core of a measurement system for rational phenomena, and offers a semantic theory that treats truth predicates as assessment-sensitive and solves the problems posed by the liar and other paradoxes. (shrink)

This essay proposes a theory of the nature and logic of truth on which truth is an inconsistent concept that should be replaced for certain theoretical purposes. The paradoxes associated with truth (for example, the liar) and the pattern of failures in our attempts to deal with them suggest that truth is an inconsistent concept. The first part of the essay describes a pair of replacement concepts, which the essay dubs ascending truth and descending truth, along with an axiomatic theory (...) of them and an empirical interpretation of the theory. The essay shows how to use these replacements in a familiar truth-conditional semantics as well. The second part of the essay offers a descriptive theory of our natural language truth predicate that takes it to be assessment sensitive, which means that it has the same content in every context of utterance, but its extension (that is, the set of things that are true) depends on a context of assessment. Contexts of assessment model situations in which a person interprets someone's utterance. From different contexts of assessment, the truth predicate has different extensions. The descriptive theory employs the concepts of ascending truth and descending truth, and they determine how the extension of the truth predicate varies across contexts of assessment. This assessment-sensitive theory of truth solves the liar and other paradoxes, it is compatible with classical logic and all the expressive resources we have in natural language, and it does not give rise to any new paradoxes. (shrink)

Of the dozens of purported solutions to the liar paradox published in the past fifty years, the vast majority are "traditional" in the sense that they reject one of the premises or inference rules that are used to derive the paradoxical conclusion. Over the years, however, several philosophers have developed an alternative to the traditional approaches; according to them, our very competence with the concept of truth leads us to accept that the reasoning used to derive the paradox is sound. (...) That is, our conceptual competence leads us into inconsistency. I call this alternative the inconsistency approach to the liar. Although this approach has many positive features, I argue that several of the well-developed versions of it that have appeared recently are unacceptable. In particular, they do not recognize that if truth is an inconsistent concept, then we should replace it with new concepts that do the work of truth without giving rise to paradoxes. I outline an inconsistency approach to the liar paradox that satisfies this condition. (shrink)

Two recently popular metaphilosophical movements, formal philosophy and experimental philosophy, promote what seem to be conflicting methodologies. Nonetheless, I argue that the two can be mutually supportive. I propose an experimentally-informed variation on explication, a powerful formal philosophical tool introduced by Carnap. The resulting method, which I call “experimental explication,” provides the formalist with a means of responding to explication's gravest criticism. Moreover, this method introduces a philosophically salient, positive role for survey-style experiments while steering clear of several objections that (...) critics of “positive experimental philosophy” raise. Thus, it provides the experimentalist with a more defensible example of how empirical work can have positive philosophical import. For these reasons, experimental explication should appeal to experimental philosophers and formal philosophers alike. (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)

Several philosophers have inquired into the metaphysical limits of conceptual engineering: ‘Can we engineer? And if so, to what extent?’. This paper is not concerned with answering these questions. It does concern itself, however, with the limits of conceptual engineering, albeit in a largely unexplored sense: it cares about the normative, rather than about the metaphysical limits thereof. I first defend an optimistic claim: I argue that the ameliorative project has, so far, been too modest; there is little value theoretic (...) reason to restrict the project to remedying deficient representational devices, rather than go on a more ambitious quest: conceptual improvement. That being said, I also identify a limitation to the optimistic claim: I show that the ‘should’ in ameliorative projects suffers from a ‘wrong-kind-of-reasons’ problem. Last but not least, I sketch a proposal of normative constraining meant to address both the above results. The proposal gives primacy to epistemic constraints: accordingly, a concept should be ameliorated only insofar as this does not translate into epistemic loss. (shrink)

In this paper I investigate how conceptual engineering applies to mathematical concepts in particular. I begin with a discussion of Waismann’s notion of open texture, and compare it to Shapiro’s modern usage of the term. Next I set out the position taken by Lakatos which sees mathematical concepts as dynamic and open to improvement and development, arguing that Waismann’s open texture applies to mathematical concepts too. With the perspective of mathematics as open-textured, I make the case that this allows us (...) to deploy the tools of conceptual engineering in mathematics. I will examine Cappelen’s recent argument that there are no conceptual safe spaces and consider whether mathematics constitutes a counterexample. I argue that it does not, drawing on Haslanger’s distinction between manifest and operative concepts, and applying this in a novel way to set-theoretic foundations. I then set out some of the questions that need to be engaged with to establish mathematics as involving a kind of conceptual engineering. I finish with a case study of how the tools of conceptual engineering will give us a way to progress in the debate between advocates of the Universe view and the Multiverse view in set theory. (shrink)