This paper studies the relationship of Artificial Intelligence to the study of language and the representation of the underlying knowledge which supports the comprehension process. It develops the view that intelligence is based on the ability to use large amounts of diverse kinds of knowledge in procedural ways, rather than on the possession of a few general and uniform principles. The paper also provides a unifying thread to a variety of recent approaches to natural language comprehension. We conclude with a (...) brief discussion of how Artificial Intelligence may have a radical impact on education if the principles which it utilizes to explore the representation and use of knowledge are made available to the student to use in his own learning experiences. (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)

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)

This paper explores the principle that knowledge is fragile, in that whenever S knows that S doesn’t know that S knows that p, S thereby fails to know p. Fragility is motivated by the infelicity of dubious assertions, utterances which assert p while acknowledging higher-order ignorance whether p. Fragility is interestingly weaker than KK, the principle that if S knows p, then S knows that S knows p. Existing theories of knowledge which deny KK by accepting a Margin for Error (...) principle can be conservatively extended with Fragility. (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)

LLMs have dramatically improved in capabilities in recent years. This raises the question of whether LLMs could become genuine agents with beliefs and desires. This paper demonstrates an in principle limit to LLM agency, based on their architecture. LLMs are next word predictors: given a string of text, they calculate the probability that various words can come next. LLMs produce outputs that reflect these probabilities. I show that next word predictors are exploitable. If LLMs are prompted to make probabilistic predictions (...) about the world, these predictions are guaranteed to be incoherent, and so Dutch bookable. If LLMs are prompted to make choices over actions, their preferences are guaranteed to be intransitive, and so money pumpable. In short, the problem is that selecting an action based on its potential value is structurally different then selecting the description of an action that is most likely given a prompt: probability cannot be forced into the shape of expected value. The in principle exploitability of LLMs raises doubts about how agential they can become. This exploitability also offers an opportunity for humanity to safely control such AI systems. (shrink)

This paper models knowledge in cases where an agent has multiple experiences over time. Using this model, we introduce a series of observations that undermine the pretheoretic idea that the evidential significance of experience depends on the extent to which that experience matches the world. On the basis of these observations, we model knowledge in terms of what is likely given the agent’s experience. An agent knows p when p is implied by her epistemic possibilities. A world is epistemically possible (...) when its probability given the agent’s experiences is not significantly lower than the probability of the actual world given that experience. (shrink)

You omega know something when you know it, and know that you know it, and know that you know that you know it, and so on. This paper first argues that omega knowledge matters, in the sense that it is required for rational assertion, action, inquiry, and belief. The paper argues that existing accounts of omega knowledge face major challenges. One account is skeptical, claiming that we have no omega knowledge of any ordinary claims about the world. Another account embraces (...) the KK thesis, and identifies knowledge with omega knowledge. This position faces counterexamples, and struggles to make sense of inexact knowledge. The paper then develops a new account of knowledge, by proposing the principle of Reflective Luminosity: if you know that you know something, then you omega know it. I argue that Reflective Luminosity allows for omega knowledge while avoiding the problems for KK. (shrink)

You omega know p when you possess every iteration of knowledge of p. This book argues that omega knowledge plays a central role in philosophy. In particular, the book argues that omega knowledge is necessary for permissible assertion, action, inquiry, and belief. Although omega knowledge plays this important role, existing theories of omega knowledge are unsatisfying. One theory, KK, identifies knowledge with omega knowledge. This theory struggles to accommodate cases of inexact knowledge. The other main theory is skeptical, claiming that (...) we do not omega know any ordinary claims about the world. This book develops and critically compares three new theories of omega knowledge. (shrink)

This paper offers a new argument against the KK thesis, which says that if you know p, then you know that you know p. We argue that KK is inconsistent with the fact that anyone denies the KK thesis: imagine that Dudley says he knows p but that he does not have 100 iterations of knowledge about p. If KK were true, Dudley would know that he has 100 iterations of knowledge about p, and so he wouldn’t deny that he (...) did. We consider several epicycles, and also explore whether the argument type also challenges other structural conditions on knowledge, such as closure under deduction. (shrink)

