The what next question for moral error theorists asks: if moral discourse is systematically error-ridden, then how, if at all, should moral error theorists continue to employ moral discourse? Recent years have seen growing numbers of moral error theorists come to endorse a wider normative error theory according to which all normative judgements are untrue. But despite this shift, the what next question for normative error theorists has received far less attention. This paper presents a novel solution to this question: (...) revolutionary normative subjectivism. Along the way, two primary contributions are advanced. First, a non-normative methodology for answering the normative error theoretic what next question is developed. Second, revolutionary normative subjectivism is presented and defended in accordance with the proposed methodology. (shrink)

This article argues against the term and concept of ‘hate speech’ and in favour of using the concept and term ‘discriminatory speech’. ‘Hate speech’ is a misnomer; we should name the harmful speech in question by what it in fact does: it discriminates. The article argues for this conceptual replacement claim by identifying a number of functions the concept ‘hate speech’ has been meant to serve and by arguing that extant concepts of hate speech have not served this function well. (...) Roughly, they do not serve the functions well because of five properties of hate speech: hate centricity, perpetrator centricity, intention centricity, emotion centricity, and individual centricity. The article then proposes a definition of discriminatory speech and argues that it fulfils the conceptual functions better. (shrink)

Conceptual engineering takes a distinctively normative and reconstructive approach to our conceptual repertoire. This approach is congenial to the ideas defended by philosophers belonging to the multifaceted tradition of American and Cambridge Pragmatism. This special issue is devoted to the investigation and development of these connections. Our introduction maps some of the historical and theoretical entanglements between the two fields and gives a short overview of the contributions to the special issue.

Politicians and engineers are increasingly realizing that values are important in the development of technological artefacts. What is often overlooked is that different conceptualizations of these abstract values lead to different design-requirements. For example, designing social media platforms for deliberative democracy sets us up for technical work on completely different types of architectures and mechanisms than designing for so-called liquid or direct forms of democracy. Thinking about Democracy is not enough, we need to design for the proper conceptualization of these (...) values. As we see it, we cannot responsibly engineer and innovate and shape technology in accordance with our moral values without engaging in systematic and continuous conceptual engineering: This is not only an academic, or theoretical issue, it is also not simply an issue for public policy or politics, or regulators, it has become a central problem for engineering and the world of technology. In this paper, we present a framework for doing the necessary conceptual work in the context of requirement engineering. We draw on the literature on conceptual engineering to lay out a methodology to (1) assess different conceptions and (2) to develop new conceptions. Moreover, we integrate this methodology with extant approaches in the philosophy of technology which aim at designing technological artefacts ethically. In the final section we apply this integrated framework to freedom in the context of social media networks. (shrink)

A common objection to the very idea of conceptual engineering is the topic continuity problem: whenever one tries to “reengineer” a concept, one only shifts attention away from one concept to another. Put differently, there is no such thing as conceptual revision: there’s only conceptual replacement. Here, I show that topic continuity is compatible with conceptual replacement. Whether the topic is preserved in an act of conceptual replacement simply depends on what is being replaced (a conceptual tool or a conceptual (...) role) and what the topic under discussion is. Thus, the topic continuity problem only arises from a failure to specify these two things. (shrink)

The metalinguistic approach to conceptual engineering construes disputes between linguistic reformers and linguistic conservatives as metalinguistic disagreements on how best to use particular expressions. As the present paper argues, this approach has various merits. However, it was recently criticised in Cappelen’s seminal Fixing Language. Cappelen raises an important objection against the metalinguistic picture. According to this objection – the Babel objection, as I shall call it – the metalinguistic account cannot accommodate the intuition of disagreement between linguistic conservatives and reformers (...) who are speaking different languages. The objection generalises to metalinguistic approaches to e.g. moral disagreements. This paper discusses the Babel objection and shows how to dispel it. (shrink)

Experimental Philosophy (X-Phi) is now a fully-fledged methodological project with applications in almost all areas of analytic philosophy, including, as of recently, aesthetics. Another methodological project which has been attracting attention in the last few years is conceptual engineering (CE). Its areas of implementation are now diverse, but as was the case initially with experimental philosophy, aesthetics has unfortunately been left out (or perhaps aestheticians have failed to pay attention to CE) until now. In this paper, I argue that if (...) conceptual engineers are interested in expanding their project to the field of aesthetics, which would greatly benefit the field, then they should rely on the existing experimental work of aestheticians. Experimental philosophers have only recently started to join forces with conceptual engineers in various fields, as well as to explore the methodological implications of such an alliance. This paper goes a step further by not only arguing that CE has potential in aesthetics, but that the way to realize this potential is to piggyback, so to speak, on the work of experimental aestheticians. In other words, instead of building a CE project in aesthetics from the ground up, this paper describes the support that CE can and should derive from current experimental aesthetics, thereby making the former’s development more efficiently realizable. Furthermore, I argue that doing so would also be beneficial to experimental aesthetics. Currently, the integration of X-Phi to the wider field of aesthetics is losing ground because certain objections—notably, the objection that X-Phi cannot be of relevance to normative questions—have not been properly refuted. By pairing up with a normative programme like CE, though, experimental aestheticians should finally be able to put these objections to rest. (shrink)

