This book concerns the foundations of epistemic modality and hyperintensionality and their applications to the philosophy of mathematics. I examine 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 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 cognitivism and modal expressivism. I also develop a novel topic-sensitive truthmaker semantics for dynamic epistemic logic, and develop a novel dynamic epistemic two-dimensional hyperintensional semantics. Chapter 3 provides an abstraction principle for epistemic (hyper-)intensions. Chapter 4 advances a topic-sensitive two-dimensional truthmaker semantics, and provides three novel interpretations of the framework along with the epistemic and metasemantic. Chapter 5 applies the fixed points of the modal μ-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 μ-calculus are rendered hyperintensional, which yields the first hyperintensional construal of the modal μ-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 6 advances a solution to the Julius Caesar problem based on Fine's `criterial' identity conditions which incorporate conditions on essentiality and grounding. Chapter 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 2 and 4 are availed of in order for epistemic states to be a guide to metaphysical states in the hyperintensional setting. -/- Chapters 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 8 examines the interaction between my 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 Ω-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 9 examines the modal and hyperintensional commitments of abstractionism, in particular necessitism, and epistemic hyperintensionality, epistemic utility theory, and the epistemology of abstraction. I countenance a hyperintensional semantics for novel epistemic abstractionist modalities. I suggest, too, that 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 hyperintensions is grounded in its being possibly recursively enumerable and the machine being physically implementable. Chapter 10 examines the philosophical significance of hyperintensional Ω-logic in set theory and discusses the hyperintensionality of metamathematics. Chapter 11 provides a modal logic for rational intuition and provides a hyperintensional semantics. Chapter 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 the interpretational and objective modalities and truthmakers thereof. This yields the first hyperintensional category theory in the literature. I invent 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 while bypassing the category of Set in category theory. Chapter 13 examines modal responses to the alethic paradoxes. Chapter 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)

Analytic debates about truth are wide-ranging, but certain key themes tend to crop up time and again. The three themes that we will examine in this paper are (i) the nature and behaviour of the ordinary concept of truth, (ii) the meaning of discourse about truth, and (iii) the nature of the property truth. We will start by offering a brief overview of the debates centring on these themes. We will then argue that cross-linguistic experimental philosophy has an indispensable yet (...) underappreciated role to play in all of these debates. Recognising the indispensability of cross-linguistic experimental philosophy should compel philosophers to significantly revise the ways in which they inquire about truth. It should also prompt analytic philosophers more generally to consider whether similar revisions might be necessary elsewhere in the field. (shrink)

