Stratified properties such as ‘happy unhappiness’, ‘ungrounded ground’, ‘fortunate misfortune’, and evidently ‘true falsity’ may generate dialetheias (true contradictions). The aim of the article is to show that if this is the case, then we will have a special, conjunctive, kind of dialetheia: a true state description of the form ‘Fa and not Fa’ (for some property F and object a), wherein the two conjuncts, separately taken, are to be held untrue. The particular focus of the article is on happy (...) unhappiness: people suffering from (or enjoying) happy unhappiness (if there is some situation or state of mind of this kind) cannot be truly said ‘happy’ or ‘unhappy’, but we can say they are both. In the first section three cases of conjunctive stratification are presented; in the second section the logic of stratified contradictions is explored. The last section focuses on eudemonistic ascriptions: stated that a is happy to be unhappy (or unhappy to be happy), should we say a is happy? unhappy? both? neither? (shrink)

This article is a preliminary presentation of conjunctive paraconsistency, the claim that there might be non-explosive true contradictions, but contradictory propositions cannot be considered separately true. In case of true ‘p and not p’, the conjuncts must be held untrue, Simplification fails. The conjunctive approach is dual to non-adjunctive conceptions of inconsistency, informed by the idea that there might be cases in which a proposition is true and its negation is true too, but the conjunction is untrue, Adjunction fails. While (...) non-adjunctivism is a well-known option, the other view is not so much studied nowadays, but it was not unknown in the tradition, and there are some positive suggestions, in recent literature, that the position is plausible and deserves to be developed. The article compares conjunctivism, non-adjunctivism and dialetheism, then focuses on some possible justifications, costs and benefits of the conjunctive view. (shrink)

What is the proper role of logic in analytic theology? This question is thrown into sharp relief when a basic logical principle is questioned, as in Beall’s ‘Christ – A Contradiction.’ Analytic philosophers of logic have debated between exceptionalism and anti-exceptionalism, with the tide shifting towards anti-exceptionalism in recent years. By contrast, analytic theologians have largely been exceptionalists. The aim of this paper is to argue for an anti-exceptionalist view, specifically treating logic as a modelling tool. Along the way I (...) critically engage with Beall on the role of logic in theology, maintaining that theological inquiry is in some ways disanalogous with other theoretical enterprises. (shrink)

Conceptual engineering is the design, implementation, and evaluation of concepts. Conceptual engineering includes or should include de novo conceptual engineering (designing a new concept) as well as conceptual re-engineering (fixing an old concept). It should also include heteronymous (different-word) as well as homonymous (same-word) conceptual engineering. I discuss the importance and the difficulty of these sorts of conceptual engineering in philosophy and elsewhere.

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

Machery’s book is an effort to show how experimental philosophy can be valuable without the perephenelia of intuitions. I argue that the effort fails.

I here present and defend what I call the Triviality Theory of Truth, to be understood in analogy with Matti Eklund’s Inconsistency Theory of Truth. A specific formulation of is defended and compared with alternatives found in the literature. A number of objections against the proposed notion of meaning-constitutivity are discussed and held inconclusive. The main focus, however, is on the problem, discussed at length by Gupta and Belnap, that speakers do not accept epistemically neutral conclusions of Curry derivations. I (...) first argue that the facts about speakers’ reactions to such Curry derivations do not constitute a problem for the Triviality Theory specifically. Rather, they follow from independent, uncontroversial facts. I then propose a solution which coheres with the theory as I understand it. Finally, I consider a normative reading of their objection and offer a response. (shrink)

The paper discusses the Inconsistency Theory of Truth (IT), the view that “true” is inconsistent in the sense that its meaning-constitutive principles include all instances of the truth-schema (T). It argues that (IT) entails that anyone using “true” in its ordinary sense is committed to all the (T)-instances and that any theory in which “true” is used in that sense entails the (T)-instances (which, given classical logic, entail contradictions). More specifically, I argue that theorists are committed to the meaning-constitutive principles (...) of logical constants, relative to the interpretation they intend thereof (e.g., classical), and that theories containing logical constants entail those principles. Further, I argue, since there is no relevant difference from the case of “true”, inconsistency theorists’ uses of “true” commit them to the (T)-instances. Adherents of (IT) are recommended, as a consequence, to eschew the truth-predicate. I also criticise Matti Eklund’s account of how the semantic value of “true” is determined, which can be taken as an attempt to show how “true” can be consistently used, despite being inconsistent. (shrink)

