We propose a new definition of actual causes, using structural equations to model counterfactuals. We show that the definition yields a plausible and elegant account of causation that handles well examples which have caused problems for other definitions and resolves major difficulties in the traditional account.

This article traces the relationship between neoliberal thought and neural networks through the work of Friedrich Hayek, Donald O. Hebb, and Frank Rosenblatt. For all three, networked systems could accomplish acts of evolution, change, and learning impossible for individual neurons or subjects—minds, machines, and economies could therefore all autonomously evolve and adapt without government. These three figures, I argue, were also symptoms of a broader reconceptualization of reason, decision making, and “freedom” in relation to the state and technology that occurred (...) throughout the 1950s–1970s. I also argue that this genealogy of decision-making underpins contemporary relations between machine learning, reactionary politics, and neoliberal economics. (shrink)

This collection of essays is a Festschrift for Ernest W. Adams, and is based on a symposium that was held in his honor in 1993. As the title suggests, most of the essays focus on probability and the logic of conditionals, and the relationship between them; they draw their inspiration from Adams’s seminal work on the subject. As a computer scientist, I was struck by just how much the topics discussed play a major role in much recent work in computer (...) science, and how relevant much recent work in computer science is to some of the issues discussed here. (shrink)

There have been two major lines of research aimed at capturing resource-bounded players in game theory. The first, initiated by Rubinstein (), charges an agent for doing costly computation; the second, initiated by Neyman (), does not charge for computation, but limits the computation that agents can do, typically by modeling agents as finite automata. We review recent work on applying both approaches in the context of decision theory. For the first approach, we take the objects of choice in a (...) decision problem to be Turing machines, and charge players for the “complexity” of the Turing machine chosen (e.g., its running time). This approach can be used to explain well-known phenomena like first-impression-matters biases (i.e., people tend to put more weight on evidence they hear early on) and belief polarization (two people with different prior beliefs, hearing the same evidence, can end up with diametrically opposed conclusions) as the outcomes of quite rational decisions. For the second approach, we model people as finite automata, and provide a simple algorithm that, on a problem that captures a number of settings of interest, provably performs optimally as the number of states in the automaton increases. (shrink)

In response to the article by Baum-Baicker and Sisti, I will consider the kind of wisdom involved in therapeutic listening; the role of life wisdom; and the challenge of imparting clinical wisdom to young health professionals’ education.

In thinking about which works of Jewish thought can and should be an essential part of every Jewish library, I conceived of the volume you hold in your hand. Each chapter in this book features a scholar of Jewish studies revisiting a particularly foundational and salient work of maḥshevet Yisrael (Jewish thought), from medieval to modern, and discussing its themes, its historical context, the circumstances and background of its author (the "person of the book"), and, most importantly, its contemporary relevance."--Preface, (...) pages ix-x. (shrink)

I show how thinking in terms of the protocol used can help clarify problems related to anthropic reasoning and self-location, such as the Doomsday Argument and the Sleeping Beauty Problem.

We propose a generalization of expected utility that we call generalized EU (GEU), where a decision maker’s beliefs are represented by plausibility measures and the decision maker’s tastes are represented by general (i.e., not necessarily real-valued) utility functions. We show that every agent, “rational” or not, can be modeled as a GEU maximizer. We then show that we can customize GEU by selectively imposing just the constraints we want. In particular, we show how each of Savage’s postulates corresponds to constraints (...) on GEU. (shrink)

Principles are static; narratives move. They show us how people change; they depict character development and moral growth (or decline). They do this by pulling us inside lived time, where we empathize with a character's dilemmas about, and responsibility for, his or her future. This feature of narratives fits well with ethics, for ethics begins with practical questions about what to do or how to be (or even whether to be). Such questions require that one view the future as something (...) one has some freedom to shape. Narrative and principle‐based ethics support each other, and both are necessary, but in this essay I will focus on one side and consider how narrative dynamism enlivens a static bioethical principle, opening up new possibilities for moral action. (shrink)

Walter and Ross rightfully argue that healthcare providers need to employ a less authoritarian, more empowering approach if they want to support patients’ behavioral changes. They show how motivational interviewing (MI), informed by self-determination theory, engages patients and thus may inspire enduring changes. They ground these interventions in an important, new model of relational autonomy, emphasizing the patient’s self-respect and self-cohesion as well as self-determination, and they show how patient–provider interactions influence these three aspects of autonomy. It may be surprising (...) then, that in the first part of this essay, I argue that it is problematic for them to ground their empowerment model in the .. (shrink)