Philosophy strives to give us a firmer hold on our concepts. But what about their hold on us? Why place ourselves under the sway of a concept and grant it the authority to shape our thought and conduct? Another conceptualization would carry different implications. What makes one way of thinking better than another? This book develops a framework for concept appraisal. Its guiding idea is that to question the authority of concepts is to ask for reasons of a special kind: (...) reasons for concept use, which tell us which concepts to adopt, adhere to, or abandon, thereby shoring up—or undercutting—the reasons for action and belief that guide our deliberations. Traditionally, reasons for concept use have been sought either in timeless rational foundations or in concepts’ inherent virtues, such as precision and consistency. Against this, the book advances two main claims: that we find reasons for concept use in the conceptual needs we discover when we critically distance ourselves from a concept by viewing it from the autoethnographic stance; and that sometimes, concepts that conflict, or exhibit other vices such as vagueness or superficiality, are just what we need. By considering not what concepts are absolutely best, but what concepts we now need, we can reconcile ourselves to the contingency of our concepts, determine the proper place of efforts to tidy up thought, and adjudicate between competing conceptions of things,—even things as contested as liberty or free will. A needs-based approach separates helpful clarification from hobbling tidy-mindedness, and authoritative definition from conceptual gerrymandering. (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 paper discusses the logical space of alternative conceptual engineering projects, with a specific focus on (1) the processes, (2) the targets and goals, and (3) the methods of such projects. We present an overview of how these three aspects interact in the contemporary literature and discuss those alternative projects that have yet to be explored based on our suggested typology. We show how choices about each element in a conceptual engineering project constrain the possibilities for the others, thereby giving (...) rise to distinct groupings of possible projects under the banner of conceptual engineering. We conclude with a critical reflection on the potential ethical issues that arise as a result of effectively putting conceptual engineering into practice. (shrink)

Conceptual engineering concerns the assessment and improvement of our concepts. But how can proposals to engineer concepts be implemented in the real world? This is known as the implementation challenge to conceptual engineering. In this paper, I am concerned with the meta-philosophical implications of the implementation challenge. Specifically, must we overcome the implementation challenge prior to undertaking conceptual engineering? Some critics have recently answered this question affirmatively. I intend to show that they are mistaken. I argue as follows. First, successful (...) implementation is not an integral part of conceptual engineering. Second, the idea that the value of conceptual engineering relies on successful implementation is in tension with widespread assumptions about normative theorizing. (shrink)

A philosopher argues that state-sponsored cyberattacks against central military or civilian targets are always acts of war. What is this philosopher doing? According to conceptual analysts, the philosopher is making a claim about our concept of war. According to philosophical realists, the philosopher is making a claim about war per se. In a quickly developing literature, a third option is being explored: the philosopher is engineering the concept of war. On this view, the philosopher is making a proposal about which (...) concept we should have – even if it deviates from the extant concept, and even if it does not capture ‘what war really is’. The activity or method of proposing such revisionary definitions, as well as the metaphilosophical reflection on it, has become known as conceptual engineering. (shrink)

Recent work on philosophy of technology emphasises the ways in which technology can disrupt our concepts and conceptual schemes. We analyse and challenge existing accounts of conceptual disruption, criticising views according to which conceptual disruption can be understood in terms of uncertainty for conceptual application, as well as views assuming all instances of conceptual disruption occur at the same level. We proceed to provide our own account of conceptual disruption as an interruption in the normal functioning of concepts and conceptual (...) schemes. Moreover, we offer a multilevel taxonomy thereof, where we distinguish between instances of conceptual disruptions occurring at different levels (conceptual scheme, conceptual clusters, and individual concepts), taking on different forms (conceptual gaps and conceptual conflicts), and leading to different degrees of severity (extending from mild to severe). We also provide detailed accounts through historical examples of how conceptual gaps and conceptual conflicts can occur at different times in the very same process of conceptual disruption. Finally, we make the case that different kinds of conceptual engineering can provide meaningful ways to assess and overcome distinct types of conceptual disruption. (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)

‘Feminist logic’ may sound like an impossible, incoherent, or irrelevant project, but it is none of these. We begin by delineating three categories into which projects in feminist logic might fall: philosophical logic, philosophy of logic, and pedagogy. We then defuse two distinct objections to the very idea of feminist logic: the irrelevance argument and the independence argument. Having done so, we turn to a particular kind of project in feminist philosophy of logic: Valerie Plumwood's feminist argument for a relevance (...) logic. Plumwood's work serves as our primary case study as we turn to the project of considering three different ways we might understand her argument and revisionist arguments like it: as a priori theorizing, as ameliorative conceptual engineering, or as instances of anti-exceptionalist approaches to logic. After arguing that the anti-exceptionalist approach seems to provide the most promising means of understanding the kind of project undertaken in a feminist challenge to classical logic, we briefly address the consequences that this might have for logic instruction. Here, we argue for the perhaps unexpected conclusion that feminist programs ought to offer more, not less, instruction in logic for those who take interest. (shrink)

Deflationists about truth hold that the function of the truth predicate is to enable us to make certain assertions we could not otherwise make. Pragmatists claim that the utility of negation lies in its role in registering incompatibility. The pragmatist insight about negation has been successfully incorporated into bilateral theories of content, which take the meaning of negation to be inferentially explained in terms of the speech act of rejection. We implement the deflationist insight in a bilateral theory by taking (...) the meaning of the truth predicate to be explained by its inferential relation to assertion. We combine this account of the meaning of the truth predicate with a new diagnosis of the liar paradox: its derivation requires the truth rules to preserve evidence, but these rules only preserve commitment. The result is a novel inferential deflationist theory of truth, which solves the liar paradox in a principled manner. We end by showing that our theory and simple extensions thereof have the resources to axiomatize the internal logic of several supervaluational hierarchies, including Cantini’s. This solves open problems of Halbach (2011) and Horsten (2011). (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)

What words we use, and what meanings they have, is important. We shouldn't use slurs; we should use 'rape' to include spousal rape (for centuries we didn’t); we should have a word which picks out the sexual harassment suffered by people in the workplace and elsewhere (for centuries we didn’t). Sometimes we need to change the word-meaning pairs in circulation, either by getting rid of the pair completely (slurs), changing the meaning (as we did with 'rape'), or adding brand new (...) word-meaning pairs (as with 'sexual harassment'). A problem, though, is how to do this. One might worry that any attempt to change language in this way will lead to widespread miscommunication and confusion. I argue that this is indeed so, but that's a feature, not a bug of attempting to change word-meaning pairs. The miscommunications and confusion such changes cause can lead us, via a process I call transformative communicative disruption, to reflect on our language and its use, and this can be further, rather than hinder, our goal of improving language. (shrink)

In this Introduction, we aim to introduce the reader to the basic topic of this book. As part of this, we explain why we are using two different expressions (‘conceptual engineering’ and ‘conceptual ethics’) to describe the topics in the book. We then turn to some of the central foundational issues that arise for conceptual engineering and conceptual ethics, and finally we outline various views one might have about their role in philosophy and inquiry more generally.

On a view implicitly endorsed by many, a concept is epistemically better than another if and because it does a better job at ‘carving at the joints', or if the property corresponding to it is ‘more natural' than the one corresponding to another. This chapter offers an argument against this seemingly plausible thought, starting from three key observations about the way we use and evaluate concepts from en epistemic perspective: that we look for concepts that play a role in explanations (...) of things that cry out for explanation; that we evaluate not only ‘empirical' concepts, but also mathematical and perhaps moral concepts from an epistemic perspective; and that there is much more complexity to the concept/property relation than the natural thought seems to presuppose. These observations, it is argued, rule out giving a theory of conceptual evaluation that is a corollary of a metaphysical ranking of the relevant properties. -/- conceptual ethics, explanation, naturalness, epistemic value, concept/property, semantic internalism. (shrink)

This paper presents the results of two corpus studies investigating the discourse surrounding conspiracy theories and genuine theories. The results of these studies show that conspiracy theories lack the epistemic and scientific standing characteristic of theories more generally. Instead, our findings indicate that conspiracy theories are spread in a manner that resembles the dissemination of rumors and falsehoods. Based on these empirical results, we argue that it is time for both re-engineering conspiracy theory and for relabeling "conspiracy theory". We propose (...) relabelling conspiracy theories as either "conspiracy stories" or "conspiracy narratives" to more accurately convey their true nature. (shrink)

Why did such highly abstract ideas as truth, knowledge, or justice become so important to us? What was the point of coming to think in these terms? This book presents a philosophical method designed to answer such questions: the method of pragmatic genealogy. Pragmatic genealogies are partly fictional, partly historical narratives exploring what might have driven us to develop certain ideas in order to discover what these do for us. The book uncovers an under-appreciated tradition of pragmatic genealogy which cuts (...) across the analytic-continental divide, running from the state-of-nature stories of David Hume and the early genealogies of Friedrich Nietzsche to recent work in analytic philosophy by Edward Craig, Bernard Williams, and Miranda Fricker. However, these genealogies combine fictionalizing and historicizing in ways that even philosophers sympathetic to the use of state-of-nature fictions or real history have found puzzling. To make sense of why both fictionalizing and historicizing are called for, the book offers a systematic account of pragmatic genealogies as dynamic models serving to reverse-engineer the points of ideas in relation not only to near-universal human needs, but also to socio-historically situated needs. This allows the method to offer us explanation without reduction and to help us understand what led our ideas to shed the traces of their practical origins. Far from being normatively inert, moreover, pragmatic genealogy can affect the space of reasons, guiding attempts to improve our conceptual repertoire by helping us determine whether and when our ideas are worth having. (shrink)

This dissertation concerns the foundations of epistemic modality. I examine 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 dissertation demonstrates how phenomenal consciousness and gradational possible-worlds models in Bayesian perceptual psychology relate to epistemic modal space. The dissertation demonstrates, then, how epistemic modality relates to the computational theory of mind; metaphysical modality; deontic modality; logical modality; the types of mathematical modality; to the (...) epistemic status of undecidable propositions and abstraction principles in the philosophy of mathematics; to the apriori-aposteriori distinction; to the modal profile of rational propositional intuition; and to the types of intention, when the latter is interpreted as a modal mental state. Examining the nature of epistemic logic itself, I develop a novel approach to conditions of self-knowledge in the setting of the modal μ-calculus, as well as novel epistemicist solutions to Curry's, the liar, and the knowability paradoxes. Solutions to previously intransigent issues concerning the first-person concept; the distinction between fundamental and derivative truths; and the unity of intention and its role in decision theory, are developed along the way. (shrink)

In Formale Logik, published in 1956, J. M. Bocheński presented his first proposal for the solution to the liar paradox, which he related to Paul of Venice's argumentation from Logica Magna. A formalized version of this solution was then presented in Formalisierung einer scholastischen Lösung der Paradoxie des ‘Lügners’ in 1959. The historical references of the resulting formalism turn out to be closer to Albert de Saxon's argument and the later solution by John Buridan. Bocheński did not pose the question (...) of the consistency of his theory. The case was taken up by B. Sobociński in his private letter to Bocheński from 12 August 1954. Sobociński used a smart translation of the language of Bocheński's theory into the classical propositional language with the notions of truth and falsehood inverted. The translation preserves the structure of the formalized solution. We explore Sobociński's idea and reconstruct his original proof. (shrink)

Closure is the idea that what is true about a theory of truth should be true in it. Commitment to closure under truth motivates non-classical logic; commitment to closure under validity leads to substructural logic. These moves can be thought of as responses to revenge problems. With a focus on truth in mathematics, I will consider whether a noncontractive approach faces a similar revenge problem with respect to closure under provability, and argue that if a noncontractive theory is to be (...) genuinely closed, then it must be free of all contraction, even in the metatheory. (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)

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)