In recent years, there has been growing discussion amongst philosophers about “conceptual engineering”. Put roughly, conceptual engineering concerns the assessment and improvement of concepts, or of other devices we use in thought and talk (e.g., words). This often involves attempts to modify our existing concepts (or other representational devices), and/or our practices of using them. This paper explores the relation between conceptual engineering and conceptual ethics, where conceptual ethics is taken to encompass normative and evaluative questions about concepts, words, and (...) other broadly “representational” and/or “inferential” devices we use in thought and talk. We take some of the central questions in conceptual ethics to concern which concepts we should use and what words should mean, and why. We put forward a view of conceptual engineering in terms of the following three activities: conceptual ethics, conceptual innovation, and conceptual implementation. On our view, conceptual engineering can be defined in terms of these three activities, but not in a straightforward, Boolean way. Conceptual engineering, we argue, is made up of mereologically complex activities whose parts fall into the categories associated with each of these three different activities. (shrink)

Suppose our ordinary notion of truth is ‘inconsistent’ in the sense that its meaning is partly given by principles that classically entail a logical contradiction. Should we replace the notion with a consistent surrogate? This paper begins by defusing various arguments in favor of this revisionary proposal, including Kevin Scharp’s contention that we need to replace truth for the purposes of semantic theorizing . Borrowing a certain conservative metasemantic principle from Matti Eklund, the article goes on to build a positive (...) case for the opposite policy: retaining truth as-is. The thought is basically that bivalence for the bulk of what we say in the course of ordinary, scientific, and philosophical inquiry should suffice to justify keeping ‘true’. Two versions of the story are told: one more philosophical, drawing on an analogy to Lewis’ response to Putnam’s paradox; the other more technical, invoking a deviant stran.. (shrink)

Most paradoxes of self-reference have a dual or ‘hypodox’. The Liar paradox (Lr = ‘Lr is false’) has the Truth-Teller (Tt = ‘Tt is true’). Russell’s paradox, which involves the set of sets that are not self-membered, has a dual involving the set of sets which are self-membered, etc. It is widely believed that these duals are not paradoxical or at least not as paradoxical as the paradoxes of which they are duals. In this paper, I argue that some paradox’s (...) duals or hypodoxes are as paradoxical as the paradoxes of which they are duals, and that they raise neglected and interestingly different problems. I first focus on Richard’s paradox (arguably the simplest case of a paradoxical dual), showing both that its dual is as paradoxical as Richard’s paradox itself, and that the classical, Richard-Poincaré solution to the latter does not generalize to the former in any obvious way. I then argue that my argument applies mutatis mutandis to other paradoxes of self-reference as well, the dual of the Liar (the Truth-Teller) proving paradoxical. (shrink)

