Take “legal reality” to be the part of reality that actual legal thought and talk is dis- tinctively about, such as legal institutions, legal obligations, and legal norms. Our goal is to explore whether legal reality is disunified. To illustrate the issue, consider the possibility that an important metaphysical thesis such as positivism is true of one part of legal reality (legal institutions), but not another (legal norms). We offer two arguments that suggest that legal reality is disunified: one concerns (...) the heteroge- neity of different entities that are part of legal reality; the other concerns variation within legal thought and talk. We then show that taking the possibility of the disunity of legal reality seriously has important upshots for how we think about the positivist and antipositivist traditions, the debate between them, and their relation to other parts of legal theory, such as critical legal theory and legal realism. (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.

This chapter discusses two different issues about the relationship between legal positivism and robust normativity (understood as the most authoritative kind of normativity to which we appeal). First, the chapter argues that, in many contexts when discussing “legal positivism” and “legal antipositivism”, the discussion should be shifted from whether legal facts are ultimately partly grounded in moral facts to whether they are ultimately partly grounded in robustly normative facts. Second, the chapter explores an important difference within the kinds of arguments (...) that legal philosophers give for the (purported) truth of legal positivism. The difference concerns whether (purportedly) robustly normative facts are appealed to as premises in those arguments or not. (A closely connected issue is whether (purportedly) normative facts that bear one or more important connections to robustly normative facts are appealed to in premises to those arguments.) The chapter argues that thinking about this dividing line helps people better situate the positivist/antipositivist dispute, better understand the space of views in legal philosophy, better evaluate those views, and avoid having merely verbal disputes. (shrink)

Speech and thought about what the law is commonly function in practical ways, to guide or assess behavior. These functions have often been seen as problematic for legal positivism in the tradition of H.L.A. Hart. One recent response is to advance an expressivist analysis of legal statements (Toh), which faces its own, familiar problems. This paper advances a rival, positivist-friendly account of legal statements which we call “quasi-expressivist”, explicitly modeled after Finlay’s metaethical theory of moral statements. This consists in a (...) descriptivist, “rule-relational” semantics combined with a pragmatic account of the expressive and practical functions of legal discourse. We argue that this approach is at least as well-equipped as expressivism to explain the motivational and prescriptive features of “internal” legal statements, as well as a fundamental kind of legal disagreement, while being better positioned to account for various “external” uses of the same language. We develop this theory in a Hartian framework, and in the final part of the paper argue (particularly against Toh’s expressivist interpretation) that Hart’s own views in The Concept of Law are best reconstructed along such quasi-expressivist lines. (shrink)

Morality seems important, in the sense that there are practical reasons — at least for most of us, most of the time — to be moral. A central theoretical motivation for consequentialism is that it appears clear that there are practical reasons to promote good outcomes, but mysterious why we should care about non-consequentialist moral considerations or how they could be genuine reasons to act. In this paper we argue that this theoretical motivation is mistaken, and that because many arguments (...) for consequentialism rely upon it, the mistake substantially weakens the overall case for consequentialism. We argue that there is indeed a theoretical connection between good states and reasons to act, because good states are those it is fitting to desire and there is a conceptual connection between the fittingness of a motive and reasons to perform the acts it motivates. But while some of our motives are directed at states, others are directed at acts themselves. We contend that just as the fittingness of desires for states generates reasons to promote the good, the fittingness of these act-directed motives generates reasons to do other things. Moreover, we argue that an act’s moral status consists in the fittingness of act-directed feelings of obligation to perform or avoid performing it, so the connection between fitting motives and reasons to act explains reasons to be moral whether or not morality directs us to promote the good. This, we contend, de-mystifies how there could be non-consequentialist reasons that are both moral and practical. (shrink)

This volume introduces a wide range of important views, questions, and controversies in and about contemporary metaethics. It is natural to ask: What, if anything, connects this extraordinary range of discussions? This introductory chapter aims to answer this question by giving an account of metaethics that shows it to be a unified theoretical activ- ity. According to this account, metaethics is a theoretical activity characterized by an explanatory goal. This goal is to explain how actual ethical thought and talk—and what (...) (if anything) that thought and talk is distinctively about—fits into reality. We begin by introducing and developing this account, and illustrating it via discus- sion of a simple illustrative metaethical theory: Simple Subjectivism. We then explain important upshots of the characterization. Our account is novel and controversial, as is the status of metaethics as a theoretically fruitful project. We thus compare our account to competing characterizations of the field, and explain how our account permits us to address certain challenges to the theoretical significance of a distinctively metaethical project. In the conclusion, we explain why, given our account, one might think that meta- ethics matters, and explain how we understand the history and future of self-conscious metaethical theorizing. As we will emphasize, we should expect new ways of approaching the explanatory project at the heart of metaethics to emerge in the coming years, as the tools and resources we have for tackling that project expand. Our hope is that by empha- sizing the centrality of the explanatory project itself, rather than just focusing narrowly on the views that have been developed so far by those engaged in that project, we can help encourage and facilitate the development of new questions, arguments, and views that help move the field forward. (shrink)

Many of us care about the existence of ethical facts because they appear crucial to making sense of our practical lives. On one tempting line of thought, this idea can also play a central role in justifying our belief in those facts. David Enoch has developed this thought into a formidable new proposal in moral epistemology: that the deliberative indispensability of ethical facts gives us epistemic justification for believing in such facts. This chapter argues that Enoch’s proposal fails because (...) it conflicts with a central fact about epistemic justification: that the norms of epistemic justification have the content that they do in part because of some positive connection between those norms and the truth of the beliefs that these norms govern. Alternatives to Enoch’s attempt to defend the idea that deliberative indispensability confers epistemic justification fail for parallel reasons. The chapter concludes that deliberative indispensability does not provide epistemic justification. (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)

From religion to philosophy to science, all human systems of definition are formed by human brains. The nature and limits of the human brain are the nature and limits of those systems. This essay shows how the human brain works normally then unusually, and what this reveals about the limits of human knowledge. There are many conditions and instances where the brain processes information unusually, including mental disorders, physical events, and drug use. This essay focuses on the neurological events called (...) mystical experiences. (shrink)

Philosophers of language have drawn on metamathematical results in varied ways. Extensionalist philosophers have been particularly impressed with two, not unrelated, facts: the existence, due to Frege/Tarski, of a certain sort of semantics, and the seeming absence of intensional contexts from mathematical discourse. The philosophical import of these facts is at best murky. Extensionalists will emphasize the success and clarity of the model theoretic semantics; others will emphasize the relative poverty of the mathematical idiom; still others will question the aptness (...) of the standard extensional semantics for mathematics. In this paper I investigate some implications of the Gödel Second Incompleteness Theorem for these positions. I argue that the realm of mathematics, proof theory in particular, has been a breeding ground for intensionality and that satisfactory intensional semantic theories are implicit in certain rigorous technical accounts. (shrink)

Recent objections to epistemic permissivism have a metaepistemic flavor. Impermissivists argue that their view best accounts for connections between rationality, planning and deference. Impermissivism is also taken to best explain the value of rational belief and normative assessment. These objections pose a series of metaepistemic explanatory challenges for permissivism. In this paper, I illustrate how permissivists might meet their explanatory burdens by developing two permissivist metaepistemic views which fare well against the explanatory challenges.

The model of human intelligence that is most widely adopted derives from psychometrics and behavioral genetics. This standard approach conceives intelligence as a general cognitive ability that is genetically highly heritable and describable using quantitative traits analysis. The paper analyzes intelligence within the debate on natural kinds and contends that the general intelligence conceptualization does not carve psychological nature at its joints. Moreover, I argue that this model assumes an essentialist perspective. As an alternative, I consider an HPC theory of (...) intelligence and evaluate how it deals with essentialism and with intuitions coming from cognitive science. Finally, I highlight some concerns about the HPC model as well, and conclude by suggesting that it is unnecessary to treat intelligence as a kind in any sense. (shrink)

[This is an edited version of a keynote talk at the conference on Neural Information Processing Systems (NeurIPS) on November 28, 2022, with some minor additions and subtractions.] -/- There has recently been widespread discussion of whether large language models might be sentient or conscious. Should we take this idea seriously? I will break down the strongest reasons for and against. Given mainstream assumptions in the science of consciousness, there are significant obstacles to consciousness in current models: for example, their (...) lack of recurrent processing, a global workspace, and unified agency. At the same time, it is quite possible that these obstacles will be overcome in the next decade or so. I conclude that while it is somewhat unlikely that current large language models are conscious, we should take seriously the possibility that successors to large language models may be conscious in the not-too-distant future. (shrink)

Lipsey and Lancaster's "general theory of second best" is widely thought to have significant implications for applied theorizing about the institutions and policies that most effectively implement abstract normative principles. It is also widely thought to have little significance for theorizing about which abstract normative principles we ought to implement. Contrary to this conventional wisdom, I show how the second-best theorem can be extended to myriad domains beyond applied normative theorizing, and in particular to more abstract theorizing about the normative (...) principles we should aim to implement. I start by separating the mathematical model used to prove the second-best theorem from its familiar economic interpretation. I then develop an alternative normative-theoretic interpretation of the model, which yields a novel second best theorem for idealistic normative theory. My method for developing this interpretation provides a template for developing additional interpretations that can extend the reach of the second-best theorem beyond normative theoretical domains. I also show how, within any domain, the implications of the second-best theorem are more specific than is typically thought. I conclude with some brief remarks on the value of mathematical models for conceptual exploration. (shrink)

Reductive representationalism is the view that the qualitative properties associated with conscious experience are properties of the objects of the experience, and not of the experience itself. A prima facie problem for this view arises from dreams and hallucinations, in which qualitative properties are experienced but not instantiated in external objects of perception. I argue that representationalist attempts to solve it by appeal to actually uninstantiated properties are guilty of an absurdity akin to that which Ryle accused Descartes of in (...) the latter’s doctrine of immaterial substance. (shrink)

A diagnostic process is an investigative process that takes a clinical picture as input and outputs a diagnosis. We propose a method for distinguishing diagnoses that are warranted from those that are not, based on the cognitive processes of which they are the outputs. Processes designed and vetted to reliably produce correct diagnoses will output what we shall call ‘warranted diagnoses’. The latter are diagnoses that should be trusted even if they later turn out to have been wrong. Our work (...) is based on the recently developed Cognitive Process Ontology and further develops the Ontology of General Medical Science. It also has applications in fields such as intelligence, forensics, and predictive maintenance, all of which rely on vetted processes designed to secure the reliability of their outputs. (shrink)

This essay examines the philosophical significance of $\Omega$-logic in Zermelo-Fraenkel set theory with choice (ZFC). The categorical duality between coalgebra and algebra permits Boolean-valued algebraic models of ZFC to be interpreted as coalgebras. The hyperintensional profile of $\Omega$-logical validity can then be countenanced within a coalgebraic logic. I argue that the philosophical significance of the foregoing is two-fold. First, because the epistemic and modal and hyperintensional profiles of $\Omega$-logical validity correspond to those of second-order logical consequence, $\Omega$-logical validity is genuinely (...) logical. Second, the foregoing provides a hyperintensional account of the interpretation of mathematical and metamathematical vocabulary. (shrink)

Failure of substitutivity of coreferential terms, one of the hallmarks of referential opacity, is standardly explained in terms of the presence of an expression (such as a verb of propositional attitude, a modal adverb or quotation marks) with opacity-inducing properties. It is thus assumed that any term in a complex expression for which substitutivity fails will be within the scope of an expression of one of these types, and that where there is an expression of one of these types there (...) will be failure of substitutivity for terms within its scope. I shall discuss a series of examples that have been thought to challenge this explanation by exhibiting failure of substitutivity of coreferential terms for positions not within the scope of any of the standard opacity-inducing expressions. If these examples are genuine, then the usual explanations of opacity are either incomplete – because there are sources of opacity other than those standardly identified, or completely mistaken – because the standardly identified expressions are not causes of opacity. I will argue, however, that the examples only exhibit failure of substitutivity of non-coreferential terms, and, hence, do not present a challenge to standard explanations of opacity. (shrink)

This paper examines the philosophical significance of the consequence relation defined in the $\Omega$-logic for set-theoretic languages. I argue that, as with second-order logic, the hyperintensional profile of validity in $\Omega$-Logic enables the property to be epistemically tractable. Because of the duality between coalgebras and algebras, Boolean-valued models of set theory can be interpreted as coalgebras. In Section \textbf{2}, I demonstrate how the hyperintensional profile of $\Omega$-logical validity can be countenanced within a coalgebraic logic. Finally, in Section \textbf{3}, the philosophical (...) significance of the characterization of the hyperintensional profile of $\Omega$-logical validity for the philosophy of mathematics is examined. I argue (i) that $\Omega$-logical validity is genuinely logical, and (ii) that it provides a hyperintensional account of formal grasp of the concept of `set'. Section \textbf{4} provides concluding remarks. (shrink)

What are the philosophical views of professional philosophers, and how do these views change over time? The 2020 PhilPapers Survey surveyed around 2000 philosophers on 100 philosophical questions. The results provide a snapshot of the state of some central debates in philosophy, reveal correlations and demographic effects involving philosophers' views, and reveal some changes in philosophers' views over the last decade.

Artificial intelligence has historically been conceptualized in anthropomorphic terms. Some algorithms deploy biomimetic designs in a deliberate attempt to effect a sort of digital isomorphism of the human brain. Others leverage more general learning strategies that happen to coincide with popular theories of cognitive science and social epistemology. In this paper, I challenge the anthropomorphic credentials of the neural network algorithm, whose similarities to human cognition I argue are vastly overstated and narrowly construed. I submit that three alternative supervised learning (...) methods—namely lasso penalties, bagging, and boosting—offer subtler, more interesting analogies to human reasoning as both an individual and a social phenomenon. Despite the temptation to fall back on anthropomorphic tropes when discussing AI, however, I conclude that such rhetoric is at best misleading and at worst downright dangerous. The impulse to humanize algorithms is an obstacle to properly conceptualizing the ethical challenges posed by emerging technologies. (shrink)

Does the Ship of Theseus present a genuine puzzle about persistence due to conflicting intuitions based on “continuity of form” and “continuity of matter” pulling in opposite directions? Philosophers are divided. Some claim that it presents a genuine puzzle but disagree over whether there is a solution. Others claim that there is no puzzle at all since the case has an obvious solution. To assess these proposals, we conducted a cross-cultural study involving nearly 3,000 people across twenty-two countries, speaking eighteen (...) different languages. Our results speak against the proposal that there is no puzzle at all and against the proposal that there is a puzzle but one that has no solution. Our results suggest that there are two criteria—“continuity of form” and “continuity of matter”— that constitute our concept of persistence and these two criteria receive different weightings in settling matters concerning persistence. (shrink)

What constitutes numerically one and the same tradition diachronically, at different times? This question is the focus of often violent dispute in societies. Is it capable of a rational resolution? Many accounts attempt that resolution with a diagnosis of ambiguity of the disputed concept-Islam, Marxism, or democracy for example. The diagnosis offered is in terms of vagueness, namely the vague criteria for sameness or similarity of central beliefs and practices.

The arguments of Fodor, Garret, Walker and Parkes [(1980) Against definitions, Cognition, 8, 263-367] are the source of widespread skepticism in cognitive science about lexical semantic structure. Whereas the thesis that lexical items, and the concepts they express, have decompositional structure (i.e. have significant constituents) was at one time "one of those ideas that hardly anybody [in the cognitive sciences] ever considers giving up" (p. 264), most researchers now believe that "[a]ll the evidence suggests that the classical [(decompositional)] view is (...) wrong as a general theory of concepts" [Smith, Medin & Rips (1984) A psychological approach to concepts: comments on Rey, Cognition, 17, 272], and cite Fodor et al. (1980) as "sounding the death knell for decompositional theories" [MacNamara & Miller (1989) Attributes of theories of meaning, Psychological Bulletin, 106, 360]. I argue that the prevailing skepticism is unmotivated by the arguments in Fodor et al. Fodor et al. misrepresent the form, function and scope of the decompositional hypothesis, and the procedures they employ to test for the psychological reality of definitions are flawed. I argue, further, that decompositional explanations of the phenomena they consider are preferable to their primitivist alternatives, and, hence, that there is prima facie reason to accept them as evidence for the existence of decompositional structure. Cognitive scientists would, therefore, do well to revert to their former commitment to the decompositional hypothesis. (shrink)

There is a difference between merely thinking that P and really grasping that P. For example, Jackson's (1982) black-and-white Mary cannot (before leaving her black-and-white room) fully grasp what it means to say that fire engines are red, but she can perfectly well entertain the thought that fire engines are red. The contrast between merely thinking and grasping is especially salient in the context of certain moral decisions. For example, an individual who grasps the plight of starving children thanks to (...) evocative images seems much more likely to donate for the children's benefit than someone who is merely told about their plight. This paper offers a phenomenal account of grasping according to which grasping a content (whether a proposition or concept) consists in one's thoughts about the content being constituted by phenomenal experiences of constituents of the content. This account improves on earlier phenomenal accounts of grasping (Bourget 2017a, 2018) by allowing for partial grasping and generalizing to concepts. The paper also addresses objections to phenomenal accounts of grasping, including the objection that recent developments in AI technology show that consciousness is irrelevant to grasping and understanding. (shrink)

What are the philosophical views of contemporary professional philosophers? We surveyed many professional philosophers in order to help determine their views on 30 central philosophical issues. This article documents the results. It also reveals correlations among philosophical views and between these views and factors such as age, gender, and nationality. A factor analysis suggests that an individual's views on these issues factor into a few underlying components that predict much of the variation in those views. The results of a metasurvey (...) also suggest that many of the results of the survey are surprising: philosophers as a whole have quite inaccurate beliefs about the distribution of philosophical views in the profession. (shrink)

Call a thought whose expression involves the utterance of an indexical an indexical thought. Thus, my thoughts that I’m annoyed, that now is not the right time, that this is not acceptable, are all indexical thoughts. Such thoughts present a prima facie problem for the thesis that thought contents are phenomenally individuated -- i.e., that each distinct thought type has a proprietarily cognitive phenomenology such that its having that phenomenology makes it the thought that it is -- given the assumption (...) that phenomenology is intrinsically determined. My concern in this paper is to blunt standard intuitions concerning the external individuation of indexical thought contents, and to defend a conception of indexical thought content that is entirely phenomenal and internalist. (shrink)

Does consciousness collapse the quantum wave function? This idea was taken seriously by John von Neumann and Eugene Wigner but is now widely dismissed. We develop the idea by combining a mathematical theory of consciousness (integrated information theory) with an account of quantum collapse dynamics (continuous spontaneous localization). Simple versions of the theory are falsified by the quantum Zeno effect, but more complex versions remain compatible with empirical evidence. In principle, versions of the theory can be tested by experiments with (...) quantum computers. The upshot is not that consciousness-collapse interpretations are clearly correct, but that there is a research program here worth exploring. (shrink)

What follows is a first step towards an ontology of conscious mental processes. We provide a theoretical foundation and characterization of conscious mental processes based on a realist theory of intentionality and using BFO as our top-level ontology. We distinguish three components of intentional mental process: character, directedness, and objective referent, and describe several features of the process character and directedness significant to defining and classifying mental processes. We arrive at the definition of representational mental process as a process that (...) is the bringing into being, sustaining, modifying, or terminating of a mental representation. We conclude by outlining some benefits and applications of this approach. (shrink)

Inspired by Rudolf Carnap's Der Logische Aufbau Der Welt, David J. Chalmers argues that the world can be constructed from a few basic elements. He develops a scrutability thesis saying that all truths about the world can be derived from basic truths and ideal reasoning. This thesis leads to many philosophical consequences: a broadly Fregean approach to meaning, an internalist approach to the contents of thought, and a reply to W. V. Quine's arguments against the analytic and the a (...) priori. Chalmers also uses scrutability to analyze the unity of science, to defend a conceptual approach to metaphysics, and to mount a structuralist response to skepticism. Based on the 2010 John Locke lectures, Constructing the World opens up debate on central philosophical issues involving language, consciousness, knowledge, and reality. This major work by a leading philosopher will appeal to philosophers in all areas. This entry contains uncorrected proofs of front matter, chapter 1, and first excursus. (shrink)

A discussion of three central ideas in action theory; trying to act, doing or acting, one's action causing further consequences.

This paper concentrates on a particular sort of case where it’s plausible that epistemic requirements can conflict: cases where an agent’s higher-order evidence supports doubting her reliability in reacting to her ordinary evidence. Conflicting epistemic requirements can be seen as generating epistemic dilemmas. The paper examines two ways that people have sought to recognize conflicting requirements without allowing them to generate epistemic dilemmas: separating epistemic norms into two different varieties, and positing rational indeterminacy in cases where principles conflict. It argues (...) that these views incur costs, and that the sense in which they avoid dilemmas does not gain them an advantage over a view that simply recognizes dilemmas as a natural outgrowth of agents’ rational reflection on their own thinking. (shrink)

In this paper, I argue for a modified version of what Devitt calls the Representational Thesis. According to RT, syntactic rules or principles are psychologically real, in the sense that they are represented in the mind/brain of every linguistically competent speaker/hearer. I present a range of behavioral and neurophysiological evidence for the claim that the human sentence processing mechanism constructs mental representations of the syntactic properties of linguistic stimuli. I then survey a range of psychologically plausible computational models of comprehension (...) and show that they are all committed to RT. I go on to sketch a framework for thinking about the nature of the representations involved in sentence processing. My claim is that these are best characterized not as propositional attitudes but, rather, as subpersonal states whose representational properties are determined by their functional role. Finally, I distinguish between explicit and implicit representations and argue that the latter can be drawn on as data by the algorithms that constitute our sentence processing routines. I conclude that skepticism concerning the psychological reality of grammars cannot be sustained. (shrink)

Bohmian mechanics is a realistic interpretation of quantum theory. It shares the same ontology of classical mechanics: particles following continuous trajectories in space through time. For this ontological continuity, it seems to be a good candidate for recovering the classical limit of quantum theory. Indeed, in a Bohmian framework, the issue of the classical limit reduces to showing how classical trajectories can emerge from Bohmian ones, under specific classicality assumptions. In this paper, we shall focus on a technical problem that (...) arises from the dynamics of a Bohmian system in bounded regions; and we suggest that a possible solution is supplied by the action of environmental decoherence. However, we shall show that, in order to implement decoherence in a Bohmian framework, a stronger condition is required rather than the usual one. (shrink)

This chapter examines how epistemic norms could be social norms, with a reliance on work on the philosophy and social science of social norms from Bicchieri (on the one hand) and Brennan, Eriksson, Goodin and Southwood (on the other hand). We explain how the social ontology of social norms can help explain the rationality of epistemic cooperation, and how one might begin to model epistemic games.

I argue that the two-dimensional hyperintensions of epistemic topic-sensitive two-dimensional truthmaker semantics provide a compelling solution to the access problem. I countenance an abstraction principle for epistemic hyperintensions based on Voevodsky's Univalence Axiom and function type equivalence in Homotopy Type Theory. I apply, further, modal rationalism in modal epistemology to solve the access problem. Epistemic possibility and hyperintensionality, i.e. conceivability, can be a guide to metaphysical possibility and hyperintensionality, when (i) epistemic worlds or epistemic hyperintensional states are interpreted as being (...) centered metaphysical worlds or hyperintensional states, i.e. indexed to an agent, when (ii) the epistemic (hyper-)intensions and metaphysical (hyper-)intensions for a sentence coincide, i.e. the hyperintension has the same value irrespective of whether the worlds in the argument of the functions are considered as epistemic or metaphysical, and when (iii) sentences are said to consist in super-rigid expressions, i.e. rigid expressions in all epistemic worlds or states and in all metaphysical worlds or states. I argue that (i) and (ii) obtain in the case of the access problem. (shrink)

This essay aims to redress the contention that epistemic possibility cannot be a guide to the principles of modal metaphysics. I introduce a novel epistemic two-dimensional truthmaker semantics. I argue that the interaction between the two-dimensional framework and the mereological parthood relation, which is super-rigid, enables epistemic possibilities and truthmakers with regard to parthood to be a guide to its metaphysical profile. I specify, further, a two-dimensional formula encoding the relation between the epistemic possibility and verification of essential properties obtaining (...) and their metaphysical possibility or verification. I then generalize the approach to haecceitistic properties, and examine the Julius Caesar problem as a test case. (shrink)

This paper aims to contribute to the analysis of the nature of mathematical modality and hyperintensionality, and to the applications of the latter to absolute decidability. Rather than countenancing the interpretational type of mathematical modality as a primitive, I argue that the interpretational type of mathematical modality is a species of epistemic modality. I argue, then, that the framework of two-dimensional semantics ought to be applied to the mathematical setting. The framework permits of a formally precise account of the priority (...) and relation between epistemic mathematical modality and metaphysical mathematical modality. The discrepancy between the modal systems governing the parameters in the two-dimensional intensional setting provides an explanation of the difference between the metaphysical possibility of absolute decidability and our knowledge thereof. I also advance a topic-sensitive epistemic two-dimensional truthmaker semantics, if hyperintensional approaches are to be preferred to possible worlds semantics. I examine the relation between two-dimensional hyperintensional states and epistemic set theory, providing two-dimensional hyperintensional formalizations of the modal logic of ZFC, large cardinal axioms, $\Omega$-logic, and the Epistemic Church-Turing Thesis. (shrink)

How should one react when one has a belief, but knows that other people—who have roughly the same evidence as one has, and seem roughly as likely to react to it correctly—disagree? This paper argues that the disagreement of other competent inquirers often requires one to be much less confident in one’s opinions than one would otherwise be.

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.

How should one react when one has a belief, but knows that other people—who have roughly the same evidence as one has, and seem roughly as likely to react to it correctly—disagree? This paper argues that the disagreement of other competent inquirers often requires one to be much less confident in one’s opinions than one would otherwise be.

Philosophical accounts of the nature of belief, at least in the western tradition, are framed in large part by two ideas. One is that believing is a form of representing. The other is that a belief plays a causal role when a person acts on it. The standard picture of belief as a mental entity with representational properties and causal powers merges these two ideas. We are to think of beliefs as things that are true or false and that interact (...) with desires, intentions, and emotions to bring about rational action. Both ideas, I think, are ill-founded. One effect of abandoning them is a further blurring of the distinction between what is inside and what is outside our minds. Another is a shift towards a less mentalistic picture of the roots of rational action. (shrink)