This paper applies conceptual engineering to deal with four objections that have been levelled against operationalism in psychology. These objections are: operationalism leads to harmful proliferation of concepts, operationalism goes hand-in-hand with untenable antirealism, operationalism leads to arbitrariness in scientific concept formation, and operationalism is incompatible with the usual conception of scientific measurement. Relying on a formulation of three principles of conceptual engineering, I will argue that there is a useful form of operationalism that does not fall prey to these (...) four objections. (shrink)

In the last decade, many problematic cases of scientific conduct have been diagnosed; some of which involve outright fraud others are more subtle. These and similar problems can be interpreted as caused by lack of scientific objectivity. The current philosophical theories of objectivity do not provide scientists with conceptualizations that can be effectively put into practice in remedying these issues. We propose a novel way of thinking about objectivity for individual scientists; a negative and dynamic approach.We provide a philosophical conceptualization (...) of objectivity that is informed by empirical research. In particular, it is our intention to take the first steps in providing an empirically and methodologically informed inventory of factors that impair the scientific practice. The inventory will be compiled into a negative conceptualization, which could in principle be used by individual scientists to assess objectivity of scientific practice. We propose a preliminary outline of a usable and testable instrument for indicating the objectivity of scientific practice. (shrink)

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)

I propose an anti-realist account of truth and paradox according to which the logico-semantic paradoxes are not genuine inconsistencies. The ‘global’ proofs of absurdity associated with these paradoxes cannot be brought into normal form. The account combines epistemicism about truth with a proof-theoretic diagnosis of paradoxicality. The aim is to combine a substantive philosophical account of truth with a more rigorous and technical diagnosis of the source of paradox for further consideration by logicians. Core Logic plays a central role in (...) the account on offer. It is shown that the account is not prey to the problem of revenge paradox. (shrink)