Conceptual engineers have made hay over the differences of their metaphilosophy from those of conceptual analysts. In this article, I argue that the differences are not as great as conceptual engineers have, perhaps rhetorically, made them seem. That is, conceptual analysts asking ‘What is X?’ questions can do much the same work that conceptual engineers can do with ‘What is X for?’ questions, at least if conceptual analysts self-understand their activity as a revisionary enterprise. I show this with a study (...) of Russell's metaphilosophy, which was just such a revisionary conception of conceptual analysis. (shrink)

One important activity in conceptual ethics and conceptual engineering involves proposing to associate a new semantics with an existing word. Many philosophers think that one important way to evaluate such a proposal concerns whether it preserves the “topic” picked out by the existing word, and several have offered competing proposals concerning what is required to preserve topic. Our paper is focused on the conceptual ethics question of how conceptual engineers should use the term ‘topic continuity’. We provide and defend a (...) context-sensitive answer to this question. Our answer is motivated by the idea that there are several distinct considerations that we can reasonably care about (and which many conceptual engineers already do care about) in thinking about “topic continuity”, and, moreover, that how best to weigh them against each other can vary from context to context. On our proposal, ‘topic continuity’ can function as a useful representational device that enables coordination by inquirers with respect to these concerns. We conclude by locating our account in a broader way of thinking about topic continuity across a range of inquiries. (shrink)

Projects of conceptual engineering that aim to ameliorate concepts face the challenge of topic continuity. In some instances of conceptual amelioration, a particularly strong kind of continuity is needed: Sameness of subject matter. This paper examines how sameness of subject matter can be maintained in conceptual amelioration. It starts from a view that sees concepts as ways of thinking, implying that to change a concept is to replace it. At first sight, this view seems incompatible with maintaining sameness of subject (...) matter in conceptual amelioration. Accordingly, Sally Haslanger and Sarah Sawyer have suggested accounts of conceptual amelioration that do without replacing concepts. On their accounts, the persisting concept is supposed to guarantee sameness of subject matter. However, both accounts face problems. Therefore, I suggest a different account to maintain sameness of subject matter inspired by Bartels’s chains of meaning theory. On this account, sameness of subject matter is guaranteed through a common referent of the pre- and the post-amelioration concept, established from the post-amelioration perspective. The account allows for sameness of subject matter even though concepts are replaced in the ameliorative process. (shrink)

This paper investigates the connection between two recent trends in philosophy: higher-orderism and conceptual engineering. Higher-orderists use higher-order quantifiers (in particular quantifiers binding variables that occupy the syntactic positions of predicates) to express certain key metaphysical doctrines, such as the claim that there are properties. I argue that, on a natural construal, the higher-orderist approach involves an engineering project concerning, among others, the concept of existence. I distinguish between a modest construal of this project, on which it aims at engineering (...) higher-order analogues of the familiar notion of first-order existence, and an ambitious construal, on which it additionally aims at engineering a broadened notion of existence that subsumes first-order and higher-order existence. After identifying a substantial problem for the ambitious project, I investigate a possible response which is based on adopting a cumulative type theory as the background higher-order logic. While effective against the problem at hand, this strategy turns out to undermine a major reason to embrace higher-orderism in the first place, namely the idea that higher-orderism dissolves a range of otherwise intractable debates in metaphysics. Higher-orderists are therefore best advised to pursue their engineering project on the modest variant and against the background of standard type theory. (shrink)

This paper explores the question: What would conceptual engineering have to be in order to promote social justice? Specifically, it argues that to promote social justice, conceptual engineering must deliver the following: it needs to be possible to deliberately implement a conceptual engineering proposal in large communities; it needs to be possible for a conceptual engineering proposal to bring about change to extant social categories; it needs to be possible to bring a population to adopt a conceptual engineering proposal for (...) the right reasons; and it needs to be possible to do – without producing harmful consequences. I show that, of the three dominant approaches to conceptual engineering in the literature, only one of them seems amenable to the idea that it is possible and legitimate to promote social justice in accordance with –. (shrink)

In this paper, I argue that an adequate meta-semantic framework capable of accommodating the range of projects currently identified as projects in conceptual engineering must be sensitive to the fact that concepts (and hence projects relating to them) fall into distinct kinds. Concepts can vary, I will argue, with respect to their direction of determination, their modal range, and their temporal range. Acknowledging such variations yields a preliminary taxonomy of concepts and generates a meta-semantic framework that allows us both to (...) accommodate the full range of cases and to identify a proper subset of concepts for special ameliorative consideration. Ignoring such variations, in contrast, leads to a restricted meta-semantic framework that accommodates only a subset of the particular projects while generating implausible accounts of others. (shrink)