Paradigmatic cases of ontological disputes are taken to concern whether or not certain objects exist. Some theorists, however, prefer to view ontologists as really debating about what we should mean with the term “exist” (or other cognate terms). This implies interpreting ontological disputes as metalinguistic negotiations, in keeping with a recent trend to interpret other philosophical disputes along these lines (Plunkett and Sundell. Philosopher's Imprint; 2013;13:1–37). A number of issues arise from such proposal. The first is what counts as evidence (...) that an object‐level dispute is actually a metalinguistic negotiation. The second regards the dialectical relevance of considering metalinguistic negotiation as even just a possible interpretative option. The third issue concerns whether, and why, certain object‐level disputes (and especially ontological ones) should be understood as metalinguistic negotiations. (shrink)

The fundamental problem of Christology is the apparent contradiction of Christ as recorded at Chalcedon. Christ is human and Christ is divine. Being divine entails being immutable. Being human entails being mutable. Were Christ two different persons there’d be no apparent contradiction. But Chalcedon rules as much out. Were Christ only partly human or only partly divine there’d be no apparent contradiction. But Chalcedon rules as much out. Were the very meaning of ‘mutable’ and/or ‘immutable’ other than what they are, (...) there’d be no apparent contradiction. But the meaning is what it is, and changing the meaning of our terms to avoid the apparent contradiction of Christ is an apparent flight from reality. What, in the end, is the explanation of the apparent contradiction of Christ? Theologians and philosophers have long advanced many consistency-seeking answers, all of which increase the metaphysical or semantical complexity of the otherwise strikingly simple but radical core of Christianity’s GodMan. In this paper, I put the simplest explanation on the theological table: namely, Christ appears to be contradictory because Christ is contradictory. This explanation may sound complicated to the many who are steeped in the mainstream account of logic according to which logic precludes the possibility of true contradictions. But the mainstream account of logic can and should be rejected. Ridding theology of the dogma of mainstream logic illuminates the simple though striking explanation of the apparent contradiction of Christ — namely, that Christ is a contradictory being. Just as the simplest explanation to the apparent roundness of the earth has earned due acceptance, so too should the simplest explanation of the apparent contradiction of Christ. (shrink)

A typical guiding principle of an account of truth is: “truth is objective,” or, to be clear, judging whether an assertion is true or false depends upon how things are in the world rather than how someone or some community believes it to be. Accordingly, whenever a claim is objectively true, its truth conditions ought not depend upon the context in which it is uttered or the utterer making the claim. Part of our ongoing empirical studies surveying people’s responses to (...) questions about truth involved prompts on objectivity. Our studies suggest the following: overall, individuals tend to endorse claims that are consistent with the objectivity of truth; not all conceptions of objectivity are equal, even people who endorse the objectivity of truth sometimes assent to one form of truth’s objectivity over other forms; philosophers and non-philosophers both endorse the objectivity of truth, but the apparent commitment of philosophers is stronger. (shrink)

ABSTRACTKevin Scharp’s ‘Replacing Truth’ is an ambitious and far reaching account of the semantic paradoxes. In this critical discussion we examine one the books central claims: to have provided a theory of truth that avoids the revenge paradoxes. In the first part we assess this claim, and in the second part we investigate some features of Scharp’s preferred theory of truth, ADT, and compare it with existing theories such as the Kripke–Feferman theory. In the appendix a simple model of Scharp’s (...) theory is presented, and some potential consistent ways to strengthen the theory are suggested. (shrink)

Most work on the semantic paradoxes within classical logic has centered around what this essay calls “linguistic” accounts of the paradoxes: they attribute to sentences or utterances of sentences some property that is supposed to explain their paradoxical or nonparadoxical status. “No proposition” views are paradigm examples of linguistic theories, although practically all accounts of the paradoxes subscribe to some kind of linguistic theory. This essay shows that linguistic accounts of the paradoxes endorsing classical logic are subject to a particularly (...) acute form of the revenge paradox: that there is no exhaustive classification of sentences into “good” and “bad” such that the T-schema holds when restricted to the “good” sentences unless it is also possible to prove some “bad” sentences. The foundations for an alternative classical nonlinguistic approach is outlined that is not subject to the same kinds of problems. Although revenge paradoxes of different strengths can be formulated, they are found to be indeterminate at higher orders and not inconsistent. (shrink)

The thesis that nothing is true has long been thought to be a self-refuting position not worthy of serious philosophical consideration. Recently, however, the thesis of alethic nihilism—that nothing is true—has been explicitly defended (notably by David Liggins). Nihilism is also, I argue, a consequence of other views about truth that have recently been advocated, such as fictionalism about truth and the inconsistency account. After offering an account of alethic nihilism, and how it purports to avoid the self-refutation problem, I (...) argue that it avoids the problem at the expense of changing the subject. I then present other arguments against nihilism and responses to the considerations offered in defense of it. The only tenable position is that something is indeed true. (shrink)

This paper explores the nature of the concept of truth. It does not offer an analysis or definition of truth, or an account of how it relates to other concepts. Instead, it explores what sort of concept truth is by considering what sorts of thoughts it enables us to think. My conclusion is that truth is a part of each and every propositional thought. The concept of truth is therefore best thought of as the ability to token propositional thoughts. I (...) explore what implications this view has for existing accounts of concepts, and argue that truth is a concept unlike any other. (shrink)

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)