ABSTRACTIn 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)

I argue that standard definitions of quantifiers are inadequate and offer a new one. The new definition categorizes expressions as quantifiers in accordance with our pre-theoretical judgments, it is broadly applicable to both formal and natural languages, and it eschews unnecessary theoretical commitments about the details of the syntax and semantics of these expressions.

ABSTRACTSeveral 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)

Can we engineer conceptual change? While a positive answer to this question would be exciting news for philosophy, there has been a growing number of pessimistic voices in the literature. This paper resists this trend. Its central aim is to argue not only that conceptual engineering is possible but also that it is not even distinctively hard. In order to achieve this, we will develop a novel approach to conceptual engineering that has two key components. First, it proposes a reorientation (...) of the conceptual engineering project away from fixing conceptual defects and towards bringing about conceptual innovation. Second, it offers a new account of when conceptual engineering is successful in terms of etiological functions. We then turn to the reasons that have motivated various forms of pessimism about conceptual engineering and show that, on our novel approach, none of them stands up to scrutiny. (shrink)

The article is part of a symposium on Hartry Field’s “Saving truth from paradox”. The book is one of the most significant intellectual achievements of the past decades, but it is not clear what, exactly, it accomplishes. I explore some alternatives, relating the developed view to the intuitive, pre-theoretic notion of truth.