This paper argues for explanatory eliminativism about topics (and cognates, such as subject matters) relative to the domain of conceptual engineering. It has become usual to think that topics serve an important explanatory role in theories of conceptual engineering, namely, to determine the limits of revision. I argue, first, that such limits can be understood either as thenormative limitspertaining to the justification of conceptual engineering, as themetaphysical limitspertaining to the identity of the concepts in question, or as theterminological limitspertaining to (...) usage of the original terminology. Second, I argue that the metaphysical reading is disputable as a theory of concepts and inconsequential for conceptual engineers, and that neither of the two leading accounts of topics that have been presented in the literature—the samesaying account and functionalism—determine the limits of revision in either of the two remaining senses. In the absence of more promising competitors, I conclude that there is no theoretical role for topics to play in theories of conceptual engineering. An upshot of my argument is that conceptual engineers should stop worrying about things like topic (dis)continuity, and instead shift their attention to the issues that really matter for justifying conceptual revisions or replacements, making terminological choices, and underpinning conceptual engineering with a theory of concepts. (shrink)

Conceptual engineering is the method for assessing and improving our concepts. However, little has been written about how best to conceive of concepts for the purposes of conceptual engineering. In this paper, I aim to fill this foundational gap, proceeding in three main steps: First, I propose a methodological framework for evaluating the conduciveness of a given concept of concept for conceptual engineering. Then, I develop a typology that contrasts two competing concepts of concept that can be used in conceptual (...) engineering — namely, the philosophical and psychological ones. Finally, I evaluate these two concepts of concept using the proposed methodological framework and I show that, when it comes to making conceptual engineering an actionable method, the psychological concept of concept outclasses its philosophical counterpart on all counts. This provides a baseline from which the concept of concept can be further improved for the purposes of conceptual engineering. (shrink)

Conceptual engineers have recently turned to the notion of conceptual functions to do a variety of explanatory work. Functions are supposed to explain what speakers are debating about in metalinguistic negotiations, to capture when two concepts are about the same thing, and to help guide our normative inquiries into which concepts we should use. In this paper, I argue that this recent “functional turn” should be deflated. Contra most interpreters, we should not try to use a substantive notion of conceptual (...) functions to handle various problems for conceptual engineering. The primary accounts of function appealed to by conceptual engineers, namely etiological and system functions, are not suited to handle many of the problems functions are supposed to handle, and it’s dubious whether any other account of function would do better. Instead of trying to use substantive functions to solve theoretical problems, we should deflate those problems themselves by focusing only on what matters to us, as speakers or theorists, in a given inquiry. (shrink)

Conceptual engineering projects have been criticized for creating discontinuities of subject-matter and, as a result, discontinuities in inquiries: call this the Change of Subject objection. In this paper, I explore a way of dealing with the objection that clarifies its scope and eventually downplays it. First, two strategies aimed at saving subject-continuity are examined and found wanting: Herman Cappelen’s appeal to topics, and the account in terms of concept function. Second, the idea is introduced that one can begin an object-level (...) inquiry either with a ‘semantically conservative’ approach, whereby semantic change is not permitted, or with a ‘semantically progressive’ approach, whereby semantic change is permitted. This distinction helps one significantly downplay the Change of Subject objection. (shrink)

Verbal disputes are often seen as closely related to a lack of substantivity. However, a systematic and comprehensive investigation of how verbalness relates to substantivity is still missing. The present paper attempts to close this gap. In addition to offering different conceptions of verbalness, the paper further develops Sider’s (Writing the Book of the World, OUP, Oxford, 2011) notion of substantivity. Ultimately, I argue for a more careful choice of terminology when it comes to assessing a dispute as “(merely) verbal” (...) or “nonsubstantive”. While the paper shows that there is no strict logical relation between mere verbalness and nonsubstantivity construed along the lines set out by Sider, it also demonstrates that further notable notions of (mere) verbalness and substantivity are in fact closely intertwined. (shrink)

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

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

Changing concepts comes with a risk of creating merely verbal disputes. Accounts of topic continuity (such as Herman Cappelen’s) are supposed to solve this problem. As this paper shows, however, no existing solution avoids the danger of mere verbalness. On the contrary, accounts of topic continuity in fact increase the danger of overlooking merely verbal disputes between pre- and post-ameliorators. Ultimately, this paper suggests accepting the danger of mere verbalness resulting from a change in topic as a downside of conceptual (...) engineering. Changing the topic under discussion may be worth the risk, however, in many cases. In fact, this paper proposes that the main goal of conceptual engineering should be seen as changing topics for the better. (shrink)

Many ameliorative projects aim at moral goods such as social equality. For example, the amelioration of the concept MARRIAGE forms part of efforts to achieve equal rights for the LGBT+ community. What does implementation of such an ameliorated concept consist in? In this paper, I argue that, for some ameliorated concepts, successful implementation requires that individuals eschew semantic deference, at least with respect to relevant dimensions of the concept. My argument appeals to consideration of the aims of conceptual engineers engaged (...) in this type of ameliorative project: they seek conceptual change in order to contribute to the dismantling of oppressive social structures, institutions, and systems of belief. I argue that, for such aims to be achieved, it must be the case that individuals who come to endorse the concept do so for the right reasons---because they have gained an understanding of why the ameliorated concept is morally preferable to its ancestor. Once they have acquired such reasons, however, they are no longer correctly described as semantically deferential; they will treat moral reasons to employ the concept as overriding of semantic considerations. (shrink)