Free Choice is the principle that possibly p or q implies and is implied by possibly p and possibly q. A variety of recent attempts to validate Free Choice rely on a nonclassical semantics for disjunction, where the meaning of p or q is not a set of possible worlds. This paper begins with a battery of impossibility results, showing that some kind of nonclassical semantics for disjunction is required in order to validate Free Choice. The paper then provides a (...) positive account of Free Choice, by identifying a family of dynamic semantics for disjunction that can validate the inference. On all such theories, the meaning of p or q has two parts. First, p or q requires that our information is consistent with each of p and q. Second, p or q narrows down our information by eliminating some worlds. It turns out that this second component of or is well behaved: there is a strongest such meaning that p or q can express, consistent with validating Free Choice. The strongest such meaning is the classical one, on which p or q eliminates any world where both p and q are false. In this way, the classical meaning of disjunction turns out to be intimately related to the validity of Free Choice. (shrink)

We present a quantum model for the motion of N point particles, implying nonlocal (i.e., superluminal) influences of external fields on the trajectories, that is nonetheless fully relativistic. In contrast to other models that have been proposed, this one involves no additional space-time structure as would be provided by a (possibly dynamical) foliation of space-time. This is achieved through the interplay of opposite microcausal and macrocausal (i.e., thermodynamic) arrows of time. PACS numbers 03.65.Ud; 03.65.Ta; 03.30.+p..

Lost at times in the heat of debate about stem cell research, or any controversial advanced technology, is the need for precision in debate and discussion. The details matter a great deal, ranging from the need to use words that have precise definitions, to accurately quote colleagues and adversaries, and to cite scientific and medical results in a way that reflects the quality, rigor, and reliability of the work at issue. Regrettably, considerable inaccuracy has found its way into the debates (...) about stem cells, on all sides, with consequent fogging of the issues.A key detail that is often overlooked in the debates about the uses of human embryonic stem cells in research comes from the nature of in vitro fertilization treatment for infertility. Specifically, there are many frozen human embryos that are in excess of reproductive needs of the couple who generated them, and that must be either frozen indefinitely, donated to another couple, or destroyed. (shrink)

This volume commemorates the scientific contributions of Detlef Dürr (1951–2021) to foundational questions of physics. It presents new contributions from his former students, collaborators, and colleagues about their current research on topics inspired or influenced by Dürr. These topics are drawn from physics, mathematics, and philosophy of nature, and concern interpretations of quantum theory, new developments of Bohmian mechanics, the role of typicality, quantum physics in relativistic space-time, classical and quantum electrodynamics, and statistical mechanics. The volume thus also gives a (...) snapshot of present research in the foundations of physics. (shrink)

More than three centuries after Baruch Spinoza's excommunication from the Jewish community of Amsterdam, his legacy remains contentious. Born in 1632, Spinoza is one of the most important thinkers of the Enlightenment and arguably the paradigm of the secular Jew, having left Orthodoxy without converting to another faith. One of the most provocative critiques of Spinoza comes from an unexpected source, the influential twentieth-century political philosopher, Leo Strauss. Though Strauss was not an Orthodox Jew, in a well-known essay that prefaced (...) his study of Spinoza, he critically examines modern philosophy's challenge to traditional religion. There he argues that while the Enlightenment had failed to decisively refute Orthodoxy, at the same time, Orthodoxy could only claim to believe its core tenets were true but could not claim to know they were true. Strauss leaves the question at an impasse; both the Enlightenment and Orthodoxy rest on axioms that neither side can fully prove or fully refute. Curiously, Strauss never asks Orthodox Jewish thinkers if his approach to defending Judaism against the claims of the Enlightenment is the same as theirs. This volume poses the question to a group of serious Orthodox Jewish thinkers in an attempt to find out if Orthodoxy has a better answer to the questions raised by Strauss than the one Strauss advanced on its behalf. The seventeen essays in this volume use a variety of approaches, drawing on traditional primary Jewish sources like Scripture, Talmud, and Midrash; medieval rationalists like Maimonides; Enlightenment-era Orthodox sources; Jewish mystical writings like Kabbalah and Chasidut; modern philosophical movements including postmodernism and analytic philosophy; and contemporary Jewish Bible interpretation. While the answers differ, what unites these essays is the willingness to take Strauss' question seriously and to provide "inside" answers, that is, answers given by Orthodox Jews. Much of modern thought tries to square the circle of how to live in a world without belief. The better question is whether it is possible to recover authentic religious belief in the modern world. This volume is an Orthodox Jewish attempt to answer that question, one that no serious person can approach with indifference. (shrink)

