We investigate the notion of relevance as it pertains to ‘commonsense’, subjunctive conditionals. Relevance is taken here as a relation between a property (such as having a broken wing) and a conditional (such as birds typically fly). Specifically, we explore a notion of ‘causative’ relevance, distinct from ‘evidential’ relevance found, for example, in probabilistic approaches. A series of postulates characterising a minimal, parsimonious concept of relevance is developed. Along the way we argue that no purely logical account of relevance (even (...) at the metalevel) is possible. Finally, and with minimal restrictions, an explicit definition that agrees with the postulates is given. (shrink)

In this paper we explore a class of belief update operators, in which the definition of the operator is compositional with respect to the sentence to be added. The goal is to provide an update operator that is intuitive, in that its definition is based on a recursive decomposition of the update sentence’s structure, and that may be reasonably implemented. In addressing update, we first provide a definition phrased in terms of the models of a knowledge base. While this operator (...) satisfies a core group of the benchmark Katsuno Mendelzon update postulates, not all of the postulates are satisfied. Other Katsuno Mendelzon postulates can be obtained by suitably restricting the syntactic form of the sentence for update, as we show. In restricting the syntactic form of the sentence for update, we also obtain a hierarchy of update operators with Winslett’s standard semantics as the most basic interesting approach captured. We subsequently give an algorithm which captures this approach; in the general case the algorithm is exponential, but with some not unreasonable assumptions we obtain an algorithm that is linear in the size of the knowledge base. Hence the resulting approach has much better complexity characteristics than other operators in some situations. We also explore other compositional belief change operators: erasure is developed as a dual operator to update; we show that a forget operator is definable in terms of update; and we give a definition of the compositional revision operator. We obtain that compositional revision, under the most natural definition, yields the Satoh revision operator. (shrink)

Consistency-based approaches in nonmonotonic reasoning may be expected to yield multiple sets of default conclusions for a given default theory. Reasoning about such extensions is carried out at the meta-level. In this paper, we show how such reasoning may be carried out at the object level for a large class of default theories. Essentially we show how one can translate a default theory Δ, obtaining a second Δ', such that Δ has a single extension that encodes every extension of _. (...) Moreover, our translated theory is only a constant factor larger than the original. We prove that our translation behaves correctly. In the approach we can now encode the notion of extension from within the framework of standard default logic. Hence one can encode notions such as skeptical and credulous conclusions, and can reason about such conclusions within a single extension. This result has some theoretical interest, in that it shows how multiple extensions of semi-monotonic default theories are encodable with manageable overhead in a single extension. (shrink)

This paper describes an approach for reasoning in a dynamic domain with nondeterministic actions in which an agent’s beliefs correspond to the simplest, or most plausible, course of events consistent with the agent’s observations and beliefs. The account is based on an epistemic extension of the situation calculus, a first-order theory of reasoning about action that accommodates sensing actions. In particular, the account is based on a qualitative theory of nondeterminism. Our position is that for commonsense reasoning, the world is (...) most usefully regarded as deterministic, and that nondeterminism is an epistemic phenomenon, arising from an agent’s limited awareness and perception. The account offers several advantages: an agent has a set of categorical beliefs, yet can deal with equally-likely outcomes or with outcomes of differing plausibility. The agent maintains as its set of contingent beliefs the most plausible, or simplest, picture of the world, consistent with its beliefs and actions it believes it executed; yet it may modify these in light of later information. (shrink)

One of the standard principles of rationality guiding traditional accounts of belief change is the principle of minimal change: a reasoner's belief corpus should be modified in a minimal fashion when assimilating new information. This rationality principle has stood belief change in good stead. However, it does not deal properly with all belief change scenarios. We introduce a novel account of belief change motivated by one of Grice's maxims of conversational implicature: the reasoner's belief corpus is modified in a minimal (...) fashion to assimilate exactly the new information. In this form of belief change, when the reasoner revises by new information p ∨ q their belief corpus is modified so that p∨q is believed but stronger propositions like p∧q are not, no matter what beliefs are in the reasoner's initial corpus. We term this conservative belief change since the revised belief corpus is a conservative extension of the original belief corpus given the new information. (shrink)