This paper aims to provide a mathematically tractable background against which to model both modal and hyperintensional cognitivism and modal and hyperintensional expressivism. I argue that epistemic modal algebras, endowed with a hyperintensional, topic-sensitive epistemic two-dimensional truthmaker semantics, comprise a materially adequate fragment of the language of thought. I demonstrate, then, how modal expressivism can be regimented by modal coalgebraic automata, to which the above epistemic modal algebras are categorically dual. I examine five methods for modeling the dynamics of conceptual (...) engineering for intensions and hyperintensions. I develop a novel topic-sensitive truthmaker semantics for dynamic epistemic logic, and develop a novel dynamic epistemic two-dimensional hyperintensional semantics. I examine then the virtues unique to the modal and hyperintensional expressivist approaches here proffered in the setting of the foundations of mathematics, by contrast to competing approaches based upon both the inferentialist approach to concept-individuation and the codification of speech acts via intensional semantics. (shrink)

In this paper, we first briefly survey the main responses to the challenge that experimental philosophy poses to the method of cases, given the common assumption that the latter is crucially based on intuitive judgments about cases. Second, we discuss two of the most popular responses in more detail: the expertise defense and the mischaracterization objection. Our take on the expertise defense is that the available empirical data do not support the claim that professional philosophers enjoy relevant expertise in their (...) intuitive judgments about cases. In contrast, the mischaracterization objection seems considerably more promising than its largely negative reception has suggested. We argue that the burden of proof is thus on philosophers who still hold that the method of cases crucially relies on intuitive judgments about cases. Finally, we discuss whether conceptual engineering provides an alternative to the method of cases in light of the challenge from experimental philosophy. We argue that this is not clearly the case, because conceptual engineering also requires descriptive information about the concepts it aims to improve. However, its primarily normative perspective on our concepts makes it largely orthogonal to the challenge from experimental philosophy, and it can also benefit from the empirical methods of the latter. (shrink)

Recent rival attempts in the philosophy of science to put forward a general theory of the properties that all (and only) natural kinds across the sciences possess may have proven to be futile. Instead, I develop a general methodological framework for how to philosophically study kinds. Any kind has to be investigated and articulated together with the human aims that motivate referring to this kind, where different kinds in the same scientific domain can answer to different concrete aims. My core (...) contention is that non-epistemic aims, including environmental, ethical, and political aims, matter as well. This is defended and illustrated based on several examples of kinds, with particular attention to the role of social-political aims: species, race, gender, as well as personality disorders and oppositional defiant disorder as psychiatric kinds. Such non-epistemic aims and values need not always be those personally favoured by scientists, but may have to reflect values that matter to relevant societal stakeholders. Despite the general agenda to study ‘kinds,’ I argue that philosophers should stop using the term ‘natural kinds,’ as this label obscures the relevance of humans interests and the way in which many kinds are based on contingent social processes subject to human responsibility. (shrink)

What are conspiracy theories? And what, if anything, is epistemically wrong with them? I offer an account on which conspiracy theories are a unique way of holding a belief in a conspiracy. Specifically, I take conspiracy theories to be self-insulating beliefs in conspiracies. On this view, conspiracy theorists have their conspiratorial beliefs in a way that is immune to revision by counter-evidence. I argue that conspiracy theories are always irrational. Although conspiracy theories involve an expectation to encounter some seemingly disconfirming (...) evidence (allegedly planted by the conspirators), resistance to all counter- evidence cannot be justified on these grounds. (shrink)

What is the relationship between conceptual engineering and metasemantic externalism? Sally Haslanger has argued that metasemantic externalism justifies the seemingly counterintuitive consequences of her proposed conceptual revisions. But according to Herman Cappelen, metasemantic externalism makes conceptual engineering effectively impossible in practice. After raising objections to Haslanger’s and Cappelen’s views, I argue for a very different picture, on which metasemantic externalism bears very little on conceptual engineering. I argue that, while metasemantic externalism principally operates at the level of semantic-meaning, we should (...) understand conceptual engineering to operate largely at the level of speaker-meaning. This ‘Speaker-Meaning Picture’ has two key benefits. Firstly, it makes conceptual engineering often easy in practice. Secondly, it suggests a new, normative response to the well known objection that conceptual engineering serves only to change the subject. (shrink)

