This paper examines the question of whether Large Language Models (LLMs) like ChatGPT possess minds, focusing specifically on whether they have a genuine folk psychology encompassing beliefs, desires, and intentions. We approach this question by investigating two key aspects: internal representations and dispositions to act. First, we survey various philosophical theories of representation, including informational, causal, structural, and teleosemantic accounts, arguing that LLMs satisfy key conditions proposed by each. We draw on recent interpretability research in machine learning to support these (...) claims. Second, we explore whether LLMs exhibit robust dispositions to perform actions, a necessary component of folk psychology. We consider two prominent philosophical traditions, interpretationism and representationalism, to assess LLM action dispositions. While we find evidence suggesting LLMs may satisfy some criteria for having a mind, particularly in game-theoretic environments, we conclude that the data remains inconclusive. Additionally, we reply to several skeptical challenges to LLM folk psychology, including issues of sensory grounding, the "stochastic parrots" argument, and concerns about memorization. Our paper has three main upshots. First, LLMs do have robust internal representations. Second, there is an open question to answer about whether LLMs have robust action dispositions. Third, existing skeptical challenges to LLM representation do not survive philosophical scrutiny. (shrink)

In this paper I develop an argument against applying a causal theory of mental content to normative concepts. This argument—which I call the Intrapersonal Normative Twin Earth Argument—is inspired by Terry Horgan and Mark Timmons’ Moral Twin Earth Argument. The focus of Horgan and Timmons’ argument is showing that causal theories of mental content conflict with plausible claims about interpersonal normative disagreement. The Intrapersonal Normative Twin Earth Argument, by contrast, is focused on showing that such theories struggle to vindicate plausible (...) claims concerning whether two of an agent’s token normative thoughts have the same or distinct content. (shrink)

Recent advances in natural language processing have given rise to a new kind of AI architecture: the language agent. By repeatedly calling an LLM to perform a variety of cognitive tasks, language agents are able to function autonomously to pursue goals specified in natural language and stored in a human-readable format. Because of their architecture, language agents exhibit behavior that is predictable according to the laws of folk psychology: they function as though they have desires and beliefs, and then make (...) and update plans to pursue their desires given their beliefs. We argue that the rise of language agents significantly reduces the probability of an existential catastrophe due to loss of control over an AGI. This is because the probability of such an existential catastrophe is proportional to the difficulty of aligning AGI systems, and language agents significantly reduce that difficulty. In particular, language agents help to resolve three important issues related to aligning AIs: reward misspecification, goal misgeneralization, and uninterpretability. (shrink)

It is generally assumed that existing artificial systems are not phenomenally conscious, and that the construction of phenomenally conscious artificial systems would require significant technological progress if it is possible at all. We challenge this assumption by arguing that if Global Workspace Theory (GWT) — a leading scientific theory of phenomenal consciousness — is correct, then instances of one widely implemented AI architecture, the artificial language agent, might easily be made phenomenally conscious if they are not already. Along the way, (...) we articulate an explicit methodology for thinking about how to apply scientific theories of consciousness to artificial systems and employ this methodology to arrive at a set of necessary and sufficient conditions for phenomenal consciousness according to GWT. (shrink)

According to one tradition, uttering an indicative conditional involves performing a special sort of speech act: a conditional assertion. We introduce a formal framework that models this speech act. Using this framework, we show that any theory of conditional assertion validates several inferences in the logic of conditionals, including the False Antecedent inference. Next, we determine the space of truth-conditional semantics for conditionals consistent with conditional assertion. The truth value of any such conditional is settled whenever the antecedent is false, (...) and whenever the antecedent is true and the consequent is false. Then, we consider the space of dynamic meanings consistent with the theory of conditional assertion. We develop a new family of dynamic conditional-assertion operators that combine a traditional test operator with an update operation. (shrink)

By what types of properties do we specify twinges, toothaches, and other kinds of mental states? Wittgenstein considers two methods. Procedure one, direct, private acquaintance: A person connects a word to the sensation it specifies through noticing what that sensation is like in his own experience. Procedure two, outward signs: A person pins his use of a word to outward, pre-verbal signs of the sensation. I identify and explain a third procedure and show we in fact specify many kinds of (...) mental states in this way. (shrink)