Although there has been a recent swell of interest in theories of truth that attempt solutions to the liar paradox and the other paradoxes affecting our concept of truth, many of these theories have been criticized for generating new paradoxes, called revenge paradoxes. The criticism is that the theories of truth in question are inadequate because they only work for languages lacking in the resources to generate revenge paradoxes. Theorists facing these objections offer a range of replies, and the matter (...) seems now to be at a standoff. I aim, first, to bolster the revenge objections by considering a relation, internalizability, between languages and theories of truth. A theory of truth is internalizable for a language iff there is an extension of that language in which the theory is expressible and for which the theory provides an accurate and complete assignment of semantic values. There are good reasons to think that acceptable theories of truth are internalizable for any language. With this internalizability requirement in hand, I argue that properly formulated revenge objections are decisive and that the replies to them are inadequate. Second, I show that the internalizability requirement can be met by a certain theory of truth. The central claim of this theory is that truth is an inconsistent concept and should be replaced with a pair of consistent concepts that can then be used to provide a semantics for our truth predicates. This theory is compatible with classical logic, does not give rise to revenge paradoxes of any kind, and satisfies the internalizability requirement. (shrink)

Paraconsistent dialetheism is the view that some contradictions are true and that the inference rule ex falso quod libet is invalid. A long-standing problem for paraconsistent dialetheism is that it has difficulty making sense of situations where people use locutions like ‘just true’ and ‘just false’. Jc Beall recently advocated a general strategy, which he terms shrieking, for solving this problem and thereby strengthening the case for paraconsistent dialetheism. However, Beall’s strategy fails, and seeing why it fails brings into greater (...) focus just how daunting the just-true problem is for the dialetheist. (shrink)

ABSTRACTAndrew 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.

What is the property of being true like? To answer this question, begin with a Canberra-plan analysis of the concept of truth. That is, assemble the platitudes for the concept of truth, and then investigate which property might satisfy them. This project is aided by Friedman and Sheard’s groundbreaking analysis of twelve logical platitudes for truth. It turns out that, because of the paradoxes like the liar, the platitudes for the concept of truth are inconsistent. Moreover, there are so many (...) distinct paradoxes that only small subsets of platitudes for truth are consistent. The result is that there is no property of being true. The failure of the Canberra plan analysis of the concept of truth, points the way toward a new methodology: a conceptual engineering project for the concept of truth. Conceptual engineering is assessing the quality of our concepts, and when they are found defective, offering new and better concepts to replace them for certain purposes. Still, there are many aletheic properties, which are properties satisfied by reasonably large subsets of platitudes for the concept of truth. We can treat these aletheic properties as a guide to the multitude of new aletheic concepts, which are concepts similar to, but distinct from, the concept of truth. Any new aletheic concept or team of concepts might be called on to replace the concept of truth. In particular, the concepts of ascending truth and descending truth are recommended, but the most important point is that we need a full-scale investigation into the space of aletheic properties and new aletheic concepts—that is, we need an Aletheic Principles Project. (shrink)