future evolution of the field. These ideas thou h old 'th k oug o, are ei er un nown oz misunderstood, Our point here is that a stron realistic os". g ' ' posi'.ion has consequences: it offers a completely natural..

Wittgenstein's Tractatus is widely regarded as a masterpiece, a brilliant, if flawed attempt to achieve an ‘unassailable and definitive … final solution’ to a wide range of philosophical problems. Yet, in a 1931 notebook, Wittgenstein confesses: ‘I think there is some truth in my idea that I am really only reproductive in my thinking. I think I have never invented a line of thinking but that it was always provided for me by someone else’. This disarming self-assessment is, I believe (...) accurate. The Tractatus, despite making significant advances on the logical doctrines of Frege and Russell, is essentially a derivative work—Wittgenstein, as he elsewhere acknowledges, provided a fertile soil in which the original seeds of other peoples' thought grew in a unique way. In a play of mine, published in Philosophy (1999), Wittgenstein fails a tough viva on the Tractatus because he fails to properly support some of the weak arguments in the work and because of his inadequate acknowledgment of sources. The present paper further explores some of the antecedents of Wittgenstein's early views and answers some criticisms of the play. (shrink)

If history is to be taken seriously as a cognitive - not merely literary - discipline to which considerations of truth or falsity are relevant, it is because of the progress made over the course of centuries in the sharpening of the methodology of the infrastructure of history. By not attending to the way in which the historical past actually emerged in the course of work at the level of the infrastructure, philosophical writers, such as Mandelbaum, Pompa, McCullagh, and Gorman, (...) have tended to perpetuate a myth of historians' selection. This has been the basic impediment to epistemology in philosophy of history. There is no selection from an antecedently established stock of fact-containing statements. The facts and the account are constructed in the course of the same intellectual endeavor, within the framework of an historians' tradition that is shaped by their work. (shrink)

This is a response to Russell McCutcheon’s book chapter titled “On Concepts and Entities: Varieties of Critical Scholarship” in which he criticizes the value-driven approached advocated in previous editorials of Critical Research on Religion. This response points out that critical religion is also value-driven and not non-normative as he claims, but that this is what makes it critical.

In a well-known story constructed by Saul Kripke , Pierre, a rational but monolingual Frenchman who has never visited England, acquires, on the evidence of many magazine pictures of London, the belief that London is beautiful. He is happy to declare ‘Londres est jolie’. Pierre eventually moves to England and settles in one of the seedier areas of London, travelling only to comparably shabby neighbourhoods. He learns English by immersion, though he does not realize that ‘London’ and ‘Londres’ are co-referential. (...) Naturally enough, given his current circumstances, he acquires a belief that he is only too willing to express by uttering ‘It is not the case that London is beautiful’. So apparently he now holds contradictory beliefs. But rational people do not hold contradictory beliefs ….One popular response to Kripke's puzzle is that people …. (shrink)

I will contrast the two main approaches to the foundations of statistical mechanics: the individualist approach and the ensemblist approach. I will indicate the virtues of each, and argue that the conflict between them is perhaps not as great as often imagined.

This paper explores the relationship between dynamic and truth conditional semantics for epistemic modals. It provides a generalization of a standard dynamic update semantics for modals. This new semantics derives a Kripke semantics for modals and a standard dynamic semantics for modals as special cases. The semantics allows for new characterizations of a variety of principles in modal logic, including the inconsistency of ‘p and might not p’. Finally, the semantics provides a construction procedure for transforming any truth conditional semantics (...) for modals into a dynamic semantics for modals with similar properties. (shrink)