In the article "What Sin Is: A Differential Analysis," Jesse Couenhoven delves into the definitions and categorizations of sin according to various Christian doctrines. The author critically examines traditional definitions, such as those provided by the Westminster Confession and catechisms, and argues that they fail to adequately distinguish between sin and evil, often conflating natural evils with sinful acts. Couenhoven also considers gray areas of ethical behavior, such as the actions of a schizophrenic who curses against God or the (...) mistakes made by medical residents that result in harm to patients, and questions whether these actions should be classified as sin. The primary question driving the article is how sin is differentiated from that which is "merely" evil. To address this, Couenhoven analyzes and evaluates three views of sin, testing their coherence with Christian beliefs and practices. The article aims to provide a more nuanced and sufficient understanding of sin within the Christian tradition, going beyond the necessary elements of the doctrine of sin to better identify and differentiate sin from evil. (shrink)

The modal account of luck is the predominant account of luck in epistemology and ethics. In the first half of this paper, I discuss three possible interpretations of the modal account and raise objections to each. I then raise an objection to all plausible versions of the modal account, that is, that whether an event is lucky or the extent to which it is a matter of luck will depend on what initial conditions or features of the event one holds (...) constant across nearby possible worlds. However, there is often reasonable disagreement about what the relevant initial conditions of an event are, and the modal account of luck has no means of determining which description of the event is correct. As such, the modal account is subject to a kind of reference class problem, and the view cannot actually tell us the extent to which certain events are a matter of luck. (shrink)

In this paper I develop an argument against a type of Non-Analytic Normative Naturalism. This argument, the Normative Property Dualism Argument, suggests that, if Non-Analytic Normative Naturalists posit that normative properties are identical to natural properties and that such identities are a posteriori, they will be forced to posit that these properties which are both normative and natural have higher-order normative properties of their own.

Writers in the propositions literature consider the Benacerraf objection serious, often decisive. The objection figures heavily in dismissing standard theories of propositions of the past, notably set-theoretic theories. I argue that the situation is more complicated. After explicating the propositional Benacerraf problem, I focus on a classic set-theoretic theory of propositions, the possible worlds theory, and argue that methodological considerations influence the objection’s success.

Nicholas Agar, Jeff McMahan and Allen Buchanan have all expressed concerns about enhancing humans far outside the species-typical range. They argue radically enhanced beings will be entitled to greater and more beneficial treatment through an enhanced moral status, or a stronger claim to basic rights. I challenge these claims by first arguing that emerging technologies will likely give the enhanced direct control over their mental states. The lack of control we currently exhibit over our mental lives greatly contributes to our (...) sense of vulnerability. I then argue moral status should be viewed in terms of vulnerability. The enhanced will slowly gain the ability to command their mental states, reducing their vulnerability. These radically enhanced beings will have greater capacities, and possibly an inner life more valuable than our own. They will also be less vulnerable, and as a result, their moral status will be subordinate to our own. (shrink)

The Great Divide in metaphysical debates about laws of nature is between Humeans, who think that laws merely describe the distribution of matter, and non-Humeans, who think that laws govern it. The metaphysics can place demands on the proper formulations of physical theories. It is sometimes assumed that the governing view requires a fundamental / intrinsic direction of time: to govern, laws must be dynamical, producing later states of the world from earlier ones, in accord with the fundamental direction of (...) time in the universe. In this paper, we propose a minimal primitivism about laws of nature (MinP) according to which there is no such requirement. On our view, laws govern by constraining the physical possibilities. Our view captures the essence of the governing view without taking on extraneous commitments about the direction of time or dynamic production. Moreover, as a version of primitivism, our view requires no reduction / analysis of laws in terms of universals, powers, or dispositions. Our view accommodates several potential candidates for fundamental laws, including the principle of least action, the Past Hypothesis, the Einstein equation of general relativity, and even controversial examples found in the Wheeler-Feynman theory of electrodynamics and retrocausal theories of quantum mechanics. By understanding governing as constraining, non-Humeans who accept MinP have the same freedom to contemplate a wide variety of candidate fundamental laws as Humeans do. (shrink)