This is a contribution to the symposium on Herman Cappelen’s book Fixing Language. Cappelen proposes a metasemantic framework—the “Austerity Framework”—within which to understand the general phenomenon of conceptual engineering. The proposed framework is austere in the sense that it makes no reference to concepts. Conceptual engineering is then given a “worldly” construal according to which conceptual engineering is a process that operates on the world. I argue, contra Cappelen, that an adequate theory of conceptual engineering must make reference to concepts. (...) This is because concepts are required to account for topic continuity, a phenomenon which lies at the heart of projects in conceptual engineering. I argue that Cappelen’s own account of topic continuity is inadequate as a result of the austerity of his metasemantic framework, and that his worldly construal of conceptual engineering is untenable. (shrink)

Non‐classical logicians do not typically reject classically valid logical principles across the board. In fact, they sometimes suggest that their preferred logic recovers classical reasoning in most circumstances. This idea has come to be known in the literature as ‘classical recapture’. Recently, classical logicians have raised various doubts about it. The main problem is said to be that no rigorous explanation has been given of how is it exactly that classical logic can be recovered. The goal of the paper is (...) to address this problem. First, I discuss a number of different ways to characterize the idea of classical recapture and I examine how far it can be pushed. Secondly, I argue that a palatable form of classical recapture is given by the thought that classical logic can be retained for statements that are grounded (in Kripke’s sense). To substantiate this view I provide a formal fixed‐point semantics for a language containing a predicate standing for the concept of groundedness and I address a couple of objections that have been deployed against the claim that classical recapture can aid the non‐classical logician’s cause. (shrink)

The goal of the paper is to discuss whether substructural non-contractive accounts of the truth-theoretic paradoxes can be philosophically motivated. First, I consider a number of explanations that have been offered to justify the failure of contraction and I argue that they are not entirely compelling. I then present a non-contractive theory of truth that I’ve proposed elsewhere. After looking at some of its formal properties, I suggest an explanation of the failure of structural contraction that is compatible with it.

Revenge arguments purport to show that any proposed solution to the semantic paradoxes generates new paradoxes that prove that solution to be inadequate. In this paper, I focus on revenge arguments that employ the model-theoretic semantics of a target theory and I argue, contra the current revenge-theoretic wisdom, that they can constitute genuine expressive limitations. I consider the anti-revenge strategy elaborated by Field and argue that it does not offer a way out of the revenge problem. More generally, I argue (...) that the difference between ‘standard’ and ‘revenge’ paradoxes is ill-conceived and should be abandoned. This will contribute to show that the theories that provide a uniform account of truth and other semantic notions are the ones best equipped to avoid the paradoxes altogether—‘standard’ and ‘revenge’ alike. (shrink)

I offer new arguments for an unorthodox reading of J. L. Mackie’s Ethics: Inventing Right and Wrong, one on which Mackie does not think all substantive moral claims are false, but allows that a proper subset of them are true. Further, those that are true should be understood in terms of a “hybrid theory”. The proposed reading is one on which Mackie is a conceptual pruner, arguing that we should prune away error-ridden moral claims but hold onto those already free (...) of error. This reading is very different from the standard ones found in the literature. I build on recent work by Moberger and argue that this reading is better corroborated by close attention to the way in which Mackie argues at length that terms like “good” and “ought” are systematically context-sensitive, as well as by considerable additional textual evidence. This reading, however, faces an important challenge—to explain in what sense, if any, morality retains its “normativity” on the proposed reading. I argue that this challenge can be met, at least given some of Mackie’s further assumptions about the nature of rationality. (shrink)

Critical social ontology is any study of social ontology that is done in order to critique ideology or end social injustice. The goal of this paper is to outline what I call the fundamentality approach to critical social ontology. On the fundamentality approach, social ontologists are in the business of distinguishing between appearances and (fundamental) reality. Social reality is often obscured by the acceptance of ideology, where an ideology is a distorted system of beliefs that leads people to promote or (...) accept widespread social injustices. Social reality is also obscured in cases where ordinary thought and language simply is not perspicuous enough to represent the social objects, kinds, and structures that are central to understanding social injustice. In both cases, I argue that the critical social ontologist will benefit from using the tools and concepts of fundamental metaphysics. (shrink)