Conceptual engineering is to be explained by appeal to the externalist distinction between concepts and conceptions. If concepts are determined by non-conceptual relations to objective properties rather than by associated conceptions (whether individual or communal), then topic preservation through semantic change will be possible. The requisite level of objectivity is guaranteed by the possibility of collective error and does not depend on a stronger level of objectivity, such as mind-independence or independence from linguistic or social practice more generally. This means (...) that the requisite level of objectivity is exhibited not only by natural kinds, but also by a wide range of philosophical kinds, social kinds and artefactual kinds. The alternative externalist accounts of conceptual engineering offered by Herman Cappelen and Derek Ball fall back into a kind of descriptivism which is antithetical to externalism and fails to recognise this basic level of objectivity. (shrink)

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)

This book concerns the foundations of epistemic modality and hyperintensionality and their applications to the philosophy of mathematics. David Elohim examines the nature of epistemic modality, when the modal operator is interpreted as concerning both apriority and conceivability, as well as states of knowledge and belief. The book demonstrates how epistemic modality and hyperintensionality relate to the computational theory of mind; metaphysical modality and hyperintensionality; the types of mathematical modality and hyperintensionality; to the epistemic status of large cardinal axioms, undecidable (...) propositions, and abstraction principles in the philosophy of mathematics; to the modal and hyperintensional profiles of the logic of rational intuition; and to the types of intention, when the latter is interpreted as a hyperintensional mental state. Chapter \textbf{2} argues for a novel type of expressivism based on the duality between the categories of coalgebras and algebras, and argues that the duality permits of the reconciliation between modal and hyperintensional cognitivism and modal and hyperintensional expressivism. Elohim develops a novel, topic-sensitive truthmaker semantics for dynamic epistemic logic, and develops a novel, dynamic two-dimensional semantics grounded in two-dimensional hyperintensional Turing machines. Chapter \textbf{3} provides an abstraction principle for two-dimensional (hyper-)intensions. Chapter \textbf{4} advances a topic-sensitive two-dimensional truthmaker semantics, and provides three novel interpretations of the framework along with the epistemic and metasemantic. Chapter \textbf{5} applies the fixed points of the modal $\mu$-calculus in order to account for the iteration of epistemic states in a single agent, by contrast to availing of modal axiom 4 (i.e. the KK principle). The fixed point operators in the modal $\mu$-calculus are rendered hyperintensional, which yields the first hyperintensional construal of the modal $\mu$-calculus in the literature and the first application of the calculus to the iteration of epistemic states in a single agent instead of the common knowledge of a group of agents. Chapter \textbf{6} advances a solution to the Julius Caesar problem based on Fine's `criterial' identity conditions which incorporate conditions on essentiality and grounding. Chapter \textbf{7} provides a ground-theoretic regimentation of the proposals in the metaphysics of consciousness and examines its bearing on the two-dimensional conceivability argument against physicalism. The topic-sensitive epistemic two-dimensional truthmaker semantics developed in chapters \textbf{2} and \textbf{4} is availed of in order for epistemic states to be a guide to metaphysical states in the hyperintensional setting. -/- Chapters \textbf{8-12} provide cases demonstrating how the two-dimensional hyperintensions of hyperintensional, i.e. topic-sensitive epistemic two-dimensional truthmaker, semantics, solve the access problem in the epistemology of mathematics. Chapter \textbf{8} examines the interaction between Elohim's hyperintensional semantics and the axioms of epistemic set theory, large cardinal axioms, the Epistemic Church-Turing Thesis, the modal axioms governing the modal profile of $\Omega$-logic, Orey sentences such as the Generalized Continuum Hypothesis, and absolute decidability. These results yield inter alia the first hyperintensional Epistemic Church-Turing Thesis and hyperintensional epistemic set theories in the literature. Chapter \textbf{9} examines the modal and hyperintensional commitments of abstractionism, in particular necessitism, and epistemic hyperintensionality, epistemic utility theory, and the epistemology of abstraction. Elohim countenances a hyperintensional semantics for novel epistemic abstractionist modalities. Elohim suggests, too, that higher observational type theory can be applied to first-order abstraction principles in order to make first-order abstraction principles recursively enumerable, i.e. Turing machine computable, and that the truth of the first-order abstraction principle for two-dimensional hyperintensions is grounded in its being possibly recursively enumerable and the machine being physically implementable. Chapter \textbf{10} examines the philosophical significance of hyperintensional $\Omega$-logic in set theory and discusses the hyperintensionality of metamathematics. Chapter \textbf{11} provides a modal logic for rational intuition and provides a hyperintensional semantics. Chapter \textbf{12} avails of modal coalgebras to interpret the defining properties of indefinite extensibility, and avails of hyperintensional epistemic two-dimensional semantics in order to account for the interaction between interpretational and objective modalities and the truthmakers thereof. This yields the first hyperintensional category theory in the literature. Elohim invents a new mathematical trick in which first-order structures are treated as categories, and Vopenka's principle can be satisfied because of the elementary embeddings between the categories and generate Vopenka cardinals in the category of Set in category theory. Chapter \textbf{13} examines modal responses to the alethic paradoxes. Elohim provides a counter-example to epistemic closure for logical deduction. Chapter \textbf{14} examines, finally, the modal and hyperintensional semantics for the different types of intention and the relation of the latter to evidential decision theory. (shrink)