FOREWORD. Gilbert Gottlieb and the Developmental Point of View. I. INTRODUCTION. 1. Developmental Systems, Nature-Nurture, and the Role of Genes in Behavior and Development: On the Legacy of Gilbert Gottlieb. 2. Normally Occurring Environmental and Behavioral Influences on Gene Activity: From Central Dogma to Probabilistic Epigenesis. II. THEORETICAL FOUNDATIONS FOR THE DEVELOPMENTAL STUDY OF BEHAVIOR AND GENETICS. 3. Historical and Philosophical Perspectives on Behavioral Genetics and Developmental Science. 4. Development and Evolution Revisited. 5. Probabilistic Epigenesis and Modern Behavioral and Neural (...) Genetics. 6. The Roles of Environment, Experience, and Learning in Behavioral Development. 7. Contemporary Ideas in Physics and Biology in Gottlieb’s Psychology. III. EMPIRICAL STUDIES OF BEHAVIORAL DEVELOPMENT AND GENETICS. 8. Behavioral Development during the Mother-Young Interaction in Placental Mammals: The Development of Behavior in the Relationship with the Mother. 9. Amniotic Fluid as an Extended Milieu Interieur. 10. Developmental Effects of Selective Breeding for an Infant Trait. 11. Emergence and Constraint in Novel Behavioral Adaptations. 12. Nonhuman Primate Research Contributions to Understanding Genetic and Environmental Influences on Phenotypic Outcomes across Development. 13. Interactive Contributions of Genes and Early Experience to Behavioural Development: Sensitive Periods and Lateralized Brain and Behaviour. 14. Trans-Generational Epigenetic Inheritance. 15. The Significance of Non-Replication of Gene-Phenotype Associations. 16. Canalization and Malleability Reconsidered: The Developmental Basis of Phenotypic Stability and Variability. IV. APPLICATIONS TO DEVELOPMENT. 17. Gene-Parenting Interplay in the Development of Infant Emotionality. 18. Genetic Research in Psychiatry and Psychology: A Critical Overview. 19. On the Limits of Standard Quantitative Genetic Modeling of Inter-Individual Variation: Extensions, Ergodic Conditions and a New Genetic Factor Model of Intra-Individual Variation. 20. Songs My Mother Taught Me: Gene-Environment Interactions, Brain Development and the Auditory System: Thoughts on Non-Kin Rejection, Part II. 21. Applications of Developmental Systems Theory to Benefit Human Development: On the Contributions of Gilbert Gottlieb to Individuals, Families, and Communities. (shrink)

We consider the issue of what an agent or a processor needs to know in order to know that its messages are true. This may be viewed as a first step to a general theory of cooperative communication in distributed systems. An honest message is one that is known to be true when it is sent (or said). If every message that is sent is honest, then of course every message that is sent is true. Various weaker considerations than honesty (...) are investigated with the property that provided every message sent satisfies the condition, then every message sent is true. (shrink)

We construct a Hilbert style system RPL for the notion of plausibility measure introduced by Halpern J, and we prove the soundness and completeness with respect to a neighborhood style semantics. Using the language of RPL, we demonstrate that it can define well-studied notions of necessity, conditionals and propositional identity.

How do people attribute responsibility in situations where the contributions of multiple agents combine to produce a joint outcome? The prevalence of over-determination in such cases makes this a difficult problem for counterfactual theories of causal responsibility. In this article, we explore a general framework for assigning responsibility in multiple agent contexts. We draw on the structural model account of actual causation (e.g., Halpern & Pearl, 2005) and its extension to responsibility judgments (Chockler & Halpern, 2004). We review (...) the main theoretical and empirical issues that arise from this literature and propose a novel model of intuitive judgments of responsibility. This model is a function of both pivotality (whether an agent made a difference to the outcome) and criticality (how important the agent is perceived to be for the outcome, before any actions are taken). The model explains empirical results from previous studies and is supported by a new experiment that manipulates both pivotality and criticality. We also discuss possible extensions of this model to deal with a broader range of causal situations. Overall, our approach emphasizes the close interrelations between causality, counterfactuals, and responsibility attributions. (shrink)

Halpern and Pearl ([2005a], [2005b]) use the framework of structural equation models to define a notion of explanation that is based on actual causation. But while Halpern and Pearl’s definition of actual causation has been met with ample, often constructive, criticism, their subsequent definition of explanation has not faced similar scrutiny. It only underwent a slight reformulation by Halpern ([2016]). In this article, I will show that Halpern and Pearl’s definition of explanation is, despite many promising (...) features, still problematic, even if we presuppose adequately defined causal concepts. I will propose some changes to Halpern and Pearl’s definition and argue that those changes are able to resolve the revealed problems while maintaining all the benefits of their approach. (shrink)

Halpern and Hitchcock appealed to the normality of witness worlds to solve the problem of isomorphism in the Halpern-Pearl definition of actual causality. This paper first proposes a new isomorphism counterexample, called “bogus permission,” to show that their approach is unsuccessful. Then, to solve the problem of isomorphism, I propose a new improvement over the Halpern-Pearl definition by introducing default worlds. Finally, I demonstrate that my new definition can resolve more potential counterexamples than similar approaches in the (...) current literature, including the Lewisian causal dependence, Menziesian causal dependence, and modified version of the Halpern-Pearl definition. Some other advantages of my definition are also discussed. (shrink)

