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)

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

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)

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)

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

A good deal of recent debate over the nature of pleasure and pain has surrounded the alleged phenomenon of unconscious sensory pleasure and pain, or pleasures and pains whose subjects are entirely unaware of them while experiencing them. According to Ben Bramble, these putative pleasures and pains present a problem for attitudinal theories of pleasure and pain, since these theories claim that what makes something a sensory pleasure or pain is that one has a special sort of pro- or con-attitude (...) toward it at the time one experiences it. In this paper, I look at the two existing defenses of attitudinal theories against this worry and explain (following Bramble) that each is inadequate. I show that this inadequacy is in part a result of existing attitudinal theories failing to recognize an important distinction in pro- and con-attitudes, and I propose and defend an amended attitudinal view that does recognize this distinction. I then offer a more promising response to the objection from unconscious sensory pleasures and pains: that experiences of apparently unconscious pleasure or pain only seem pleasant or unpleasant because their subjects are disposed to experience pleasantness or unpleasantness. In this sense, unconscious pleasures and pains are not really pleasures or pains at all. (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)

This paper examines the general prospects for conceptual role expressivism, expressivist theories that embrace conceptual role semantics. It has two main aims. The first aim is to provide a general characterisation of the view. The second aim is to raise a challenge for the general view. The challenge is to explain why normative concepts are not a species of defective concepts, where defective concepts are those that cannot meaningfully embed and participate in genuine inference. After rejecting existing attempts to answer (...) the challenge, I propose an alternative solution. However, the solution leaves conceptual role expressivism a far less distinctive and interesting position than its proponents claim. I conclude that we should be sceptical about how much expressivists gain by appealing to conceptual role semantics. (shrink)

This paper examines the integration and unification of the philosophy and psychology of well-being. For the most part, these disciplines investigate well-being without reference to each other. In recent years, however, with the maturing of each discipline, there have been a growing number of calls to integrate the two. While such calls are welcome, what it means to integrate well-being philosophy and psychology can vary greatly depending on one’s theoretical and practical ends. The aim of this paper is to provide (...) a novel conceptual framework for thinking about integrating well-being philosophy and psychology that systematically categorizes different kinds of integration projects. We divide existing attempts in the literature into three broad categories according to the perspective from which the integration takes place: (1) top-down meta-theoretical unification; (2) psychological integration within philosophy; and (3) philosophical integration within psychology. These categories are then broken down into various further subcategories. Our aim in providing this framework is both to facilitate the assessment and comparison of existing integration attempts and to provide a roadmap for future integration attempts. For each category, we discuss one or two representative examples of the approaches. By doing so, we hope to generate interest in the wide variety of existing integration projects, as well as to generate discussion concerning the benefits and pitfalls of different approaches. (shrink)

Self to Self brings together essays on personal identity, autonomy, and moral emotions by the distinguished philosopher J. David Velleman. Although each of the essays was written as an independent piece, they are unified by an overarching thesis, that there is no single entity denoted by 'the self', as well as by themes from Kantian ethics, psychoanalytic theory, social psychology, and Velleman's work in the philosophy of action. Two of the essays were selected by the editors of Philosophers' Annual as (...) being among the ten best papers in their year of publication. Aimed primarily at professional philosophers and advanced students, Self to Self will also be of interest to psychologists and others who theorize about the self. (shrink)

It has been argued that geoengineering research should not be pursued because of a slippery slope from research to problematic deployment. These arguments have been thought weak or defective on the basis of interpretations that treat the arguments as relying on dubious premises. The paper urges a new interpretation of these arguments as precautionary arguments, i.e. as relying on a precautionary principle. This interpretation helps us better appreciate the potential normative force of the worries, their potential policy relevance, and the (...) kind of evidence required by slippery slope arguments. Understood as precautionary arguments, it is clear that slippery slope arguments against geoengineering capture concerns that are worth taking seriously. (shrink)