Chalmers (Mind 120(479): 587–636, 2011a) presents an argument against “referentialism” (and for his own view) that employs Bayesianism. He aims to make progress in a debate over the objects of belief, which seems to be at a standstill between referentialists and non-referentialists. Chalmers’ argument, in sketch, is that Bayesianism is incompatible with referentialism, and natural attempts to salvage the theory, Chalmers contends, requires giving up referentialism. Given the power and success of Bayesianism, the incompatibility is prima facie evidence against referentialism. (...) In this paper, I review Chalmers’ arguments and give some responses on behalf of the referentialist. (shrink)

It is surprisingly hard to define presentism. Traditional definitions of the view, in terms of tensed existence statements, have turned out not to to be capable of convincingly distinguishing presentism from eternalism. Picking up on a recent proposal by Tallant, I suggest that we need to locate the break between eternalism and presentism on a much more fundamental level. The problem is that presentists have tried to express their view within a framework that is inherently eternalist. I call that framework (...) the Fregean nexus, as it is defined by Frege’s atemporal understanding of predication. In particular, I show that the tense-logical understanding of tense which is treated as common ground in the debate rests on this very same Fregean nexus, and is thus inadequate for a proper definition of presentism. I contrast the Fregean nexus with what I call the original temporal nexus, which is based on an alternative, inherently temporal form of predication. Finally, I propose to define presentism in terms of the original temporal nexus, yielding original presentism. According to original presentism, temporal propositions are distinguished from atemporal ones not by aspects of their content, as they are on views based on the Fregean nexus, but by their form—in particular, by their form of predication. (shrink)

Formal models of appearance and reality have proved fruitful for investigating structural properties of perceptual knowledge. This paper applies the same approach to epistemic justification. Our central goal is to give a simple account of The Preface, in which justified belief fails to agglomerate. Following recent work by a number of authors, we understand knowledge in terms of normality. An agent knows p iff p is true throughout all relevant normal worlds. To model The Preface, we appeal to the normality (...) of error. Sometimes, it is more normal for reality and appearance to diverge than to match. We show that this simple idea has dramatic consequences for the theory of knowledge and justification. Among other things, we argue that a proper treatment of The Preface requires a departure from the internalist idea that epistemic justification supervenes on the appearances and the widespread idea that one knows most when free from error. (shrink)

In memoriam of Vernon Venable, American philosopher who for four decades was a master teacher in the history of Western philosophy, author of an important study of Marx, and the seminal spirit in the development and flourishing of the program in philosophy at Vassar College.

This paper demonstrates the practical and philosophical strengths of adopting Luciano Floridi’s “general definition of information” (GDI) for use in the information sciences (IS). Many definitions of information have been proposed, but little work has been done to determine which definitions are most coherent or useful. Consequently, doubts have been cast on the necessity and possibility of finding a definition. In response to these doubts, the paper shows how items and events central to IS are adequately described by Floridi’s conception (...) of information, and demonstrates how it helps clarify the muddy theoretical framework resulting from the many previous definitions. To this end, it analyzes definitions, popular in IS, that conceive of information as energy, processes, knowledge, and physical objects. The paper finds that each of these definitions produces problematic or counterintuitive implications that the GDI suitably accounts for. It discusses the role of truth in IS, notes why the GDI is preferable to its truth-requiring variant, and ends with comments about the import of such a theory for IS research and practice. (shrink)

Functionalists think an event's causes and effects, its 'causal role', determines whether it is a mental state and, if so, which kind. Functionalists see this causal role principle as supporting their orthodox materialism, their commitment to the neuroscientist's ontology. I examine and refute the functionalist's causal principle and the orthodox materialism that attends that principle.

In response to Petitmengin and Bitbol's recent account of first-person methodologies in the study of consciousness, I provide a revised model of our introspective knowledge of our own conscious experience. This model, which I call the existential constitution model of phenomenal knowledge, avoids the problems that Petitmengin and Bitbol identify with standard observational models of introspection while also avoiding an underlying metaphorical misconception in their own proximity model, which misconstrues first-person knowledge of consciousness in terms of a dichotomous epistemic relationship. (...) The end result is a clearer understanding of the unique nature and epistemic properties of our knowledge of consciousness, as well as the epistemic status of subsequent first-person reports on conscious experience. (shrink)