Emotions can be understood as a coherent, integrated system of general-purpose coping strategies, guided by appraisal, for responding to situations of crisis and opportunity (when specific-purpose motivational systems may be less effective). This perspective offers functional explanations for the presence of particular emotions in the emotion repertoire, and their elicitation by particular appraisal combinations. Implications of the Emotion System model for debated issues, such as the dimensional vs. discrete nature of appraisals and emotions, are also discussed.

Goldstein invites the philosophical beginner to think hard about issues ranging from patriotism and racism to artificial intelligence and the mind, from love and fidelity to free will and mortality, taking an interdisciplinary approach.

A conversational implicature is an inference that consists in attributing to a speaker an implicit meaning that goes beyond the explicit linguistic meaning of an utterance. This paper experimentallyinvestigates scalar implicature, a paradigmatic case of implicature in which a speaker's use of a term like Some indicates that the speaker had reasons not to use a more informative one from the samescale, e.g. All; thus, Some implicates Not all. Pragmatic theorists like Grice would predict that a pragmatic interpretation is determined (...) only after its explicit, logical meaning is incorporated (e.g. whereSome means at least one). The present work aims to developmentally unpack this prediction by showing how younger, albeit competent, reasoners initially treat a relatively weak term logically beforebecoming aware of its pragmatic potential. Three experiments are presented. Experiment 1 presents a modal reasoning scenario offering an exhaustive set of conclusions; critical among these isparticipants' evaluation of a statement expressing Might be x when the context indicates that the stronger Must be x is true. The conversationally-infelicitous Might be x can be understood logically(e.g. as compatible with Must) or pragmatically (as exclusive to must). Results from five-, seven-, and nine-year-olds as well as adults revealed that a) seven-year-olds are the youngest to demonstratemodal competence overall and that; b) seven- and nine-year-olds treat the infelicitous Might logically significantly more often than adults do. Experiment 2 showed how training with the modal taskcan suspend the implicatures for adults. Experiment 3 provides converging evidence of the developmental pragmatic effect with the French existential quantifier Certains (Some). Whilelinguistically-sophisticated children (eight- and ten-year-olds olds) typically treat Certains as compatible with Tous (All), adults are equivocal. These results, which are consistent with unanticipatedfindings in classic developmental papers, reveal a consistent ordering in which representations of weak scalar terms tend to be treated logically by young competent participants and morepragmatically by older ones. This work is also relevant to the treatment of scalar implicatures in the reasoning literature. (shrink)

David Lewis famously dismisses genuine impossible worlds on the basis that a contradiction bound within the scope of his modifier ‘at w’ amounts to a contradiction tout court—an unacceptable consequence. Motivated by the rising demand for impossible worlds in philosophical theorising, this paper examines whether anything coherent can be said about an extension of Lewis’ theory of genuine, concrete possible worlds into genuine, concrete impossible worlds. Lewis’ reasoning reveals two ways to carve out conceptual space for the genuinely impossible. The (...) first is to abandon Lewis’ classical translation schema for negation, on the basis that it begs the question against incomplete and inconsistent worlds. I argue that, whilst this option incurs some loss in the semantics, it preserves the core spirit of Lewis’ metaphysics. The alternative is to bite the bullet, abandon classical logic and embrace true contradictions. The key challenge with this strategy is that the resulting theory seems committed to a particularly strong kind of dialethism—one that even dialethists would be reluctant to accept. I motivate such a dialethic account of genuine impossibilia using Lewis’ own methodology and defend it against triviality objections. I close with a few comments on why impossible worlds should not be reduced to set theoretic constructs out of possible worlds. (shrink)

Under what conditions would an artificially intelligent system have wellbeing? Despite its clear bearing on the ethics of human interactions with artificial systems, this question has received little direct attention. Because all major theories of wellbeing hold that an individual’s welfare level is partially determined by their mental life, we begin by considering whether artificial systems have mental states. We show that a wide range of theories of mental states, when combined with leading theories of wellbeing, predict that certain existing (...) artificial systems have wellbeing. Along the way, we argue that there are good reasons to believe that artificial systems can have wellbeing even if they are not phenomenally conscious. While we do not claim to demonstrate conclusively that AI systems have wellbeing, we argue that there is a significant probability that some AI systems have or will soon have wellbeing, and that this should lead us to reassess our relationship with the intelligent systems we create. (shrink)