ABSTRACT Joseph Halpern and Judea Pearl draw upon structural equation models to develop an attractive analysis of ‘actual cause’. Their analysis is designed for the case of deterministic causation. I show that their account can be naturally extended to provide an elegant treatment of probabilistic causation. 1Introduction 2Preemption 3Structural Equation Models 4The Halpern and Pearl Definition of ‘Actual Cause’ 5Preemption Again 6The Probabilistic Case 7Probabilistic Causal Models 8A Proposed Probabilistic Extension of Halpern and Pearl’s Definition 9Twardy and (...) Korb’s Account 10Probabilistic Fizzling 11Conclusion. (shrink)

The HCTA test is a recent addition to the commercially available array of critical-thinking assessment tests in higher education. After an introductory description of the test, I critically review it and conclude that, despite the fact that the HCTA is certainly well-intentioned, it has serious flaws with respect to its affordability, accessibility, and validity.

Is medicine an art or a science? The question was being asked 30 years ago and I hope it will continue to be asked in 30 years time. Today’s climate of evidence based medicine, research, and ever demanding and demanded counting of patients, staff, time, trolleys, and operations suggests that medicine is a science. A few brave people, often working in the field of palliative care, suggest otherwise. Jodi Halpern, psychiatrist, medical ethicist, and philosopher, argues that the traditional medical (...) stance of detached concern—that is, “not being moved or influenced emotionally …. (shrink)

Halpern and Hitchcock have used normality considerations in order to provide an analysis of actual causation. Their methodology is that of taking a set of causal scenarios and showing how their account of actual causation accords with typical judgments about those scenarios. Consequently, Halpern and Hitchcock have recently demonstrated that their theory deals with an impressive number of problem cases discussed in the literature. However, in this paper I first show that the way in which they rule out (...) certain cases of bogus prevention leaves their account susceptible to counterexamples. I then sketch an alternative approach to prevention scenarios which draws on the observation that, in addition to abnormal causes, people usually tend to focus on abnormal effects. (shrink)

In this paper I combine the dynamic epistemic logic ofGerbrandy (1999) with the probabilistic logic of Fagin and Halpern (1994). The resultis a new probabilistic dynamic epistemic logic, a logic for reasoning aboutprobability, information, and information change that takes higher orderinformation into account. Probabilistic epistemic models are defined, and away to build them for applications is given. Semantics and a proof systemis presented and a number of examples are discussed, including the MontyHall Dilemma.

In their unifying theory to model uncertainty, Friedman and Halpern (1995–2003) applied plausibility measures to default reasoning satisfying certain sets of axioms. They proposed a distinctive condition for plausibility measures that characterizes “qualitative” reasoning (as contrasted with probabilistic reasoning). A similar and similarly fundamental, but more general and thus stronger condition was independently suggested in the context of “basic” entrenchment-based belief revision by Rott (1996–2003). The present paper analyzes the relation between the two approaches to formalizing basic notions of (...) plausibility as used in qualitative default reasoning. While neither approach is a special case of the other, translations can be found that elucidate their relationship. I argue that Rott’s notion of plausibility allows for a more modular set-up and has a better philosophical motivation than that of Friedman and Halpern. (shrink)

In this paper, I defend the metalinguistic solution to the problem of mathematical omniscience for the possible-worlds account of propositions by combining it with a computational model of knowledge and belief. The metalinguistic solution states that the objects of belief and ignorance in mathematics are relations between mathematical sentences and what they express. The most pressing problem for the metalinguistic strategy is that it still ascribes too much mathematical knowledge under the standard possible-worlds model of knowledge and belief on which (...) these are closed under entailment. I first argue that Stalnaker's fragmentation strategy is insufficient to solve this problem. I then develop an alternative, computational strategy: I propose a model of mathematical knowledge and belief adapted from the algorithmic model of Halpern et al. which, when combined with the metalinguistic strategy, entails that mathematical knowledge and belief require computational abilities to access metalinguistic information, and thus aren't closed under entailment. As I explain, the computational model generalizes beyond mathematics to a version of the functionalist theory of knowledge and belief that motivates the possible-worlds account in the first place. I conclude that the metalinguistic and computational strategies yield an attractive functionalist, possible-worlds account of mathematical content, knowledge, and inquiry. (shrink)

It was conjectured by Halpern and Kapron (Annals of Pure and Applied Logic, vol. 69, 1994) that frame satisfiability of propositional modal formulas is incomparable in expressive power to both Σ 1 1 (Ackermann) and Σ 1 1 (Bernays-Schonfinkel). We prove this conjecture. Our results imply that Σ 1 1 (Ackermann) and Σ 1 1 (Bernays-Schonfinkel) are incomparable in expressive power, already on finite graphs. Moreover, we show that on ordered finite graphs, i.e., finite graphs with a successor, Σ (...) 1 1 (Bernays-Schonfinkel) is strictly more expressive than Σ 1 1 (Ackermann). (shrink)