This special issue presents a selection of papers in Knowledge Representation in Artificial Intelligence , intended to illustrate the depth and breadth of current research in the area. It comes just over 25 years since a similar special issue of the Journal of Philosophical Logic appeared on the topic Philosophical Logic and Artificial Intelligence [15]. This latter special issue covered work addressing the use of logic, in one form or another, for representing and reasoning with knowledge. The papers of the (...) 1988 special issue give a good indication of major themes of research at the time: reasoning about belief and knowledge [5], tractable logical reasoning [10], nonmonotonicity [11], and reasoning about action [13]. These topics can be considered to be centrally in KR; the current issue then also serves to indicate how the field has broadened and evolved over the last 25 years.Traditionally the area of Knowledge Representation has been seen as “the field of study concerned w .. (shrink)

The contributions to the Special Issue on Multiple Belief Change, Iterated Belief Change and Preference Aggregation are divided into three parts. Four contributions are grouped under the heading "multiple belief change" (Part I, with authors M. Falappa, E. Fermé, G. Kern-Isberner, P. Peppas, M. Reis, and G. Simari), five contributions under the heading "iterated belief change" (Part II, with authors G. Bonanno, S.O. Hansson, A. Nayak, M. Orgun, R. Ramachandran, H. Rott, and E. Weydert). These papers do not only pick (...) up the particular questions raised, but also extend and modify the framework of Alchourrón, Gärdenfors and Makinson. Part III deals with preference aggregation and consists of one contribution (by F. Herzberg and D. Eckert). (shrink)

Abstract.The paper outlines the approach to the analysis of deontic conditionals taken in earlier work by Jones and Pörn, compares it very briefly with two main trends within dyadic deontic logic, and then discusses problems associated with the augmentation principle and the factual detachment principle. The author then modifies Jones and Pörn's previous system, using a classical but not normal (in the sense of Chellas) deontic modality to provide the basis for an alternative analysis of deontic conditionals. This new analysis (...) validates neither the factual detachment nor the augmentation principles. However, influenced by the approach of James Delgrande to default reasoning, the author tries to show how a restricted form of factual detachment may be accommodated within the revised system. (shrink)

Organ donation after the circulatory determination of death requires the permanent cessation of circulation while organ donation after the brain determination of death requires the irreversible cessation of brain functions. The unified brain-based determination of death connects the brain and circulatory death criteria for circulatory death determination in organ donation as follows: permanent cessation of systemic circulation causes permanent cessation of brain circulation which causes permanent cessation of brain perfusion which causes permanent cessation of brain function. The relevant circulation that (...) must cease in circulatory death determination is that to the brain. Eliminating brain circulation from the donor ECMO organ perfusion circuit in thoracoabdominal NRP protocols satisfies the unified brain-based determination of death but only if the complete cessation of brain circulation can be proved. Despite its medical and physiologic rationale, the unified brain-based determination of death remains inconsistent with the Uniform Determination of Death Act. (shrink)

There is a significant debate over the moral status of human embryos. This debate has important implications for practices like abortion and IVF. Some argue that embryos have the same moral status as infants, children, and adults. However, critics claim that the frequency of pregnancy loss/miscarriage/spontaneous abortion shows a moral inconsistency in this view. One line of criticism is that those who know the facts about pregnancy loss and nevertheless attempt to conceive children are willing to sacrifice embryos lost for (...) the healthy children they ultimately have. I respond to this criticism and argue that on the most plausible accounts of well-being, these embryos are not made worse off and thus not “sacrifices.” I then make some more general remarks about what people’s typical views about pregnancy loss show about their views toward the moral status of embryos. (shrink)

The past few decades have seen an explosion of research on causal reasoning in philosophy, computer science, and statistics, as well as descriptive work in psychology. In Causation with a Human Face, James Woodward integrates these lines of research and argues for an understanding of how each can inform the other: normative ideas can suggest interesting experiments, while descriptive results can suggest important normative concepts. Woodward's overall framework builds on the interventionist treatment of causation that he developed in Making (...) Things Happen. Normative ideas discussed include proposals about the role of invariant or stable relationships in successful causal reasoning and the notion of proportionality. He argues that these normative ideas are reflected in the causal judgments that people actually make as a descriptive matter. Woodward also discusses the common philosophical practice-particularly salient in philosophical accounts of causation--of appealing to intuitions or judgments about cases in support of philosophical theses. He explores how, properly understood, such appeals are not different in principle from appeals to results from empirical research, and demonstrates how they may serve as a useful source of information about causal cognition. (shrink)