This book concerns the foundations of epistemic modality and hyperintensionality and their applications to the philosophy of mathematics. David Elohim examines the nature of epistemic modality, when the modal operator is interpreted as concerning both apriority and conceivability, as well as states of knowledge and belief. The book demonstrates how epistemic modality and hyperintensionality relate to the computational theory of mind; metaphysical modality and hyperintensionality; the types of mathematical modality and hyperintensionality; to the epistemic status of large cardinal axioms, undecidable (...) propositions, and abstraction principles in the philosophy of mathematics; to the modal and hyperintensional profiles of the logic of rational intuition; and to the types of intention, when the latter is interpreted as a hyperintensional mental state. Chapter \textbf{2} argues for a novel type of expressivism based on the duality between the categories of coalgebras and algebras, and argues that the duality permits of the reconciliation between modal and hyperintensional cognitivism and modal and hyperintensional expressivism. Elohim develops a novel, topic-sensitive truthmaker semantics for dynamic epistemic logic, and develops a novel, dynamic two-dimensional semantics grounded in two-dimensional hyperintensional Turing machines. Chapter \textbf{3} provides an abstraction principle for two-dimensional (hyper-)intensions. Chapter \textbf{4} advances a topic-sensitive two-dimensional truthmaker semantics, and provides three novel interpretations of the framework along with the epistemic and metasemantic. Chapter \textbf{5} applies the fixed points of the modal $\mu$-calculus in order to account for the iteration of epistemic states in a single agent, by contrast to availing of modal axiom 4 (i.e. the KK principle). The fixed point operators in the modal $\mu$-calculus are rendered hyperintensional, which yields the first hyperintensional construal of the modal $\mu$-calculus in the literature and the first application of the calculus to the iteration of epistemic states in a single agent instead of the common knowledge of a group of agents. Chapter \textbf{6} advances a solution to the Julius Caesar problem based on Fine's `criterial' identity conditions which incorporate conditions on essentiality and grounding. Chapter \textbf{7} provides a ground-theoretic regimentation of the proposals in the metaphysics of consciousness and examines its bearing on the two-dimensional conceivability argument against physicalism. The topic-sensitive epistemic two-dimensional truthmaker semantics developed in chapters \textbf{2} and \textbf{4} is availed of in order for epistemic states to be a guide to metaphysical states in the hyperintensional setting. -/- Chapters \textbf{8-12} provide cases demonstrating how the two-dimensional hyperintensions of hyperintensional, i.e. topic-sensitive epistemic two-dimensional truthmaker, semantics, solve the access problem in the epistemology of mathematics. Chapter \textbf{8} examines the interaction between Elohim's hyperintensional semantics and the axioms of epistemic set theory, large cardinal axioms, the Epistemic Church-Turing Thesis, the modal axioms governing the modal profile of $\Omega$-logic, Orey sentences such as the Generalized Continuum Hypothesis, and absolute decidability. These results yield inter alia the first hyperintensional Epistemic Church-Turing Thesis and hyperintensional epistemic set theories in the literature. Chapter \textbf{9} examines the modal and hyperintensional commitments of abstractionism, in particular necessitism, and epistemic hyperintensionality, epistemic utility theory, and the epistemology of abstraction. Elohim countenances a hyperintensional semantics for novel epistemic abstractionist modalities. Elohim suggests, too, that higher observational type theory can be applied to first-order abstraction principles in order to make first-order abstraction principles recursively enumerable, i.e. Turing machine computable, and that the truth of the first-order abstraction principle for two-dimensional hyperintensions is grounded in its being possibly recursively enumerable and the machine being physically implementable. Chapter \textbf{10} examines the philosophical significance of hyperintensional $\Omega$-logic in set theory and discusses the hyperintensionality of metamathematics. Chapter \textbf{11} provides a modal logic for rational intuition and provides a hyperintensional semantics. Chapter \textbf{12} avails of modal coalgebras to interpret the defining properties of indefinite extensibility, and avails of hyperintensional epistemic two-dimensional semantics in order to account for the interaction between interpretational and objective modalities and the truthmakers thereof. This yields the first hyperintensional category theory in the literature. Elohim invents a new mathematical trick in which first-order structures are treated as categories, and Vopenka's principle can be satisfied because of the elementary embeddings between the categories and generate Vopenka cardinals in the category of Set in category theory. Chapter \textbf{13} examines modal responses to the alethic paradoxes. Elohim provides a counter-example to epistemic closure for logical deduction. Chapter \textbf{14} examines, finally, the modal and hyperintensional semantics for the different types of intention and the relation of the latter to evidential decision theory. (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)