In this paper, I develop a syntactic framework for the analysis ofstrategic form games that is based on a straightforward combination ofstandard systems of doxastic, probabilistic and conditionalpropositional logic. In particular, for the probabilistic part I makeuse of the axiomatization provided in Fagin and Halpern (1994). The use ofconditionals allows to represent a strategic form game by a logicalformula in a very natural way. Also expected utility maximization can benaturally captured. I use this framework to prove a version of (...) a resulton Nash equilibrium conjectures first presented in Aumann and Brandenburger (1995). (shrink)

Nancy Cartwright offers an account of causal powers, and argues that it explains some important general features of scientific method. Patricia Cheng argues that this theory is superior as a psychological theory of learning to standard models of conditioning. I extend and develop the theory, and argue that it provides the best explanation of a number of problem cases for philosophical theories of causation, including preemption, overdetermination and puzzles about transitivity. Hitchcock and Halpern & Pearl on ‘actual causes’ Problems (...) and morals 2.1 Puzzles about prevention 2.2 Counterfactuals Causal powers 3.1 Generative causal power 3.2 Preventative causal power Net and component powers ‘Actual’ or ‘successful’ causes Solutions to puzzle cases Conclusion. (shrink)

Among the many possible approaches to dealing with logical omniscience, I consider here awareness and impossible worlds structures. The former approach, pioneered by Fagin and Halpern, distinguishes between implicit and explicit knowledge, and avoids logical omniscience with respect to explicit knowledge. The latter, developed by Rantala and by Hintikka, allows for the existence of logically impossible worlds to which the agents are taken to have access; since such worlds need not behave consistently, the agents’ knowledge is fallible relative to (...) logical omniscience. The two approaches are known to be equally expressive in propositional systems interpreted over Kripke semantics. In this paper I show that the two approaches are equally expressive in propositional systems interpreted over Montague-Scott (neighborhood) semantics. Furthermore, I provide predicate systems of both awareness and impossible worlds structures interpreted on neighborhood semantics and prove the two systems to be equally expressive. (shrink)

In this paper, I develop an algorithmic impossible-worlds model of belief and knowledge that provides a middle ground between models that entail that everyone is logically omniscient and those that are compatible with even the most egregious kinds of logical incompetence. In outline, the model entails that an agent believes (knows) φ just in case she can easily (and correctly) compute that φ is true and thus has the capacity to make her actions depend on whether φ. The model thereby (...) captures the standard view that belief and knowledge ground are constitutively connected to dispositions to act. As I explain, the model improves upon standard algorithmic models developed by Parikh, Halpern, Moses, Vardi, and Duc, among other ways, by integrating them into an impossible-worlds framework. The model also avoids some important disadvantages of recent candidate middle-ground models based on dynamic epistemic logic or step logic, and it can subsume their most important advantages. (shrink)

A number of recent authors (Galles and Pearl, Found Sci 3 (1):151–182, 1998; Hiddleston, Noûs 39 (4):232–257, 2005; Halpern, J Artif Intell Res 12:317–337, 2000) advocate a causal modeling semantics for counterfactuals. But the precise logical significance of the causal modeling semantics remains murky. Particularly important, yet particularly under-explored, is its relationship to the similarity-based semantics for counterfactuals developed by Lewis (Counterfactuals. Harvard University Press, 1973b). The causal modeling semantics is both an account of the truth conditions of counterfactuals, (...) and an account of which inferences involving counterfactuals are valid. As an account of truth conditions, it is incomplete. While Lewis's similarity semantics lets us evaluate counterfactuals with arbitrarily complex antecedents and consequents, the causal modeling semantics makes it hard to ascertain the truth conditions of all but a highly restricted class of counterfactuals. I explain how to extend the causal modeling language to encompass a wider range of sentences, and provide a sound and complete axiomatization for the extended language. Extending the truth conditions for counterfactuals has serious consequences concerning valid inference. The extended language is unlike any logic of Lewis's: modus ponens is invalid, and classical logical equivalents cannot be freely substituted in the antecedents of conditionals. (shrink)