What is the cognitive value of the concept of truth? What epistemic difference does the concept of truth make to those who grasp it? This paper employs a new perspective for thinking about the concept of truth and recent debates concerning it, organized around the question of the cognitive value of the concept of truth. The paper aims to defend a substantively correct and dialectically optimal account of the cognitive value of the concept of truth. This perspective is employed in (...) understanding the critical discussion around what Hartry Field has called “the incorporation model” for extending a deflationary view of truth to foreign sentences. Field's original intentions in discussing the incorporation model were to defend the deflationary view from some counterintuitive consequences concerning the understanding of truth attributions to foreign sentences. However, more recently, philosophers unencumbered by deflationary commitments have taken over the incorporation model for their own inflationary purposes. In particular, and in my terms, these philosophers can be understood as making what I argue is the ultimately too radical suggestion that the cognitive value of the concept of truth is to allow the incorporation not only of the linguistically foreign, but also of the conceptually alien. I clarify this dialectic en route to explaining and arguing for the cognitive inflationary view, according to which the cognitive value of the concept of truth is is to make possible the proprietary kind and quality of knowledge allowed by reflective clarity over the concepts and thoughts that one already has. (shrink)

Agents can think using concepts they do not fully understand. This paper investigates the question “Under what conditions does a thinker fully understand, or have mastery of, a concept?” I lay out a gauntlet of problems and desiderata with which any theory of concept mastery must cope. I use these considerations to argue against three views of concept mastery, according to which mastery is a matter of holding certain beliefs, being disposed to make certain inferences, or having certain intuitions. None (...) of these attitudes is either necessary or sufficient for mastery. I propose and respond to objections to my own recognition view of the conditions under which a thinker has mastery of a concept. (shrink)

If ethical reflection on which concepts to use has an avatar, it must be Nietzsche, who took more seriously than most the question of what concepts one should live by, and regarded many of our inherited concepts as deeply problematic. Moreover, his eschewal of traditional attempts to derive the one right set of concepts from timeless rational foundations renders his conceptual ethics strikingly modern, raising the prospect of a Nietzschean alternative to Wittgensteinian non-foundationalism. Yet Nietzsche appears to engage in two (...) seemingly contrary modes of concept evaluation: one looks to concepts’ effects, the other to what concepts express. I offer an account of the expressive character of concepts which unifies these two modes and accounts for Nietzsche’s seemingly bifurcating interests. His fundamental concern is with the effects concepts are likely to have going forward, and it is precisely this concern that motivates his preoccupation with what concepts express. He evaluates concepts by asking for whom they have a point, working back from a concept via the need it fills to the conditions that engender that need and thereby render the concept pointful. For a concept to be pointful is for it to serve the concerns of its users through its effects. But even when it is not pointful, a concept expresses the presuppositions of its pointfulness, which we can work back to by asking who would have need of such a concept. What emerges is a powerful approach to conceptual ethics that looks beyond the formal virtues and vices of concepts at the presuppositions we buy into by using them. (shrink)

In this paper, I identify a central problem for conceptual engineering: the problem of showing concept-users why they should recognise the authority of the concepts advocated by engineers. I argue that this authority problem cannot generally be solved by appealing to the increased precision, consistency, or other theoretical virtues of engineered concepts. Outside contexts in which we anyway already aim to realise theoretical virtues, solving the authority problem requires engineering to take a functional turn and attend to the functions of (...) concepts. But this then presents us with the problem of how to specify a concept’s function. I argue that extant solutions to this function specification problem are unsatisfactory for engineering purposes, because the functions they identify fail to reliably bestow authority on concepts, and hence fail to solve the authority problem. What is required is an authoritative notion of conceptual function: an account of the functions of concepts which simultaneously shows why concepts fulfilling such functions should be recognised as having authority. I offer an account that meets this combination of demands by specifying the functions of concepts in terms of how they tie in with our present concerns. (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)

The ‘Big 3’ theories of well-being—hedonism, desire-satisfactionism, and objective list theory—attempt to explain why certain things are good for people by appealing to prudentially good-making properties. But they don’t attempt to explain why the properties they advert to make something good for a person. Perfectionism, the view that well-being consists in nature-fulfilment, is often considered a competitor to these views (or else a version of the objective list theory). However, I argue that perfectionism is best understood as explaining why certain (...) properties are prudentially good-making. This version of perfectionism is compatible with each of the Big 3, and, I argue, quite attractive. (shrink)