Many theorists of conceptual engineering appeal to the functions, roles, purposes or aims of concepts to articulate how conceptual engineering ought to be done. The functional approach to conceptual engineering is well-motivated: It promises a good account of the limits of revision, and of what makes some concept good. In this paper, I raise a problem for the functional approach which concerns the existence of harmful and methodologically insignificant concept functions. I examine whether we can deal with these problematic functions (...) by adopting a technical notion of function. I thus review the prospects for using the notions of a contextually stable function, of a designed function, of a proper function, and of a system function as our operative notion of function. None of them help us resolve the problem. On this basis, I argue that advocates of the functional approach should be committed to a comparatively weak claim, according to which functions must be assessed case-by-case, and that we are best served by employing an unsophisticated notion of function, according to which the function of a concept just is something the concept is used for. (shrink)

Lloyd analyzes every proposed evolutionary explanation of female orgasm and argues that all but one suffers from serious evidential errors. Lloyd attributes these errors to two main biases: androcentrism and adaptationism. This paper begins by arguing that the explanation Lloyd favors—the by-product account—is guilty of the androcentrism which supposedly implicates the other explanations of female orgasm with numerous evidential discrepancies. This suggests that there is another error afflicting orgasm research in addition to the biases Lloyd identities. I attempt to diagnose (...) and characterize this additional error. In short, I think the error is using an imprecise definition of the trait in question. Further, Lloyd takes her analysis to support Longino’s contextual empiricist model of scientific objectivity. I consider what implications this analysis has for contextual empiricism. Finally, I argue that theorizing about female orgasm should be done from a conceptual engineering approach. (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 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)

Open texture is a kind of semantic indeterminacy first systematically studied by Waismann. In this paper, extant definitions of open texture will be compared and contrasted, with a view towards the consequences of open-textured concepts in mathematics. It has been suggested that these would threaten the traditional virtues of proof, primarily the certainty bestowed by proof-possession, and this suggestion will be critically investigated using recent work on informal proof. It will be argued that informal proofs have virtues that mitigate the (...) danger posed by open texture. Moreover, it will be argued that while rigor in the guise of formalisation and axiomatisation might banish open texture from mathematical theories through implicit definition, it can do so only at the cost of restricting the tamed concepts in certain ways. (shrink)

Supporters of conceptual engineering often use Haslanger’s ameliorative project as a key example of their methodology. However, at face value, Haslanger’s project is no cause for optimism about conceptual engineering. If we interpret Haslanger as seeking to revise how people in general use and understand words such as ‘woman’, ‘man’, etc., then her project has been unsuccessful. And if we interpret her as seeking to reveal the meaning of those words, then her project does not involve conceptual engineering. I develop (...) and defend an alternative interpretation of Haslanger’s project and argue that, so interpreted, it is a successful conceptual engineering project after all. In so doing, I develop what I call a particularist account of the success conditions for conceptual engineering. (shrink)

I argue that the Conceptual Ethics and Conceptual Engineering framework, in its pragmatist version as recently defended by Thomasson (2017, 2020), provides a means of articulating and defending the conventionalist interpretation of projects of conceptual extension (e.g. the extended mind, the extended phenotype) in biology and psychology. This promises to be illuminating in both directions: it helps to make sense of, and provides an explicit methodology for, pragmatic conceptual extension in science, while offering further evidence for the value and fruitfulness (...) of the conceptual ethics/engineering framework itself, in particular with respect to conceptual change within science, which has thus-far received little attention in the literature on conceptual ethics/engineering. (shrink)

Conceptual engineering is commonly characterized as the method for assessing and improving our representational devices. Little has been said, however, on how best to construe these representational devices—in other words, on what conceptual engineering should be all about. This paper tackles this problem with a basic strategy: First, by presenting a taxonomy of the different possible subject matters for conceptual engineering; then, by comparatively assessing them and selecting the most conducive one with a view to making conceptual engineering an actionable (...) method, that is, a method that can be applied effectively and consistently to specific case studies. The outcome is that conceptual engineering should be all about concepts on pain of pragmatic inconsistencies otherwise. (shrink)

Traditional views on philosophical methodology characterize our primary philosophical goal as production of a successful conceptual analysis. The notion of conceptual analysis, however, faces several challenges—from experimental philosophy to more traditional worries such as the paradox of analysis. This paper explores an alternate approach, commonly called conceptual engineering, which aims at recommending conceptual revisions. An important question for the conceptual engineer is as follows: what counts as a case of successful conceptual engineering? What sorts of revisions are permitted, and what (...) sorts are too revisionary? In this paper I examine ‘functional’ approaches to conceptual engineering, ultimately arguing for a ‘radical’ functionalism according to which even revisions which ‘change the subject’ are permitted, and successful re-engineering is constrained only by the requirement that continuity in needed functions of a pre-engineering concept be maintained somewhere in the postengineering conceptual scheme. I further argue that this approach suggests a heightened role, in metaphilosophical discourse, for a neglected epistemic goal—conceptual efficacy. (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)