Epistemic logic has grown from its philosophical beginnings to find diverse applications in computer science, and as a means of reasoning about the knowledge and belief of agents. This book provides a broad introduction to the subject, along with many exercises and their solutions. The authors begin by presenting the necessary apparatus from mathematics and logic, including Kripke semantics and the well-known modal logics K, T, S4 and S5. Then they turn to applications in the context of distributed systems and (...) artificial intelligence. These include the notions of common knowledge, distributed knowledge, explicit and implicit belief, the interplays between knowledge and time, and knowledge and action, as well as a graded (or numerical) variant of the epistemic operators. The authors also discuss extensively the problem of logical omniscience. They cover Halpern & Moses' theory of honest formulas, and they make a digression into the realm of nonmonotonic reasoning and preferential entailment. They discuss Moore's autoepistemic logic, together with Levesque's related logic of "all I know". Furthermore, they show how one can base default and counterfactual reasoning on epistemic logic. Graduate students in philosophy or in computer science, especially those with an interest in AI, will find this book useful. (shrink)

We investigate an extension of the formalism of interpreted systems by Halpern and colleagues to model the correct behaviour of agents. The semantical model allows for the representation and reasoning about states of correct and incorrect functioning behaviour of the agents, and of the system as a whole. We axiomatise this semantic class by mapping it into a suitable class of Kripke models. The resulting logic, KD45n i-j, is a stronger version of KD, the system often referred to as (...) Standard Deontic Logic. We extend this formal framework to include the standard epistemic notions defined on interpreted systems, and introduce a new doubly-indexed operator representing the knowledge that an agent would have if it operates under the assumption that a group of agents is functioning correctly. We discuss these issues both theoretically and in terms of applications, and present further directions of work. (shrink)

_ "LaBossiere brilliantly tackles many of the toughest ethical dilemmas of our times, from gender selection, cloning and sexual inequality to violence in the media and the conduct of warfare. In an age of snap judgments and stereotypes, he approaches his topics in a refreshingly open-minded fashion. His quick wit and firm knowledge of contemporary culture bring philosophy full-force into the 21st century." —Paul Halpern, Professor Of Physics, University Of The Sciences in Philadelphia and author of What's Science Ever (...) Done for Us? From the author's introduction: Philosophy, as I see it, is not about believing certain tenets or accepting certain dogmas. Philosophy is about asking questions, seeking answers and entertaining doubt. Critical to that endeavor is a willingness to be rationally provoked by different ideas and to see where they might lead—assuming they turn out to be worth following. If you find that you disagree with me, so much the better. The search for truth and wisdom benefits most from dissent. It is uncritical agreement that derails this search and leaves people stuck in the dark. Of course, if you do agree with me on some points, that is cool, too. _ I n this stimulating book, Michael C. LaBossiere takes a provocative look at issues in contemporary politics, culture and society through the lens of philosophy. Collected from LaBossiere's regular column in The Philosopher's Magazine, this fascinating set of philosophical provocations assumes no background in philosophy and focuses on matters that are of popular interest to the general public, yet are also philosophically significant. Topics range across a whole host of controversial issues that are of genuine interest to the reader, including same sex marriage, video games, gene therapy, true love, chance, torture, gender, god, the media, and freedom. >. (shrink)

To ascertain the rational credences for the epistemic agents in the famous cases of self-locating belief, one should model the processes by which those agents acquire their evidence. This approach, taken by Darren Bradley (Phil. Review 121, 149–177) and Joseph Halpern (Ergo 2, 195–206), is immensely reasonable. Nevertheless, the work of those authors makes it seem as if this approach must lead to such conclusions as the Doomsday argument being correct, and that Sleeping Beauty should be a halfer. I (...) argue that this is due to an implicit existential bias: it is assumed that the first step in those processes is the determination that the agent in question must necessarily exist. It is much more reasonable to model that determination as contingent and a result of other, earlier, steps in the process. This paper offers such alternative models. They imply an endorsement of what has mockingly been called “presumptuous” reasoning, and a massive shift of credences in favor of (1) the existence of a multiverse and (2) the Everettian interpretation of quantum mechanics. (shrink)

In the artificial intelligence literature a promising approach to counterfactual reasoning is to interpret counterfactual conditionals based on causal models. Different logics of such causal counterfactuals have been developed with respect to different classes of causal models. In this paper I characterize the class of causal models that are Lewisian in the sense that they validate the principles in Lewis’s well-known logic of counterfactuals. I then develop a system sound and complete with respect to this class. The resulting logic is (...) the weakest logic of causal counterfactuals that respects Lewis’s principles, sits in between the logic developed by Galles and Pearl and the logic developed by Halpern, and stands to Galles and Pearl’s logic in the same fashion as Lewis’s stands to Stalnaker’s. (shrink)

This paper introduces and defends a new principle for when a structural equation model is apt for analyzing actual causation. Any such analysis in terms of these models has two components: a recipe for reading claims of actual causation off an apt model, and an articulation of what makes a model apt. The primary focus in the literature has been on the first component. But the problem of structural isomorphs has made the second especially pressing (Hall 2007; Hitchcock 2007a). Those (...) with realist sympathies have reason to resist the standard response to this problem, which introduces a normative parameter into the metaphysics (Hall 2007; Halpern and Hitchcock 2010, 2015; Halpern 2016a; Menzies 2017; Gallow 2021). However, the only alternative solution in the literature leaves central questions unanswered (Blanchard and Schaffer 2017). I propose an independently motivated aptness requirement, Evident Mediation, that provides the missing details and resolves the structural isomorph problem without need for a normative parameter. (shrink)