It is often assumed that all lucky events are significant. The thought is that a chancy event such as winning the lottery is lucky for you in part because it affects your interests or well-being. But whether you win an Absurdist Raffle in which there are no prizes, is, intuitively, not a matter of luck. This is because this event—even if chancy—is not significant for any subject. However, a few philosophers have recently claimed not only that luck does not necessarily (...) involve a significance condition but that we should not view luck involving claims in terms of significance. After reviewing the literature on this topic, I argue that lucky events are significant. A significance condition is necessary to distinguish between different kinds of luck: practical, epistemic, and moral. All lucky events are significant and chancy, but they can be significant for subjects in different ways. For example, an event is epistemically lucky for you if it is epistemically significant and chancy, but such events need not affect your practical interests or moral standing. Furthermore, I argue that events that are chancy but not significant should be thought of in terms of chance and not luck. (shrink)

This paper develops a question-sensitive theory of intention. We show that this theory explains some puzzling closure properties of intention. In particular, it can be used to explain why one is rationally required to intend the means to one’s ends, even though one is not rationally required to intend all the foreseen consequences of one’s intended actions. It also explains why rational intention is not always closed under logical implication, and why one can only intend outcomes that one believes to (...) be under one’s control. (shrink)

We often claim to know what might be—or probably is—the case. Modal knowledge along these lines creates a puzzle for information-sensitive semantics for epistemic modals. This paper develops a solution. We start with the idea that knowledge requires safe belief: a belief amounts to knowledge only if it could not easily have been held falsely. We then develop an interpretation of the modal operator in safety that allows it to non-trivially embed information-sensitive contents. The resulting theory avoids various paradoxes that (...) arise from other accounts of modal knowledge. It also delivers plausible predictions about modal Gettier cases. (shrink)

Pleasure is one of the strongest candidates for an occurrence that might be good, in some respect, unconditionally. Malicious pleasure is one of the most often cited alleged counter-examples to pleasure’s being an unconditional good. Correctly evaluating malicious pleasure is more complex than people realize. I defend pleasure’s unconditionally good status from critics of malicious pleasure.

We analyse Hutto & Myin's three arguments against computationalism [Hutto, D., E. Myin, A. Peeters, and F. Zahnoun. Forthcoming. “The Cognitive Basis of Computation: Putting Computation In Its Place.” In The Routledge Handbook of the Computational Mind, edited by M. Sprevak, and M. Colombo. London: Routledge.; Hutto, D., and E. Myin. 2012. Radicalizing Enactivism: Basic Minds Without Content. Cambridge, MA: MIT Press; Hutto, D., and E. Myin. 2017. Evolving Enactivism: Basic Minds Meet Content. Cambridge, MA: MIT Press]. The Hard Problem (...) of Content targets computationalism that relies on semantic notion of computation, claiming that it cannot account for the natural origins of content. The Intentionality Problem is targeted against computationalism using non-semantic accounts of computation, arguing that it fails in explaining intentionality. Theion Problem claims that causal interaction between concrete physical processes and abstract computational properties is problematic. We argue that these a... (shrink)

What is it to believe something might be the case? We develop a puzzle that creates difficulties for standard answers to this question. We go on to propose our own solution, which integrates a Bayesian approach to belief with a dynamic semantics for epistemic modals. After showing how our account solves the puzzle, we explore a surprising consequence: virtually all of our beliefs about what might be the case provide counterexamples to the view that rational belief is closed under logical (...) implication. (shrink)

Chalmers, responding to Braun, continues arguments from Chalmers for the conclusion that Bayesian considerations favor the Fregean in the debate over the objects of belief in Frege’s puzzle. This short paper gets to the heart of the disagreement over whether Bayesian considerations can tell us anything about Frege’s puzzle and answers, no, they cannot.

Moral metasemantic theories explain how our moral thought and talk are about certain properties. Given the connection between what our moral terms are about and which moral claims are true, it might be thought that metasemantic theorising can justify first-order ethical conclusions, thus providing a novel way of doing moral epistemology. In this paper, we spell out one kind of argument from metasemantic theories to normative ethical conclusions, and argue that it fails to transmit justification from premises to conclusion. We (...) give three reasons for this transmission failure, which together pose a serious challenge to such metasemantic arguments. (shrink)