Some philosophers working on the epistemology of disagreement claim that conciliationist responses to peer disagreement embody a kind of intellectual humility. Others contend that standing firm or ‘sticking to one's guns’ in the face of peer disagreement may stem from an admirable kind of courage or internal fortitude. In this paper, we report the results of two empirical studies that examine the relationship between conciliationist and steadfast responses to peer disagreement, on the one hand, and virtues such as intellectual humility, (...) courage, grit, and actively open-minded thinking, on the other. We observed positive correlations between measures of conciliationism, intellectual humility, and actively open-minded thinking but failed to find any reliable association between steadfastness, courage, and grit. Our studies reveal that there are at least two important intellectual virtues associated with conciliationist responses to peer disagreement (viz., intellectual humility and actively open-minded thinking) and two vices associated with steadfast responses (intellectual arrogance and myside bias). These findings shed new light on the overall epistemic goodness of the conciliationist perspective. (shrink)

Aesthetic testimony is testimony about aesthetic properties. For example, in aone straightforward case, one person might tell another that something is beautiful. Philosophical discussion about aesthetic testimony centers on the question of whether there are any important differences between aesthetic testimony and testimony about non-aesthetic descriptive matters. In particular, the focus is often on the respective epistemic credentials of aesthetic and non-aesthetic testimony relative to firsthand judgments in the respective domains. Most are inclined to think that in some way and (...) to some degree we typically treat aesthetic testimony as being epistemically inferior to testimony about non-aesthetic matters. Assuming an asymmetry in the way we typically treat aesthetic and non-aesthetic testimony, the philosophical debate then asks a number of questions. Is aesthetic testimony actually epistemically inferior? If so, in what ways, and what explains its inferiority? If not, why do our ordinary ways of thinking, talking, and engaging with aesthetic testimony treat it as being inferior? In this chapter, I consider various ways in which experimental philosophy can contribute to these debates. Drawing on extant work and some new empirical studies, this chapter provides an overview of what experimental philosophy has told us so far, and summarizes the implications for philosophical debate. (shrink)

This paper introduces a novel form of pragmatic encroachment: one that makes a difference to the status of emotion rather than the status of belief. I begin by isolating a distinctive standard in terms of which we can evaluate emotion – one sometimes called “subjective fittingness,” “epistemic justification,” or “warrant.” I then show how this standard for emotion could face a kind of pragmatic encroachment importantly similar to the more familiar encroachment on epistemic standards for belief. Encroachment on warranted emotion (...) is a striking proposal that deserves attention. In fact, there are good reasons to think that encroachment on warranted emotion deserves to be considered the default view for those who already accept pragmatic encroachment on the epistemic status of belief. I support this parity claim by arguing for a principle that establishes a limited coordination between the conditions that warrant emotion and the conditions that justify belief. (shrink)

There are three main accounts of the proper function of the low mood system (LMS): the social risk theory, the disease theory, and the propitiousness theory. Adjudicating between these accounts has proven difficult, as there is little agreement in the literature about what a theory of the LMS’s proper function is supposed to explain. In this article, drawing upon influential work on the evolution of other affective systems, such as the disgust system and the fear system, I argue that a (...) theory of the proper function of the low mood system should: (i) account for the reliable, distal causes and effects of the system’s activation, and (ii) explain how having a system that performed such a function increased fitness in ancestral environments. On this basis, I show that the proper function of the low mood system is to limit resource expenditure in relatively unpropitious circumstances, exactly as hypothesised by the propitiousness theory. (shrink)

The first full-length study of Francesco Patrizi, the greatest political philosopher of the Italian Renaissance prior to Machiavelli. Patrizi was a humanist whose virtue politics-a form of values-based political meritocracy-sought to reconcile the conflicting claims of liberty and equality in service of good governance. He wrote two major works, On Founding Republics (1471) and On Kingship and the Education of Kings (1483/84), both of which were hugely influential when printed in the sixteenth century, but later forgotten.

Ariane Lewis provided an insightful review of several controversial cases of death by neurologic criteria (“brain death”) in the UK, focusing on Archie Battersbee, a boy whose tragic illness provok...

Nair-Collins and Joffe (2023) highlighted the noncongruence between the language of the Uniform Determination of Death Act (UDDA) and the accepted brain death bedside testing standard by showing th...