The paper surveys the currently available axiomatizations of common belief (CB) and common knowledge (CK) by means of modal propositional logics. (Throughout, knowledge- whether individual or common- is defined as true belief.) Section 1 introduces the formal method of axiomatization followed by epistemic logicians, especially the syntax-semantics distinction, and the notion of a soundness and completeness theorem. Section 2 explains the syntactical concepts, while briefly discussing their motivations. Two standard semantic constructions, Kripke structures and neighbourhood structures, are introduced in Sections (...) 3 and 4, respectively. It is recalled that Aumann's partitional model of CK is a particular case of a definition in terms of Kripke structures. The paper also restates the well-known fact that Kripke structures can be regarded as particular cases of neighbourhood structures. Section 3 reviews the soundness and completeness theorems proved w.r.t. the former structures by Fagin, Halpern, Moses and Vardi, as well as related results by Lismont. Section 4 reviews the corresponding theorems derived w.r.t. the latter structures by Lismont and Mongin. A general conclusion of the paper is that the axiomatization of CB does not require as strong systems of individual belief as was originally thought- only monotonicity has thusfar proved indispensable. Section 5 explains another consequence of general relevance: despite the "infinitary" nature of CB, the axiom systems of this paper admit of effective decision procedures, i.e., they are decidable in the logician's sense. (shrink)

As more and more decisions that have a significant ethical dimension are being outsourced to AI systems, it is important to have a definition of moral responsibility that can be applied to AI systems. Moral responsibility for an outcome of an agent who performs some action is commonly taken to involve both a causal condition and an epistemic condition: the action should cause the outcome, and the agent should have been aware -- in some form or other -- of the (...) possible moral consequences of their action. This paper presents a formal definition of both conditions within the framework of causal models. I compare my approach to the existing approaches of Braham and van Hees (BvH) and of Halpern and Kleiman-Weiner (HK). I then generalize my definition into a degree of responsibility. (shrink)

In this issue of the Hastings Center Report, Moti Gorin, Steven Joffe, Neal Dickert, and Scott Halpern offer a comprehensive defense of the use of nudging techniques in the clinical context, with the aim of promoting the best interests of patients. Their argument is built on three important claims: Nudging is ubiquitous and inescapable in clinical choice situations, and there is no neutral way of informing patients about their treatment choices; many patients do not have authentic preferences concerning their (...) treatment choices, and those that do can easily resist nudging; and, finally, since many people lack authentic preferences and those that do can still act on their preferences, nudging in the patients’ best interest is justified. I agree with the authors that if these three claims stand up to scrutiny, then they will provide a justification for many types of clinical nudging. I am, however, skeptical as to whether the claims can be sustained, despite the valiant efforts of Gorin and colleagues. (shrink)