Epistemic accounts of luck define luck’s chanciness condition relative to a subject’s epistemic position. This could be put in terms of a subject’s evidence or knowledge about whether the event will occur. I argue that both versions of the epistemic account fail. In §2, I give two types of counterexamples to the evidence-based approach. In §3, I argue—contrary to the knowledge-based view—that an event can be a matter of good or bad luck for a subject even if she knows that (...) it will occur. In §4, I argue that epistemic accounts cannot explain some instances of constitutive luck. Because of these problems, luck’s chanciness condition cannot be adequately defined in epistemic terms. (shrink)

In this short paper, we show that a popular view in information science, information-as-thing, fails to account for a common example of information that seems physical. We then demonstrate how the distinction between types and tokens, recently used to analyse Shannon information, can account for this same example by viewing information as abstract, and discuss existing definitions of information that are consistent with this approach. -/- Dans ce court article nous montrons qu'une vision populaire en sciences de l'information, l'information en (...) tant qu’une chose, échoue à rendre compte d'un exemple commun d'information qui semble physique. Nous démontrons ensuite comment la distinction type/token, utilisée récemment pour analyser l'information de Shannon, peut rendre compte de ce même exemple en considérant l'information comme abstraite, et nous discutons des définitions existantes de l’information qui sont compatibles avec cette approche. (shrink)

The representations of deep convolutional neural networks (CNNs) are formed from generalizing similarities and abstracting from differences in the manner of the empiricist theory of abstraction (Buckner, Synthese 195:5339–5372, 2018). The empiricist theory of abstraction is well understood to entail infinite regress and circularity in content constitution (Husserl, Logical Investigations. Routledge, 2001). This paper argues these entailments hold a fortiori for deep CNNs. Two theses result: deep CNNs require supplementation by Quine’s “apparatus of identity and quantification” in order to (1) (...) achieve concepts, and (2) represent objects, as opposed to “half-entities” corresponding to similarity amalgams (Quine, Quintessence, Cambridge, 2004, p. 107). Similarity amalgams are also called “approximate meaning[s]” (Marcus & Davis, Rebooting AI, Pantheon, 2019, p. 132). Although Husserl inferred the “complete abandonment of the empiricist theory of abstraction” (a fortiori deep CNNs) due to the infinite regress and circularity arguments examined in this paper, I argue that the statistical learning of deep CNNs may be incorporated into a Fodorian hybrid account that supports Quine’s “sortal predicates, negation, plurals, identity, pronouns, and quantifiers” which are representationally necessary to overcome the regress/circularity in content constitution and achieve objective (as opposed to similarity-subjective) representation (Burge, Origins of Objectivity. Oxford, 2010, p. 238). I base myself initially on Yoshimi’s (New Frontiers in Psychology, 2011) attempt to explain Husserlian phenomenology with neural networks but depart from him due to the arguments and consequently propose a two-system view which converges with Weiskopf’s proposal (“Observational Concepts.” The Conceptual Mind. MIT, 2015. 223–248). (shrink)

This paper takes under consideration a piece by Roger Crisp in which he questions what the problem of moral luck can teach us about COVID-19 lockdown rule-breakers. Taking the position that although such rule-breakers might seem to be new examples of moral luck, Crisp ends up denying the existence of moral luck and argues that moral luck is an outdated notion in so far as it relies on other questionable aspects of morality, that is, retributivist punishment and blame. Although the (...) author agrees with Crisp that pandemic rule-breaker cases are putative examples of resultant moral luck, he proposes that Crisp has misconstrued what moral luck is and the paper examines in detail what he sees as the numerous problems with Crisp’s claims. The author concludes that Crisp’s analysis of pandemic rule-breaking does not shed any new light on the moral luck debate, and the difficult questions of luck, moral responsibility, and desert are not so easily resolved. -/- . (shrink)

This essay examines the possibility that phenomenological laws might be implemented by a computational mechanism by carefully analyzing key passages from the Prolegomena to Pure Logic. Part I examines the famous Denkmaschine passage as evidence for the view that intuitions of evidence are causally produced by computational means. Part II connects the less famous criticism of Avenarius & Mach on thought-economy with Husserl's 1891 essay 'On the Logic of Signs (Semiotic).' Husserl is shown to reaffirm his earlier opposition to associationist (...) (Humean) and adaptationist (Darwinian) explanations of our thought-machine on the ground that they cannot reconstruct the notion of truth and its syntactic mental preservation in symbolic thought-trains. Part III reveals Husserl's interesting commitment to the idea that descriptive sciences necessarily transform into explanatory sciences on pain of contradicting the essence of science as a rational ideal. Since explanation in relation to phenomenology means causal explanation, and causal explanation in the form of the Denkmaschine accounts for phenomenological intuition, it is inferred that the rationally compelling ideal of explanatory science requires a computationalist reading of the subsequent logical investigations. (shrink)