Amie Thomasson’s work provides numerous ways to rethink and improve our approach to metaphysics. This chapter is my attempt to begin to sketch why I still think the easy approach leaves room for substantive metaphysical work, and why I do not think that metaphysics need rely on any ‘epistemically metaphysical’ knowledge. After distinguishing two possible forms of deflationism, I argue that the easy ontologist needs to accept (implicitly or explicitly) that there are worldly constraints on what sorts of entities could (...) exist, and could co-exist. I argue this leaves room for a substantive role for metaphysics if (following the work of E.J. Lowe) we take metaphysics to be concerned with the possible ways that reality could be. I explain how this conception does not need to appeal to any ‘epistemically metaphysical’ knowledge, and need only make use of conceptual and/or empirical means to arrive at views on what could exist (and co-exist). Thus, the answer I propose to the question posed in the title, at least in my view, is no-one. Or, at least, no-one should be afraid of conceptual analysis. Not even metaphysicians. (shrink)

This article develops an interpretation and defense of Husserl’s account of the omnitemporality of idealities. I first examine why Husserl rejects the atemporality and temporal individuation of idealities on phenomenological grounds, specifically that these attributions prove countersensical in how they relate idealities to consciousness. As an alternative to these conceptions, I develop a two-sided interpretation of omnitemporality expressed in modal terms of actuality and possibility, the actual referring to appearances in time and the possible, to reactivation at any time. In (...) defense of this interpretation of omnitemporality, I consider influential criticisms against Husserl’s account of idealities as they concern time, particularly whether the historical genesis of idealities compromises their omnitemporality by binding them to time. Ultimately, I argue that the transcendental historicity of idealities, despite being relevant to the question of validity and access, proves indifferent to their omnitemporality. (shrink)

It is becoming increasingly common for authoritarian regimes to leverage digital technologies to surveil, repress and manipulate their citizens. Experts typically refer to this practice as digital authoritarianism (DA). Existing definitions of DA consistently presuppose a politically repressive agent intentionally exploiting digital technologies to pursue authoritarian ends. I refer to this as the intention-based definition. This paper argues that this definition is untenable as a general description of DA. I begin by illustrating the current predominance of the intention-based definition (Section (...) 2). Section 3 then presents four counterexamples to this definition: benign surveillance; digital sovereignty; attention-harvesting algorithms; and tech-induced loneliness. In each case, we witness authoritarianism being promoted by digital technologies without any evidence of this being intentionally caused by politically repressive agents. Based on these observations, I contend that the intention-based definition is underinclusive and is therefore unsustainable. Section 4 outlines an improved definition of DA – what I call the promotion-based definition. Since this more expansive definition does not posit intentional, politically repressive agency as a precondition of DA, it can accommodate the counterexamples discussed in Section 3. Moreover, it enables us to catch a broader spectrum of cases of DA, such as tech-induced loneliness, which those adhering to the intention-based definition are prone to overlook. After outlining further practical benefits of the promotion-based definition, I argue that we still need to distinguish between intentional and unintentional forms of DA since they call for distinct types of remedial action. -/- . (shrink)