The year 2012 has witnessed worldwide celebrations of Alan Turing’s 100th birthday. A great number of conferences and workshops were organized by logicians, computer scientists and researchers in AI, showing the continued flourishing of computer science, and the fruitful interfaces between logic and computer science. Logic is no longer just the concept that Frege had about one hundred years ago, let alone that of Aristotle twenty centuries before. One of the prominent features of contemporary logic is its interdisciplinary character, connecting (...) across mathematics, philosophy, modern computer science, and even the cognitive and social sciences. -/- China is no exception. This special issue explores interfaces of logic with AI and other disciplines, and it attempts to give a bird’s eye view of the developing landscape of logic and AI in China. Our contributors come from computer science, AI, philosophy and linguistics, united by their interest in using formal logical tools and notions to deal with substantial problems in their fields. We are aware that AI is a vast area, and that the limitations of space in a volume like this may provide a somewhat incomplete or biased view. Still we hope that the six papers selected here illustrate the concerns and curiosity driving Chinese researchers, on topics shared with our colleagues around the world. -/- One of the active research areas in AI is planning under uncertainty, with incomplete knowledge, where a well-established logical framework is the action language of Son and Baral (Son and Baral 2001). This language can express the notions of sensing actions and making conditional plans. However, its current semantics is not yet satisfactory, since according to the semantics an agent would not have knowledge of what happens after a plan is executed, which can be a serious problem in a safety-critical environment. In their paper Proof Systems for Planning under Cautious Semantics (Shen and Zhao 2013), Yuping Shen and Xishun Zhao address this problem and propose a cautious and weakly cautious semantics for the action language. This new semantics enables the agent to know exactly what happens after executing an action. Hoare style proof systems are then proposed and proved to be sound and complete. What is more, the proposed new system reduces the reasoning complexity of the action language. -/- In Preferential Semantics for Plausible Subsumption in Possibility Theory (Qi and Zhang 2013), Guilin Qi and Zhizheng Zhang investigate another important issue in AI: how to handle exceptions in a knowledge-based system. This has become a hot topic in recent years, especially in ontological design, where description logics are widely used. The question then arises whether we can get a nonmonotonic extension of description logic. To answer this, the authors first propose three preferential semantics for plausible subsumption in the framework of possibility theory (Dubois and Prade 1985) and study their properties and their relationships. Then they introduce preferential subsumptions to a description logic-based knowledge system, and define an entailment relation of plausible subsumption. Moreover, they study reductions of the new semantics to standard semantics for an expressive description logic. -/- Counterfactual reasoning has been explored extensively by philosophers, cf. Lewis (1973), Stalnaker (1968). But in the last two decades, causal models have been proposed for modeling counterfactual reasoning by researchers in AI. In A Lewisian Logic of Causal Counterfactuals (Zhang 2013), Jiji Zhang studies classes of causal models and provides formal characterizations. In particular, a new logic system is proposed and proved complete for the class of ‘Lewisian models’ satisfying all the principles of David Lewis’s logic of counterfactuals. Moreover, Zhang compares his new framework with those of Lewis and Stalnaker, and also establishes formal connections with more recent approaches by Galles and Pearl, and by Halpern. -/- Consistency is a fundamental notion in logic, but it also plays a key role in many techniques for solving constraint satisfaction problems (Mackworth 1977). In Variable-Centered Consistency in Model RB (Li et al. 2013), Liang Li, Tian Liu and Ke Xu start with a discussion of i-consistency in ‘Model RB’ and ‘Model RD’, two models of random constraint satisfaction problems with growing domain size, then compare it with the notion of t-consistency and strong t-consistency in well-known earlier work by Freuder. After that, the authors define a new kind of variable-centered consistency, and show an upper bound on a suitably chosen parameter in Model RB and Model RD, such that up to this bound, all typical instances of Model RB are variable-centered consistent. -/- Language understanding is a cognitive process that human beings carry out every day. Metaphor is a pervasive phenomenon in natural languages, and its cognitive role calls for interpretation. There is a growing body of literature on cognitive mechanisms underlying metaphor. The paper An Ontology-Based Approach to Metaphor Cognitive Computation (Huang et al. 2013) by Xiaoxi Huang, Huaxin Huang, Beishui Liao, and Cihua Xu proposes a theoretical framework for metaphor understanding based on recent results from cognitive science (Shutova 2010). They then introduce ontology as a knowledge representation method, and present a new ontological model to formalize metaphor-based knowledge. An algorithmic description is provided using a quantitative measure of integrated degree, and its effectiveness is demonstrated. -/- Puzzles and their solution mechanisms are a recurrent theme in many fields. Dynamic epistemic logic (van Ditmarsch et al. 2007); (van Benthem 2011) is a recent framework that can handle information dynamics in knowledge puzzles. In Reasoning About Agent Types and the Hardest Logic Puzzle Ever (Liu and Wang 2013), Fenrong Liu and Yanjing Wang propose a new dynamic-epistemic logic that can specify different types of agents and analyse agents’ knowledge, communication and reasoning. To demonstrate its power, Smullyan’s well-known Knights and Knaves puzzles are formalized, as well as the Hardest Logic Puzzle Ever (HLPE) of Boolos (Boolos 1996). Moreover, a spectrum of new puzzles is found involving knowledge-based agent types, and their solution complexity is shown to be harder than that for existing logic puzzles. It is also shown that a version of HLPE in which the agents do not know the others’ types does not have a solution at all. -/- Finally, we would like to thank the editor of Minds and Machines, Gregory Wheeler, for his efficient assistance and kind support. We also thank Ties Nijssen at Springer for his encouragement to start this project at the first place. And of course, our appreciation goes to our authors, as well as all the colleagues who have helped us review the papers in this collection. (shrink)

In the most popular logics combining knowledge and awareness, it is not possible to express statements about knowledge of unawareness such as “Ann knows that Bill is aware of something Ann is not aware of”—without using a stronger statement such as “Ann knows that Bill is aware of \(p\) and Ann is not aware of \(p\) ”, for some particular \(p\) . In Halpern and Rêgo (Proceedings of KR 2006; Games Econ Behav 67(2):503–525, 2009b) Halpern and Rêgo introduced (...) a logic in which such statements about knowledge of unawareness can be expressed. The logic extends the traditional framework with quantification over formulae, and is thus very expressive. As a consequence, it is not decidable. In this paper we introduce a decidable logic which can be used to reason about certain types of unawareness. Our logic extends the traditional framework with an operator expressing full awareness, i.e., the fact that an agent is aware of everything, and another operator expressing relative awareness, the fact that one agent is aware of everything another agent is aware of. The logic is less expressive than Halpern’s and Rêgo’s logic. It is, however, expressive enough to express all of the motivating examples in Halpern and Rêgo (Proceedings of KR 2006; Games Econ Behav 67(2):503–525, 2009b). In addition to proving that the logic is decidable and that its satisfiability problem is PSPACE-complete, we present an axiomatisation which we show is sound and complete. (shrink)