Conceptual engineering is the method for assessing and improving our concepts. However, little has been written about how best to conceive of concepts for the purposes of conceptual engineering. In this paper, I aim to fill this foundational gap, proceeding in three main steps: First, I propose a methodological framework for evaluating the conduciveness of a given concept of concept for conceptual engineering. Then, I develop a typology that contrasts two competing concepts of concept that can be used in conceptual (...) engineering—namely, the philosophical and psychological ones. Finally, I evaluate these two concepts of concept using the proposed methodological framework and I show that, when it comes to making conceptual engineering an actionable method, the psychological concept of concept outclasses its philosophical counterpart on all counts. This provides a baseline from which the concept of concept can be further improved for the purposes of conceptual engineering. (shrink)

Philosophers interested in conceptual engineering take it for granted that the same concept can unproblematically play diverse functions, but this view overlooks the fact that conceptual and functional change often impair concepts and even functions themselves. I demonstrate that while conceptual and functional engineering may improve concepts and functions, they can also produce detrimental effects. Therefore, it is crucial to carefully assess the potential benefits or problems before making any modifications. Frequently, we overlook the fact that, for instance, adding extra (...) functions to our concepts modifies them; this may increase, but also impair, their theoretical and practical efficacy. I analyze and clarify these possibilities through a general classificatory framework encompassing concepts, functions, and conceptual and functional change. The larger aim of this paper is to bring attention to these complex and under-researched relationships and pave the way for further research in this area. (shrink)

Conceptual engineering is the design, evaluation and implementation of concepts. Despite its popularity, some have argued that the methodology is not worthwhile, because the implementation of new concepts is both inscrutable and beyond our control. In the recent literature we see different responses to this worry. Some have argued that it is for political reasons just as well that implementation is such a difficult task, while others have challenged the metasemantic and social assumptions that underlie this skepticism about implementation. In (...) this paper, I argue that even if implementation is as difficult as critics maintain, there is at least one context in which conceptual engineering is extremely impactful and demonstrably so: the design of new technology. Different conceptions of control, freedom, trust, etc. lead to different designs and implementations of systems that are built to embed those concepts. This means that if we want to design for control, freedom, trust, etc., we have to decide which conception we ought to use. When we determine what the appropriate conception of a concept is in a technological context and use this conception to operationalize a norm or value, we generate requirements which have real-world effects. This not only shows that conceptual engineering can be extremely impactful, the fact that it leads to different design requirements means that we have a way to evaluate our conceptual choices and that we can use this feedback loop to improve upon our conceptual work By illustrating the direct impacts of different conceptions on technology design, this paper underscores the practical applicability and value of conceptual engineering, demonstrating how it serves as a crucial bridge between abstract philosophical analysis and concrete technological innovation. (shrink)

This paper argues for explanatory eliminativism about topics (and cognates, such as subject matters) relative to the domain of conceptual engineering. It has become usual to think that topics serve an important explanatory role in theories of conceptual engineering, namely, to determine the limits of revision. I argue, first, that such limits can be understood either as thenormative limitspertaining to the justification of conceptual engineering, as themetaphysical limitspertaining to the identity of the concepts in question, or as theterminological limitspertaining to (...) usage of the original terminology. Second, I argue that the metaphysical reading is disputable as a theory of concepts and inconsequential for conceptual engineers, and that neither of the two leading accounts of topics that have been presented in the literature—the samesaying account and functionalism—determine the limits of revision in either of the two remaining senses. In the absence of more promising competitors, I conclude that there is no theoretical role for topics to play in theories of conceptual engineering. An upshot of my argument is that conceptual engineers should stop worrying about things like topic (dis)continuity, and instead shift their attention to the issues that really matter for justifying conceptual revisions or replacements, making terminological choices, and underpinning conceptual engineering with a theory of concepts. (shrink)

Ratio, Volume 34, Issue 4, Page 286-302, December 2021.

Conceptual engineering is the method for assessing and improving our representational devices. On its ‘broad‐spectrum’ version, it is expected to be appropriately applicable to any of our representation‐involving cognitive activities, with major consequences for our whole cognitive life. This paper is about the theoretical foundations of conceptual engineering thus characterised. With a view to ensuring the actionability of conceptual engineering as a broad‐spectrum method, it addresses the issue of how best to construe the subject matter of conceptual engineering and successively (...) defends the theses that conceptual engineering should be: (i) About concepts, (ii) psychologically theorised, (iii) as multiply realised functional kinds. Thereby, I claim to theoretically secure and justify the maximum scope, flexibility, and impact for the method of conceptual engineering on our representational devices in our whole cognitive life—in other words, a broad‐spectrum version of conceptual engineering. (shrink)

Bernard Bolzano offers a criterion of individuation for ideas, according to which ideas are distinct if and only if they represent different objects or are composed differently. It fails to individuate ideas that are both simple and fail to represent, in particular syncategorematic ideas and logical constants. However, Bolzano also provides the means to close this gap. He suggests that we can distinguish ideas if they are not substitutable for each other in propositions, which we can, in turn, distinguish in (...) terms of their truth-values. This paper explicates this suggestion and develops it into an improved individuation criterion for ideas: ideas also are distinct if we cannot replace them for one another in propositions salva veritate. (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)