Warren Zevon’s musical career, though brilliant throughout, is particularly notable for its ending: diagnosed with a terminal illness, Zevon refused a potentially debilitating medical treatment to put his remaining energy into recording another album. The resulting record –2003’s 'The Wind' – was in many ways the perfect farewell: songs of dirty, dark, uncompromising, country-tinged rock, blistering guitar solos, all mixed with intelligent, black-as-coal gallows humour. But it was also a moving farewell to his fans, a heartfelt, personal reflection on his (...) life and impending death: it begins with the words “sometimes I feel like my shadow’s casting me” and ends with “keep me in your heart for a while”. 'The Wind' ranks among Zevon’s very best and belongs in the same category as albums like David Bowie’s 'Blackstar' and Leonard Cohen’s 'You Want It Darker': works of great artists that knew the end was coming and made that knowledge musical. But though it had a particular force towards the end, death had always featured as a prominent theme in Zevon’s music. In fact, the albums that preceded his terminal diagnosis – especially 2000’s 'Life’ll Kill Ya' – have a marked preoccupation with death and dying, and many of his song’s characters (gunmen, gangsters, boxers, murderers of all stripes) either dealt death out, died, or both. -/- In this chapter, I argue that Zevon’s music and speech in his late public appearances personify an idea in Martin Heidegger’s philosophy called ‘authentic being-towards-death’. In his landmark text 'Being and Time', Heidegger undertakes a painstaking analysis of human existence. One of its conclusions is that to live a fully authentic life, we must reckon with our mortality, come to terms with it and allow this reckoning to have a transformative effect on how we live and how we think about our existence. This results, Heidegger argues, in a distinct way of being that he calls ‘being-towards-death’ and ‘anticipatory resoluteness’ in the face of death. Authentic being, which involves properly taking ownership of our lives and their meaning, cannot be adequately achieved without a serious confrontation with the fact that we will one day die. I claim that Warren Zevon’s music, with its continual engagement with death which culminates in 'The Wind', is one of the great musical manifestations of exactly this type of project. Heidegger’s writing is often notoriously abstract, but it pertains to the most fundamental issues about what it means to be human. Engaging with it alongside Zevon’s music provides a fruitful opportunity to make it concrete, better able to understand its most important aspects while providing an interesting conceptual toolkit to apply to the music of one of the great songwriters of death. (shrink)

My aim in this paper is to show that the natural idea that humiliation is harmful calls explanation and to argue that the most straightforward ways of responding to this explanatory demand fall short in important ways. I end by considering a line of response which I take to be promising, which appeals to our need, as social animals, for interpersonal connection.

Many people attempt to give meaning to their lives by pursuing projects that they believe will bear fruit after they have died. Knowing that their death will preclude them from protecting or promoting such projects people who draw meaning from them will often attempt to secure their continuance by securing promises from others to serve as their caretakers after they die. But those who rely on such are faced with a problem: None of the four major accounts that have been (...) developed to explain directed promissory obligation (the Authority View, the Trust View, the Assurance View, and the Reliance View) support the view that we are obligated to keep our promises to persons who are now dead. But I will provide hope for those who wish to use such promises to protect the meaning with which they have endowed their lives. I will argue that while we cannot wrong a person who is now dead by breaking a promise made to her during her life, we could wrong the living by so doing. We thus (might) have reason to keep the promises that we made to those who are now dead. (shrink)

Scepticism about ought simpliciter is the view that there is no such thing as what one ought simpliciter to do. Instead, practical deliberation is governed by a plurality of normative standpoints, each authoritative from their own perspective but none authoritative simpliciter. This paper aims to resist such scepticism. After setting out the challenge in general terms, I argue that scepticism can be resisted by rejecting a key assumption in the sceptic’s argument. This is the assumption that standpoint-relative ought judgments bring (...) with them a commitment to act in accordance with those judgments. Instead, I propose an alternative account of our normative concepts according to which only ought simpliciter judgments commit one to acting in accordance with those judgments. In addition to answering the sceptical challenge, the proposal offers an independently motivated account of what makes a concept normatively authoritative. (shrink)

Integrated Information Theory (IIT) identifies consciousness with having a maximum amount of integrated information. But a thing’s having the maximum amount of anything cannot be intrinsic to it, for that depends on how that thing compares to certain other things. IIT’s consciousness, then, is not intrinsic. A mereological argument elaborates this consequence: IIT implies that one physical system can be conscious while a physical duplicate of it is not conscious. Thus, by a common and reasonable conception of intrinsicality, IIT’s consciousness (...) is not intrinsic. It is then argued that to avoid the implication that consciousness is not intrinsic, IIT must abandon its Exclusion Postulate, which prohibits overlapping conscious systems. Indeed, theories of consciousness that attribute consciousness to physical systems, should embrace the view that some conscious systems overlap. A discussion of the admittedly counterintuitive nature of this solution, along with some medical and neuroscientific realities that would seem to support it, is included. (shrink)

This paper explores some issues about the choice of variables for causal representation and explanation. Depending on which variables a researcher employs, many causal inference procedures and many treatments of causation will reach different conclusions about which causal relationships are present in some system of interest. The assumption of this paper is that some choices of variables are superior to other choices for the purpose of causal analysis. A number of possible criteria for variable choice are described and defended within (...) a broadly interventionist approach to causation. (shrink)