In this paper, a pragmatic approach to the phenomenon of free choice permission is proposed. Free choice permission is explained as due to taking the speaker (i) to obey certain Gricean maxims of conversation and (ii) to be competent on the deontic options, i.e. to know the valid obligations and permissions. The approach differs from other pragmatic approaches to free choice permission in giving a formally precise description of the class of inferences that can be derived based on these two (...) assumptions. This formalization builds on work of Halpern and Moses (1984) on the concept of ‘only knowing’, generalized by Hoek et al., (1999, 2000), and Zimmermann’s (2000) approach to competence. (shrink)

Less than two decades ago, Halpern (1998) presented a convincing approach for teaching critical thought. However, nowhere in her article did she explain how to “get” faculty to teach to thinking skills to transfer across domains of knowledge using: “(a) dispositional or attitudinal component, (b) instruction in and practice with critical thought, (c) structure–training activities, and (d) a metacognitive component used to direct and assess thinking.” (p. 451) It is an open question as to what type of strategies will (...) faculty need to demonstrate to create productive, knowledgeable, thinking citizenry? In this paper I focus on the faculty’s role in promoting the teaching of critical thought, that is, critical thought processes, with particular reference to dental education. Many students can develop processes of critical thought with frequent practice involving the active use of multiple types of ill-structured problems and situations designed to require the ability (1) to recall useful information, (2) to use pattern recognition, (3) to discern pertinent information, (4) to think ahead, and (5) to anticipate outcomes and problems while (6) remaining composed enough so that their emotions do not hinder decision-making skills. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Bedside VoicesJacqueline J. GloverThis issue of Narrative Inquiry in Bioethics features ten stories of Certified Nursing Assistants (CNAs) who work primarily in long-term care. This is a voice of direct care at the bedside that is not often heard. The addition of these stories in the literature is long overdue and I am honored to be asked to comment. There is much to learn from these bedside caregivers. All (...) of these stories reflect the deep struggle to be respected as a member of the health care team. But I also hear the pain of being caught in the tension between the desire to be skilled, qualified, and professional and the desire to be present in a way that emphasizes service, caring and common human touch. My commentary is informed by my experience in Rural Bioethics and my work at the Center for Bioethics and Humanities at the University of Colorado which has a commitment to Interprofessional Education. The CNAs' stories reveal much that they share with other health care professionals, but also some unique features that can teach us much.CommonalitiesSelf Care and Being Cared ForThe voice of the CNA is a voice that is echoed in a way by all health care professionals. Each of the stories bears witness to the need to take care of yourself and to be cared for in order to be able to continue to care for others. Leilani Roseberry writes "This unresolved grief and constant exposure to dying and death had me looking at every day, even every moment, through the eyes of a dying person. This is an emotion that is very difficult to put into words." She continues elsewhere, "I believe that if I had grief support opportunities available to me in my professional life, my level of care and compassion would have been much more resilient from the very beginning of my work as a CNA. Instead, only after sorting through emotions affecting my personal life and learning they were a compilation of what I experienced professionally, only then have I become much more resilient in the face of grief and mourning." Danny Reed writes, "Caregivers benefit from the same thing patients and residents do: genuine kindness. Take care of the caregivers because one day they will be all you have left in the world." And from James Bradley, "The work itself can be very draining, but to beat the stress of it, you can follow all the usual stuff like going for walks, playing with your kids, watch TV etc. The best advice though is to, as far as possible, leave the work behind when you walk off at the end of your shift. That may be the hardest thing to do but it is the only way to retain the correct professional approach."Self care can certainly be about boundaries and stress management. Health care institutions, including professional schools, increasingly have wellness programs (Johnson, 2000). It was once thought that [End Page 159] professional and emotional distance was necessary to maintain healthy relationships and avoid burn out. But current thinking seems to indicate the opposite. If a health care professional views his or her work only in terms of tasks to be performed without some connection to the meaning of what he or she is doing for the patient as a human being, that person is more likely to burn out (Halpern, 2003). Bradley's use of "correct professional approach" prompted me to think beyond wellness and health to the need to nurture meaning in one's work. The CNAs' essays are filled with the call to recognize the deeper meaning of their work. Tracy Dudzinski writes, "Most people think anyone can do this job. I thought that myself, twelve years ago. But now I know that it takes someone special. Direct care workers do not do this work because they are getting rich. They do it because they love the work and because it is the right thing to do. This is the hardest job I have ever done but it is also the most rewarding job I have ever done."There is increasing attention to the use of reflective writing in... (shrink)