Philosophy and Phenomenological Research, EarlyView.

It has become easy to make a case for the relevance, richness, and importance of philosophical thinking for information research and practice. [Introduction to a special issue].

Yoshimi has attempted to defuse my argument concerning the identification of network abstraction with empiricist abstraction - thus entailing psychologism - by claiming that the argument does not generalize from the example of simple feed-forward networks. I show that the particular details of networks are logically irrelevant to the nature of the abstractive process they employ. This is ultimately because deep artificial neural networks (ANNs) and dynamical systems theory applied to the mind (DST) are both associationisms - that is, empiricist (...) theories that derive the principles of thought from the causal history of the organism/system. On this basis, I put forward a new aspect of the old argument by noting that ANNs & DST are the causal bases of the phenomena of passive synthesis, whereas the language of thought hypothesis (LOT) and the symbolic computational theory of mind (CTM) are the causal bases of the phenomena of active synthesis. If the phenomena of active synthesis are not distinct in kind from and are thus reducible to those of passive synthesis, psychologism results. Yoshimi’s program, insofar as it denies this fundamental phenomenological distinction, is revealed to be the true anti-pluralist program, by essentially denying the causal efficacy of the mechanistic foundations of active synthesis by referring phenomenology exclusively to associationism for its causal foundation. (shrink)

In this position paper for the 2019 CSCW workshop Good Systems: Ethical AI for CSCW I propose one tool and one idea for navigating the complex ethical problem space that results from the interaction of human and/or AI agents in shared, hopefully cooperative, computing environments.

This paper will present two contributions to teaching introductory logic. The first contribution is an alternative tree proof method that differs from the traditional one-sided tree method. The second contribution combines this tree system with an index system to produce a user-friendly tree method for sentential modal logic.

In this paper I argue against Analytic Normative Naturalism by suggesting that the view cannot capture the way that normative concepts figure in advice. To establish this conclusion, I identify several links between normative concepts and advice and argue that, if Analytic Normative Naturalism were true, these links would not obtain.

Steven Hales and Jennifer Johnson—building off their (2014) work as well as Hales (2015, 2016)—have recently conducted two studies in Philosophical Psychology (2018) that show that there is a relationship between optimism and folk assessments of luck. Hales and Johnson use these results to argue that there is no such thing as luck. Instead, they claim that the concept is highly subjective and a cognitive illusion and that what we are in need of is an error theory. After reviewing Hales (...) and Johnson’s position, I levy four objections against their view. First, they ignore the fact that luck involves a chanciness condition. Second, their standards for what it means to be a useful philosophical theory are too high. Third, their view ignores the fact that there are various accounts of value in the literature and assumes a kind of relativism that few people would be willing to accept. Lastly, their error theory is not supported by the empirical evidence. Because of these problems, Hales and Johnson’s argument is not a serious threat to extant accounts of luck. (shrink)

Luck skepticism is the view that no one is ever morally responsible for anything because of the nature and ubiquity of luck. One acclaimed argument in favor of this view is Neil Levy’s luck pincer. The luck pincer holds that all morally significant acts or events involve either present luck, constitutive luck, or both and that present and constitutive luck each negate moral responsibility. Therefore, no one is ever morally responsible for any action or event. I argue that this argument (...) is unsound as both of its premises are false. First, not all morally significant events involve present or constitutive luck. Some morally significant events are non-lucky. Second, present and constitutive luck do not always negate moral responsibility. Luck – independent of ontological concerns – is not as threatening to free will as is often thought. (shrink)

Orthodox neural materialists think mental states are neural events or orthodox material properties of neutral events. Orthodox material properties are defining properties of the “physical”. A “defining property” of the physical is a type of property that provides a necessary condition for something’s being correctly termed “physical”. In this paper I give an argument against orthodox neural materialism. If successful, the argument would show at least some properties of some mental states are not orthodox material properties of neural events. Opposing (...) philosophical orthodoxy, I show there are no posteriori identities -- identities that cannot be known of a priori. (shrink)