This book defends a new interpretation of Hegel's theoretical philosophy, according to which Hegel's project in his central Science of Logic has a single organizing focus, provided by taking metaphysics as fundamental to philosophy, rather than any epistemological problem about knowledge or intentionality. Hegel pursues more specifically the metaphysics of reason, concerned with grounds, reasons, or conditions in terms of which things can be explained-and ultimately with the possibility of complete reasons. There is no threat to such metaphysics in epistemological (...) or skeptical worries. The real threat is Kant's Transcendental Dialectic case that metaphysics comes into conflict with itself. But Hegel, despite familiar worries, has a powerful case that Kant's own insights in the Dialectic can be turned to the purpose of constructive metaphysics. And we can understand in these terms the unified focus of the arguments at the conclusion of Hegel's Science of Logic. Hegel defends, first, his general claim that the reasons which explain things are always found in immanent concepts, universals or kinds. And he will argue from here to conclusions which are distinctive in being metaphysically ambitious yet surprisingly distant from any form of metaphysical foundationalism, whether scientistic, theological, or otherwise. Hegel's project, then, turns out neither Kantian nor Spinozist, but more distinctively his own. Finally, we can still learn a great deal from Hegel about ongoing philosophical debates concerning everything from metaphysics, to the philosophy of science, and all the way to the nature of philosophy itself. (shrink)

A new process philosophy of signs, where process becomes primary, and fixed relation secondary'Behind Red Doors - Signs, Process and the Political' - a post by James Williams on the Edinburgh University Press blogWhat is a sign? We usually think that it is a fixed relation: a red light signifies 'Stop'. In his bold new book, James Williams now argues that signs are varying processes: seeing the red light triggers a creative response to the question, Should I stop?Williams (...) develops this new process philosophy of signs through a formal model, in contrast to earlier structuralist definitions. He draws on the philosophies of Deleuze and Whitehead, criticises earlier work on the sign in biology by Jakob von Uexküll, and connects to contemporary work on process in the philosophy of biology by John Dupré.The process model has wide applications in the arts, humanities and social sciences, and informs their critical debates with science. In defining the sign as essentially political, this radical definition of the sign opens up new possibilities for social and political critique.". (shrink)

While substantial progress has been made in the field known as artificial consciousness, at the present time there is no generally accepted phenomenally conscious machine, nor even a clear route to how one might be produced should we decide to try. Here, we take the position that, from our computer science perspective, a major reason for this is a computational explanatory gap: our inability to understand/explain the implementation of high-level cognitive algorithms in terms of neurocomputational processing. We explain how addressing (...) the computational explanatory gap can identify computational correlates of consciousness. We suggest that bridging this gap is not only critical to further progress in the area of machine consciousness, but would also inform the search for neurobiological correlates of consciousness and would, with high probability, contribute to demystifying the “hard problem” of understanding the mind–brain relationship. We compile a listing of previously proposed computational correlates of consciousness and, based on the results of recent computational modeling, suggest that the gating mechanisms associated with top-down cognitive control of working memory should be added to this list. We conclude that developing neurocognitive architectures that contribute to bridging the computational explanatory gap provides a credible and achievable roadmap to understanding the ultimate prospects for a conscious machine, and to a better understanding of the mind–brain problem in general. (shrink)

This work argues that philosophy is not just useful, but vital, for thinking coherently about priorities in health policy and public policy.

Using yet untapped resources from moral and political philosophy, this book seeks to answer the question of whether an all good God who is presumed to be all powerful is logically compatible with the degree and amount of moral and natural evil that exists in our world. It is widely held by theists and atheists alike that it may be logically impossible for an all good, all powerful God to create a world with moral agents like ourselves that does not (...) also have at least some moral evil in it. James P. Sterba focuses on the further question of whether God is logically compatible with the degree and amount of moral and natural evil that exists in our world. The negative answer he provides marks a new stage in the age-old debate about God's existence. (shrink)

For many years there has been a debate about the role of the parietal lobe in the generation of behavior. Does it generate movement plans (intention) or choose objects in the environment for further processing? To answer this, we focus on the lateral intraparietal area (LIP), an area that has been shown to play independent roles in target selection for saccades and the generation of visual attention. Based on results from a variety of tasks, we propose that LIP acts as (...) a priority map in which objects are represented by activity proportional to their behavioral priority. We present evidence to show that the priority map combines bottom-up inputs like a rapid visual response with an array of top-down signals like a saccade plan. The spatial location representing the peak of the map is used by the oculomotor system to target saccades and by the visual system to guide visual attention. (shrink)