While historians of pragmatism often present William James as the founder of the “subjectivist” wing of pragmatism that came back into prominence with the writings of Richard Rorty, Hilary Putnam has argued that James’s views are actually much closer to Peirce’s (and Putnam’s own). Putnam does so by noting that James distinguishes two sorts of truth: “temporary truth,” which is closer to a subjective notion of warranted assertibility, and “absolute truth,” which is closer to Peirce’s own comparatively objective notion of (...) truth as what would be believed at some idealized end of inquiry. Putnam then argues that the temptation to read James as a precursor to Rorty requires privileging his talk of temporary truth, when, in fact, it was always absolute truth that was the primary sense of the term for James. This paper will argue that James’s views on truth are, in fact, much less tied to the absolute notion than Putnam suggests, and, indeed, that James’s account of the relations between our concepts and reality leave open the possibility that no claim of ours could ever be “absolutely” true, and thus that “temporary” truth would be all we could ever expect to have. (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)

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)

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)

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)

This chapter explores two central questions in the conceptual ethics of normative inquiry. The first is whether to orient one’s normative inquiry around folk normative concepts (like KNOWLEDGE or IMMORAL) or around theoretical normative concepts (like ADEQUATE EPISTEMIC JUSTIFICATION or PRO TANTO PRACTICAL REASON). The second is whether to orient one’s normative inquiry around concepts whose normative authority is especially accessible to us (such as OUGHT ALL THINGS CONSIDERED), or around concepts whose extension is especially accessible to us (such as (...) BETRAYAL). The chapter aims to make vivid and plausible a range of possible answers to these questions, and important forms of argument that can be used to favor certain answers over others. (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)

The historical consensus is that logical evidence is special. Whereas empirical evidence is used to support theories within both the natural and social sciences, logic answers solely to a priori evidence. Further, unlike other areas of research that rely upon a priori evidence, such as mathematics, logical evidence is basic. While we can assume the validity of certain inferences in order to establish truths within mathematics and test scientifi c theories, logicians cannot use results from mathematics or the empirical sciences (...) without seemingly begging the question. Appeals to rational intuition and analyticity in order to account for logical knowledge are symptomatic of these commitments to the apriority and basicness of logical evidence. This chapter argues that these historically prevalent accounts of logical evidence are mistaken, and that if we take logical practice seriously we fi nd that logical evidence is rather unexceptional, sharing many similarities to the types of evidence appealed to within other research areas. (shrink)

This open access book provides the first explicit case study for an application of the method of reflective equilibrium (RE), using it to develop and defend a precautionary principle. It thereby makes an important and original contribution to questions of philosophical method and methodology. The book shows step-by-step how RE is applied, and develops a methodological framework which will be useful for everyone who wishes to use reflective equilibrium. With respect to precautionary principles, the book demonstrates how a rights-based precautionary (...) principle can be constructed and defended. The case study succeeds in demonstrating that RE can be successfully applied and puts real constraints on the justification process. This is all the more remarkable as the case study was designed as an open-ended process, without presupposing any specific results. This book will be highly relevant both to people interested in philosophical methodology and epistemology, as well as to researchers who are interested in using philosophical methods and tools and applying them to practical problems. (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)

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

This paper aims to contribute to debates about the nature of philosophical inquiry and its relation to science. The starting point is the Discontinuity View (DV), which holds that philosophy is discontinuous with science. Upon critically engaging two lines of argument in favor of DV, the paper presents and defends the Continuity View (CV), according to which philosophy and science are continuous forms of inquiry. The critical engagement sheds light on continuities between philosophical and scientific inquiry while underlining special normative (...) competences of philosophical work. The final part of the paper uses these insights to offer a brief outline of a normative approach to philosophy of science. (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)

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)

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)