One of the main questions Gillian Brock takes up in Justice for People on the Move (2020) is whether it is morally permissible for states to enact migration policies that discriminate on the basis of religion against those who wish to enter. The main focus of her discussion is on the United States context, and, in particular, the so-called ‘Muslim Ban’ enacted by President Donald Trump in 2017. While Brock offers a powerful critique of this policy, I argue that it (...) is insufficient on its own to support her claim that migration policies that discriminate on the basis of religion in general undermine the legitimacy of the states that enact them. I argue that this claim can be supported within her framework by showing that such policies necessarily display disregard for the human rights of existing members of the discriminating state. I conclude with some reflections on the strength of this account of the moral impermissibility of religious discrimination at the border. (shrink)

Schlenker (Semant Pragmat 2(3):1–78, 2009; Philos Stud 151(1):115–142, 2010a; Mind 119(474):377–391, 2010b) provides an algorithm for deriving the presupposition projection properties of an expression from that expression’s classical semantics. In this paper, we consider the predictions of Schlenker’s algorithm as applied to attitude verbs. More specifically, we compare Schlenker’s theory with a prominent view which maintains that attitudes exhibit belief projection, so that presupposition triggers in their scope imply that the attitude holder believes the presupposition (Karttunen in Theor Linguist 34(1):181, (...) 1974; Heim in J Semant 9(3):183–221, 1992; Sudo in The art and craft of semantics: a festschrift for Irene Heim, MIT Press, 2014). We show that Schlenker’s theory does not predict belief projection, and discuss several consequences of this result. (shrink)

How do the young learn names for feelings? After criticizing Wittgensteinian explanations, I formulate and defend an explanation very different from Wittgensteinians embrace.

There is a large literature exploring how accuracy constrains rational degrees of belief. This paper turns to the unexplored question of how accuracy constrains knowledge. We begin by introducing a simple hypothesis: increases in the accuracy of an agent’s evidence never lead to decreases in what the agent knows. We explore various precise formulations of this principle, consider arguments in its favour, and explain how it interacts with different conceptions of evidence and accuracy. As we show, the principle has some (...) noteworthy consequences for the wider theory of knowledge. First, it implies that an agent cannot be justified in believing a set of mutually inconsistent claims. Second, it implies the existence of a kind of epistemic blindspot: it is not possible to know that one’s evidence is misleading. (shrink)

This paper develops an information-sensitive theory of the semantics and probability of conditionals and statements involving epistemic modals. The theory validates a number of principles linking probability and modality, including the principle that the probability of a conditional If A, then C equals the probability of C, updated with A. The theory avoids so-called triviality results, which are standardly taken to show that principles of this sort cannot be validated. To achieve this, we deny that rational agents update their credences (...) via conditionalization. We offer a new rule of update, Hyperconditionalization, which agrees with Conditionalization whenever nonmodal statements are at stake but differs for modal and conditional sentences. (shrink)

A novel account of virtue signaling and what makes it bad has recently been offered by Justin Tosi and Brandon Warmke. Despite plausibly vindicating the folk’s conception of virtue signaling as a bad thing, their account has recently been attacked by both Neil Levy and Evan Westra. According to Levy and Westra, virtue signaling actually supports the aims and progress of public moral discourse. In this paper, we rebut these recent defenses of virtue signaling. We suggest that virtue signaling only (...) supports the aims of public moral discourse to the extent it is an instance of a more general phenomenon that we call norm signaling. We then argue that, if anything, virtue signaling will undermine the quality of public moral discourse by undermining the evidence we typically rely on from the testimony and norm signaling of others. Thus, we conclude, not only is virtue signaling not needed, but its epistemological effects warrant its bad reputation. (shrink)

Our computational metaphysics group describes its use of automated reasoning tools to study Leibniz’s theory of concepts. We start with a reconstruction of Leibniz’s theory within the theory of abstract objects (henceforth ‘object theory’). Leibniz’s theory of concepts, under this reconstruction, has a non-modal algebra of concepts, a concept-containment theory of truth, and a modal metaphysics of complete individual concepts. We show how the object-theoretic reconstruction of these components of Leibniz’s theory can be represented for investigation by means of automated (...) theorem provers and finite model builders. The fundamental theorem of Leibniz’s theory is derived using these tools. (shrink)