Limited aggregationists argue that when deciding between competing claims to aid we are sometimes required and sometimes forbidden from aggregating weaker claims to outweigh stronger claims. Joe Horton presents a ‘fatal dilemma’ for these views. Views that land on the First Horn of his dilemma suggest that a previously losing group strengthened by fewer and weaker claims can be more choice-worthy than the previously winning group strengthened by more and stronger claims. Views that land on the Second Horn suggest that (...) combining two losing groups together and two winning groups together can turn the losing groups into the winning groups and the winning groups into the losing groups. This paper demonstrates that the ‘fatal dilemma’ is neither fatal nor a dilemma. The First Horn is devastating but avoidable and the Second Horn is unavoidable but not devastating. Nevertheless, Horton’s argument does help to narrow down the acceptable range of views. (shrink)

Three accounts of effective realism (ER) have been advanced to solve three problems for scientific realism: Fraser and Vickers (forthcoming) develop a version of ER about non-relativistic quantum mechanics that they argue is compatible with all the main realist versions (‘interpretations’) of quantum mechanics avoiding the problem of underdetermination among them; Williams (2019) and Fraser (2020b) propose ER about quantum field theory as a response to the problems facing realist interpretations; Robertson and Wilson (forthcoming) propose ER to deal with the (...) dubious ontological status of the entities belonging to superseded theories. This paper argues for the unification of these proposals based on realism about modal structure and the idea of scale relativity of ontology developed by ontic structural realists. This solves problems some or all the accounts of ER face, especially that of making explicit in what way they are realist. Furthermore, we respond to a recent critique that has been raised against the ontic structural realist account of quantum mechanics that we employ. (shrink)

Homotopy Type Theory is a putative new foundation for mathematics grounded in constructive intensional type theory that offers an alternative to the foundations provided by ZFC set theory and category theory. This article explains and motivates an account of how to define, justify, and think about HoTT in a way that is self-contained, and argues that, so construed, it is a candidate for being an autonomous foundation for mathematics. We first consider various questions that a foundation for mathematics might be (...) expected to answer, and find that many of them are not answered by the standard formulation of HoTT as presented in the ‘HoTT Book’. More importantly, the presentation of HoTT given in the HoTT Book is not autonomous since it explicitly depends upon other fields of mathematics, in particular homotopy theory. We give an alternative presentation of HoTT that does not depend upon ideas from other parts of mathematics, and in particular makes no reference to homotopy theory, and argue that it is a candidate autonomous foundation for mathematics. Our elaboration of HoTT is based on a new interpretation of types as mathematical concepts, which accords with the intensional nature of the type theory. 1 Introduction2 What Is a Foundation for Mathematics?2.1 A characterization of a foundation for mathematics2.2 Autonomy3 The Basic Features of Homotopy Type Theory3.1 The rules3.2 The basic ways to construct types3.3 Types as propositions and propositions as types3.4 Identity3.5 The homotopy interpretation4 Autonomy of the Standard Presentation?5 The Interpretation of Tokens and Types5.1 Tokens as mathematical objects?5.2 Tokens and types as concepts6 Justifying the Elimination Rule for Identity7 The Foundations of Homotopy Type Theory without Homotopy7.1 Framework7.2 Semantics7.3 Metaphysics7.4 Epistemology7.5 Methodology8 Possible Objections to this Account8.1 A constructive foundation for mathematics?8.2 What are concepts?8.3 Isn’t this just Brouwerian intuitionism?8.4 Duplicated objects8.5 Intensionality and substitution salva veritate9 Conclusion9.1 Advantages of this foundation. (shrink)

Why you are a different you at different times and how that's both normal and healthy. Reveals that each of us is made up of multiple selves, any of which can come to the forefront in different situations. Offers examples of healthy multiple selves from psychology, neuroscience, pop culture, literature, and ancient cultures and traditions. Explores how to harmonize our selves and learn to access whichever one is best for a given situation.

Autonomy has recently become one of the central concepts in contemporary moral philosophy and has generated much debate over its nature and value. This 2005 volume brings together essays that address the theoretical foundations of the concept of autonomy, as well as essays that investigate the relationship between autonomy and moral responsibility, freedom, political philosophy, and medical ethics. Written by some of the most prominent philosophers working in these areas, this book represents research on the nature and value of autonomy (...) that will be essential reading for a broad swathe of philosophers as well as many psychologists. (shrink)