This paper interprets the influential colony management simulator ‘Dwarf Fortress’ existentially, in terms of finitude, absurdity, and narrative. It applies Aarseth/Möring’s proposed method of game interpretation, adopting their definition of ‘cybermedia’ as a generalized game ontology, then providing a specialized ontology of ‘Dwarf Fortress’ which describes its genre and salient gameplay features, incorporating Ian Bogost’s concept of ‘procedural rhetoric’. It then gives an existentialist interpretation of ‘Dwarf Fortress’ which centres on ‘finitude’, ‘absurdity’, and ‘narrative’, showing that ‘Dwarf Fortress’ is a (...) game about the existential tensions involved in being human. We live knowing our lives and civilizations are finite, that there are radical limits on what we can know and do. There is no meaning inherent in the world, or in history, so it is up to us to create our own, and one of our most powerful ways of doing this is narrative. (shrink)

This paper discusses some procedures developed in recent work in machine learning for inferring causal direction from observational data. The role of independence and invariance assumptions is emphasized. Several familiar examples including Hempel’s flagpole problem are explored in the light of these ideas. The framework is then applied to problems having to do with explanatory direction in non-causal explanation.

This article critically analyzes Rawls’s attitude toward envy. In A Theory of Justice, Rawls is predominantly concerned with the threat that class envy poses to political stability. Yet he also briefly discusses the kind of envy that individuals experience toward their social peers, which he calls particular envy, and which I refer to as peer envy. He quickly concludes, however, that particular envy would not present a serious risk to the stability of his just society. In this article, I contest (...) this claim by arguing that the principles that structure Rawls’s ideal society are likely to exacerbate particular envy to a politically risky extent. Section 1 reconstructs his account of envy, giving special attention to his belief that competition kindles envy between peers. Section 2 then examines the way in which Rawls often endorses rivalry within the body politic. I argue that the society governed by justice as fairness is, on account of this rivalry, likely to generate a politically problematic degree of particular envy. In Section 3, I invoke ancient Greece as an example of a society that was, as a result of its intense competitiveness, often imperiled by dangerously elevated levels of peer envy. I then survey the key institutional mechanisms by which the ancient Greeks sought to manage this hazardous emotion. It turns out, however, that most of these mechanisms would be unavailable to Rawls insofar as they starkly contravene his principles of justice. I conclude that if Rawlsians wish to establish a society that fosters rivalry, they would do well to reflect on the means by which peer envy can be effectively harnessed. (shrink)

Argues to reestablish the traditional role of rhetoric in education and discusses the importance of a student's ability to write a reasoned argument.

J. L. Schellenberg's Philosophy of Religion argues for a specific brand of sceptical religion that takes ‘Ultimism’ – the proposition that there is a metaphysically, axiologically, and soteriologically ultimate reality – to be the object to which the sceptical religionist should assent. In this article I shall argue that Ietsism – the proposition that there is merely something transcendental worth committing ourselves to religiously – is a preferable object of assent. This is for two primary reasons. First, Ietsism is far (...) more modest than Ultimism; Ietsism, in fact, is open to the truth of Ultimism, while the converse does not hold. Second, Ietsism can fulfil the same criteria that compel Schellenberg to argue for Ultimism. (shrink)

Surprisingly, the dimples on a golf ball (typically around 300-400) cannot be spaced evenly on the surface. I will explain how this is connected to the Platonic solids. The example is interesting, because it illustrates a difference between efficient and formal causation and explanation. I will discuss a few interesting consequences.

In this paper, I examine Hume’s account of an important class of causal belief which he calls “general rules”. I argue that he understands general rules, like all causal beliefs, as lively ideas which are habitually associated with our impressions or memories. However, I argue, he believes that they are unlike any reflectively produced causal beliefs in that they are produced quickly and automatically, such that they occur independently of any other processes of reasoning. Given this, I argue, Hume appears (...) to understand general rules as relatively simple beliefs, expressible only via generic sentences, like “birds lay eggs”. (shrink)