In this paper we analyze how the semantics of the Alternating-time Temporal Logic ATL$^*$ deals with agents' commitments to strategies in the process of formula evaluation. In (\acro{atl}$^*$), one can express statements about the strategic ability of an agent (or a coalition of agents) to achieve a goal $\phi$ such as: ``agent $i$ can choose a strategy such that, if $i$ follows this strategy then, no matter what other agents do, $\phi$ will always be true''. However, strategies in \acro{atl} are (...) \emph{revocable} in the sense that in the evaluation of the goal $\phi$ the agent $i$ is no longer restricted by the strategy she has chosen in order to reach the state where the goal is evaluated. -/- Here we discuss some alternatives leading to amendments of that semantics. In particular, we consider variants of \acro{atl}$^*$ where strategies, on the contrary, are \emph{irrevocable}. Unlike in the standard semantics of \acro{atl}, memory plays an essential role in the semantics based on irrevocable strategies. -/- Further, we propose and discuss various syntactic and semantics mechanisms for handling commitments to strategies and release from such commitments in the semantics of ATL$^*$, leading to more expressive and semantically refined versions of that logic. (shrink)

Arguably the biggest challenge in analyzing English tense is to account for the double access interpretation, which arises when a present tensed verb is embedded under a past attitude—e.g., "John said that Mary is pregnant". Present-under-past does not always result in a felicitous utterance, however—cf. "John believed that Mary is pregnant". While such oddity has been noted, the contrast has never been explained. In fact, English grammars and manuals generally prohibit present-under-past. Work on double access, on the other hand, has (...) either disregarded the oddity (e.g., Abusch 1997: 39) or treated it as a reflex of a particular dialect (e.g., Kratzer 1998: 14). The goal of the paper is to argue—based on a corpus study—that a present-under-past sentence is grammatical, but modulated by two, interacting pragmatic phenomena: cessation and parentheticality. (shrink)

The author of the monograph is a Candidate of Culturology, Associate Professor of Tyumen State University. The monograph tests approaches to the understanding of the essence of Hobbes’s and Locke’s ideas about miracles that are more flexible than a formational-evolutionist approach. The monograph presents the main characteristics of these ideas as Christian philosophical ones, shows their general Christian direction and the historiographic perspective of studying these ideas primarily in line with Christian philosophy. The monograph is intended for experts in the (...) history of philosophy, the history of ideas, theology, religious studies, historical anthropology, as well as for those interested in the problems of historical-philosophical knowledge. Автор монографии – кандидат культурологии, доцент Тюменского государственного университета. В монографии апробируются более гибкие подходы к пониманию сущности идей Гоббса и Локка о чудесах по сравнению с формационно-эволюционистским подходом. Представлены основные характеристики идей Гоббса и Локка о чудесах как христианских философских идей. Показана общехристианская направленность идей Гоббса и Локка о чудесах и историографическая перспективность изучения этих идей в первую очередь как христианских философских идей. Монография рассчитана на специалистов в области истории философии, истории идей, теологии, религиоведения, исторической антропологии, а также на всех, кто интересуется проблемами историко-философского знания. (shrink)

We begin by showing that every theory of the value of uncertain prospects must have one of three unpalatable properties. _Reckless_ theories recommend giving up a sure thing, no matter how good, for an arbitrarily tiny chance of enormous gain; _timid_ theories permit passing up an arbitrarily large potential gain to prevent a tiny increase in risk; _non-transitive_ theories deny the principle that, if A is better than B and B is better than C, then A must be better than (...) C. Having set up this trilemma, we study its horns. Non-transitivity has been much discussed; we focus on drawing out the costs and benefits of recklessness and timidity when it comes to axiology, decision theory, and normative uncertainty. (shrink)

Products made from animal fur and skin have been a major part of human civilization. However, in modern society, the unsustainable consumption of these products – often considered luxury goods – has many negative environmental impacts. This study explores how people’s perceptions of biodiversity affect their attitudes and behaviors toward consumption. To investigate the information process deeper, we add the moderation of beliefs about biodiversity loss. Following the Bayesian Mindsponge Framework (BMF) analytics, we use mindsponge-based reasoning to construct conceptual models (...) and employ Bayesian analysis aided by Markov Chain Monte Carlo (MCMC) algorithms on a 535 Vietnamese urban residents dataset. The results show that people’s preference for using products made from animal skin/fur is negatively associated with the perceived consequences of biodiversity loss when they believe biodiversity loss is a major problem. In contrast, if urban residents believe biodiversity loss is unreal or not a significant issue, the association between perceived consequences of biodiversity loss and personal preference happens in the opposite direction. The same effects of biodiversity loss perception on people’s possession of skin/fur products were not found, indicating a more complex information process on behaviors compared to attitudes. Nevertheless, in the scenario that people believe biodiversity loss is not a significant issue, the higher the perceived consequences of biodiversity loss are the greater number of animal-based products they likely own. Our results suggest that policymakers should not neglect the factor of personal belief besides knowledge and awareness in environmental campaigns. (shrink)

The goal of this short chapter, aimed at philosophers, is to provide an overview and brief explanation of some central concepts involved in predictive processing (PP). Even those who consider themselves experts on the topic may find it helpful to see how the central terms are used in this collection. To keep things simple, we will first informally define a set of features important to predictive processing, supplemented by some short explanations and an alphabetic glossary. -/- The features described here (...) are not shared in all PP accounts. Some may not be necessary for an individual model; others may be contested. Indeed, not even all authors of this collection will accept all of them. To make this transparent, we have encouraged contributors to indicate briefly which of the features are necessary to support the arguments they provide, and which (if any) are incompatible with their account. For the sake of clarity, we provide the complete list here, very roughly ordered by how central we take them to be for “Vanilla PP” (i.e., a formulation of predictive processing that will probably be accepted by most researchers working on this topic). More detailed explanations will be given below. Note that these features do not specify individually necessary and jointly sufficient conditions for the application of the concept of “predictive processing”. All we currently have is a semantic cluster, with perhaps some overlapping sets of jointly sufficient criteria. The framework is still developing, and it is difficult, maybe impossible, to provide theory-neutral explanations of all PP ideas without already introducing strong background assumptions. (shrink)

Deflationists claim that the truth predicate was introduced into our language merely to full a certain logico-linguistic function. Oddly enough, the question what this function exactly consists in has received little attention. We argue that the best way of understanding the function of the truth predicate is as enabling us to mimic higher-order quantification in a first-order framework. Indeed, one can show that the full simple theory of types is reducible to disquotational principles of truth. Our analysis has important consequences (...) for our understanding of truth. In this paper, we can only touch on one of them: we will argue that the insubstantiality of truth does not imply a conservativity requirement on our best theories of truth. (shrink)

In the wake of the non-ideal theory turn in political philosophy, few have paused to ask: Is non-ideal theory a form of ideology? And perhaps even fewer have paused to ask: Is the debate between ideal/non-ideal theorists itself a form of ideology? To the first question, I argue that non-ideal theory is ideological in virtue of the fact that it rules out more utopian ways of theorizing by methodological fiat, and in so doing, risks entrenching an unjust status quo. To (...) the second question, I argue that the debate between ideal/non-ideal theorists is itself a form of ideology, one which serves to reinforce the status quo by convincing political philosophers/theorists that the most pressing problems are problems about what we should think about what we are doing. But this is false. An upshot of my argument is that we ought to abandon the ideal/non-ideal theory debate and address the pressing problems of political philosophy head-on in pluralist fashion, oscillating back and forth between these two modes of theorizing without a decision procedure to tell us when we should take up one perspective or the other. (shrink)

A number of concerns have been raised about the possible future use of pharmaceuticals designed to enhance cognitive, affective, and motivational processes, particularly where the aim is to produce morally better decisions or behavior. In this article, we draw attention to what is arguably a more worrying possibility: that pharmaceuticals currently in widespread therapeutic use are already having unintended effects on these processes, and thus on moral decision making and morally significant behavior. We review current evidence on the moral effects (...) of three widely used drugs or drug types: propranolol, selective serotonin reuptake inhibitors, and drugs that effect oxytocin physiology. This evidence suggests that the alterations to moral decision making and behavior caused by these agents may have important and difficult-to-evaluate consequences, at least at the population level. We argue that the moral effects of these and other widely used pharmaceuticals warrant further empirical research and ethical analysis. (shrink)

A wide family of many-valued logics—for instance, those based on the weak Kleene algebra—includes a non-classical truth-value that is ‘contaminating’ in the sense that whenever the value is assigned to a formula φ⁠, any complex formula in which φ appears is assigned that value as well. In such systems, the contaminating value enjoys a wide range of interpretations, suggesting scenarios in which more than one of these interpretations are called for. This calls for an evaluation of systems with multiple contaminating (...) values. In this paper, we consider the countably infinite family of multiple-conclusion consequence relations in which classical logic is enriched with one or more contaminating values whose behavior is determined by a linear ordering between them. We consider some motivations and applications for such systems and provide general characterizations for all consequence relations in this family. Finally, we provide sequent calculi for a pair of four-valued logics including two linearly ordered contaminating values before defining two-sided sequent calculi corresponding to each of the infinite family of many-valued logics studied in this paper. (shrink)

Many philosophers believe that luck egalitarianism captures “desert-like” intuitions about justice. Some even think that luck egalitariansm distributes goods in accordance with desert. In this paper, we argue that this is wrong. Desertism conflicts with luck egalitarianism in three important contexts, and, in these contexts, desertism renders the proper moral judgment. First, compared to desertism, luck egalitarianism is sometimes too stingy: it fails to justly compensate people for their socially valuable contributions—when those contributions arose from “option luck”. Second, luck egalitarianism (...) is sometimes too restrictive: it fails to justly compensate people who make a social contribution when that contribution arose from “brute luck”. Third, luck egalitarianism is too limited in scope: it cannot diagnose economic injustice arising independently of comparative levels of justice. The lesson of this paper is that luck egalitarians should consider supplementing their theory with desert considerations. Or, even better, consider desertism as a superior alternative to their theory. (shrink)

Husserl’s early picture of explanation in the sciences has never been completely provided. This lack represents an oversight, which we here redress. In contrast to currently accepted interpretations, we demonstrate that Husserl does not adhere to the much maligned deductive-nomological (DN) model of scientific explanation. Instead, via a close reading of early Husserlian texts, we reveal that he presents a unificationist account of scientific explanation. By doing so, we disclose that Husserl’s philosophy of scientific explanation is no mere anachronism. It (...) is, instead, tenable and relevant. We discuss how Husserl and other contemporary thinkers draw theoretical inspiration from the same source—namely, Bernard Bolzano. Husserl’s theory of scientific explanation shares a common language and discusses the same themes as, for example, Phillip Kitcher and Kit Fine. To advance our novel reading, we discuss Husserl’s investigations of grounding, inter-lawful explanation, intra-mathematical explanation, and scientific unification. (shrink)

The basis of perception is the processing and categorization of perceptual stimuli from the environment. Much progress has been made in the science of perceptual categorization. Yet there is still no consensus on how the brain generates sensory individuals, from sensory input and perceptual categories in memory. This chapter argues that perceptual categorization is highly variable across perceivers due to their use of different perceptual strategies for solving perceptual problems they encounter, and that the perceptual system structurally adjusts to the (...) strategies that are most successful. Despite this variability, the different sensory individuals that result when different perceivers rely on different strategies nonetheless correspond to actual external world objects/features. This view is called 'perceptual pluralism'. (shrink)

What requirements must deflationary formal theories of truth satisfy? This chapter argues against the widely accepted view that compositional and Tarskian theories of truth are substantial or otherwise unacceptable to deflationists. First, two purposes that a formal truth theory can serve are distinguished: one descriptive, the other logical (i.e., to characterise the correctness of inferences involving ‘true’). The chapter argues that the most compelling arguments for the incompatibility of compositional and Tarskian theories concern descriptive theories only. -/- Second, two requirements (...) that any deflationist truth theory intended to serve a logical purpose must satisfy are put forward. These requirements, it is argued, suggest that (i) many well-known compositional and Tarskian theories are acceptable from a deflationist standpoint (including CT); (ii) certain other popular theories of truth (including KF and FS) are not similarly acceptable; (iii) there are no conclusive reasons to impose a conservativeness requirement on deflationary theories of truth. (shrink)

Through modern driver assistant systems, algorithmic decisions already have a significant impact on the behavior of vehicles in everyday traffic. This will become even more prominent in the near future considering the development of autonomous driving functionality. The need to consider ethical principles in the design of such systems is generally acknowledged. However, scope, principles and strategies for their implementations are not yet clear. Most of the current discussions concentrate on situations of unavoidable crashes in which the life of human (...) beings is existentially affected. In this paper, we argue that ethical considerations should be mandatory for any algorithmic decision of autonomous vehicles, instead of a limitation to hazard situations. Such an ethically aligned behavior is relevant because autonomous vehicles, like any other traffic participants, operate in a shared public space, where every behavioral decision impacts the operational possibilities of others. These possibilities concern the fulfillment of a road-user’s safety, utility and comfort needs. We propose that, to operate ethically in such space, an autonomous vehicle will have to take its behavior decisions according to a just distribution of operational possibilities among all traffic participants. Using an application on a partially-autonomous prototype vehicle, we describe how to apply and implement concepts of distributive justice to the driving environment and demonstrate the impact on its behavior in comparison to an advanced but egoistic decision maker. (shrink)

Some research suggests that moral behavior can be strongly influenced by trivial features of the environment of which we are completely unaware. Philosophers, psychologists, and neuroscientists have argued that these findings undermine our commonsense notions of agency and responsibility, both of which emphasize the role of practical reasoning and conscious deliberation in action. We present the results of four vignette-based studies (N = 1,437) designed to investigate how people think about the metaphysical and moral implications of scientific findings that reveal (...) our susceptibility to automaticity and situational influences. When presented with lightly fictionalized narratives about these findings, participants exhibit no tendency toward changing judgments of freedom and responsibility compared to control groups. This suggests that people seem unwilling to adopt skeptical attitudes about agency on the basis of these scientific findings. (shrink)

This anthology focuses on “practical” forms and expressions of knowledge, like thinking through artistic media or by crafting things out of materials. The ten chapters follow and review various tracks in conceptions of contemporary knowledge, exploring human knowledge and experience from the perspective of human activities or practices, professional, artistic, domestic, or whatever. A guiding idea is that human knowledge seldom, perhaps never, fits into the traditional dualism between thinking and doing. -/- The chapters are written by philosophers and musicians (...) – some with a double experience as artists and theoreticians. The themes are philosophical, but above all, they touch on questions that are essential for how we understand ourselves as thinking and playing bodies, indeed as parts of nature. The book does not propose one single “theory of knowledge” but steps towards a more diverse and open attitude to the meaning of knowledge. -/- We hope that the texts will be of interest and useful in both disciplinebased and professional education: in philosophy, art schools, tea cher education, and in other programmes where tacit and practical knowledge are essential for the (future) practitioners. It is possible to independently read, and profit from, most of the chapters. (shrink)

Self-enhancing statements can provide useful information. Why do we resent those who make them? We suggest that the resentment comes from a broader claim of superiority that self-enhancing statements can imply. In three experiments, we compared one condition, designed such that the self-enhancing claim would be perceived as a claim of superiority, to three conditions providing different contextual reasons for why the self-enhancing claim might not be a claim of superiority. In those conditions the self-enhancing claim is either called for, (...) addressed to someone who performs better than the self-enhancer, or addressed to someone who doesn’t compete in the domain mentioned of the self-enhancing claim. The results show that participants disliked the self-enhancer more and were more likely to deem the self-enhancing claim to be a brag when the self-enhancing claim was manipulated to be a claim of superiority. (shrink)

In this chapter we will explore new avenues for developing and defending Naïve Realism (also known as Relationalism), understood as a thesis about the phenomenal character of experience. The core claim of Naive Realism is that ‘what it’s like’ for a subject who enjoys a normal, successful perceptual experience of her surroundings consists in her being directly consciously aware of mind-independent entities in her external environment. It is widely agreed that the strongest challenge to Naïve Realism comes from the alleged (...) possibility of total hallucinations, and the orthodox line of response has been to adopt Disjunctivism about perceptual experience. In this chapter, we will instead focus on an emerging alternative family of responses, which we’ll call ‘New Wave Relationalism’ (NWR). The core commitment of NWR is to reject the initial assumption that there can be total hallucinations that are both non-relational and subjectively indistinguishable from genuine perceptions. The primary aim for this chapter will be to explore and defend this broad NWR strategy for responding to the threat posed by hallucinations to Naïve Realism. We will argue that which specific version or species of NWR a Naïve Realist should adopt will depend on their background methodological and metaphysical commitments. (shrink)

Complete deductive systems are constructed for the non-valid (refutable) formulae and sequents of some propositional modal logics. Thus, complete syntactic characterizations in the sense of Lukasiewicz are established for these logics and, in particular, purely syntactic decision procedures for them are obtained. The paper also contains some historical remarks and a general discussion on refutation systems.

We introduce and study hierarchies of extensions of the propositional modal and temporal languages with pairs of new syntactic devices: point of reference-reference pointer which enable semantic references to be made within a formula. We propose three different but equivalent semantics for the extended languages, discuss and compare their expressiveness. The languages with reference pointers are shown to have great expressive power (especially when their frugal syntax is taken into account), perspicuous semantics, and simple deductive systems. For instance, Kamp's and (...) Stavi's temporal operators, as well as nominals (names, clock variables), are definable in them. Universal validity in these languages is proved undecidable. The basic modal and temporal logics with reference pointers are uniformly axiomatized and a strong completeness theorem is proved for them and extended to some classes of their extensions. (shrink)

In the recent epistemological literature much has been written about the nature of suspending judgement or agnosticism. There has also been a surge of recent interest in the nature of ignorance. But what is the relationship between these two epistemically significant states? Prima facie, both suspension and ignorance seem to involve the lack of a correct answer to a question. And, again prima facie, there may be some intuitive attraction to the idea that when one is ignorant whether p, one (...) ought to suspend judgement whether p. In this paper we will explore a range of different possible normative connections between ignorance and suspension of judgement. We will also discuss how both ignorance and suspension are related to having inconclusive evidence. As we will see, the issues can become quite complex due to the fact that there are different, competing views about the nature of ignorance and also about the nature of suspension. Moreover, there are importantly different kinds of epistemic norms. Our overall aim then will be to systematically chart how these different choices will impact the possible normative connections between ignorance and suspension. (shrink)

This special issue is about something most of us might find very hard to conceive: states of consciousness in which self-consciousness is radically disrupted or altogether missing.

Response to commentary. We are grateful to Crockett and Craigie for their interesting remarks on our paper. We accept Crockett’s claim that there is a need for caution in drawing inferences about patient groups from work on healthy volunteers in the laboratory. However, we believe that the evidence we cited established a strong presumption that many of the patients who are routinely taking a medication, including many people properly prescribed the medication for a medical condition, have morally significant aspects of (...) their cognition and behavior modified in a way that is unintended and may sometimes be unwelcome. Crockett notes that in some cases the effects of long-term drug use may differ, sometimes markedly, from the effects of short-term use. However, if acute use of a drug affects a neural system involved in mediating moral cognition or behavior, this nevertheless provides some evidence that chronic use of the drug may affect that same system and thus have morally significant effects. It is also plausible, in some cases, that an acute moral effect would give rise to a chronic moral effect via cognitive mechanisms. ... (shrink)

Whether visual perceptual consciousness is gradable or dichotomous has been the subject of fierce debate in recent years. If perceptual consciousness is gradable, perceivers may have less than full access to—and thus be less than fully phenomenally aware of—perceptual information that is represented in working memory. This raises the question: In virtue of what can a subject be less than fully perceptually conscious? In this chapter, we provide an answer to this question, according to which inexact categorizations of visual input (...) may result in a representation of the visual information in working memory that is less than fully available to the perceiver, and of which the perceiver is therefore less than fully phenomenally aware. The latter proposal is a natural extension of a theory of perception we have proposed in previous works, namely, the template tuning theory (TTT). We argue that although TTT is compatible with both gradable and dichotomous conceptions of perceptual consciousness, the available empirical evidence favours a gradable conception of perceptual consciousness. (shrink)

In this paper, I set out some basic elements of a deontic logic with an implementation appropriate for handling conflicting legal obligations for purposes of programming autonomous machine agents. Kantian justice demands that the prescriptive system of enforceable public laws be consistent, yet statutes or case holdings may often describe legal obligations that contradict; moreover, even fundamental constitutional rights may come into conflict. I argue that a deontic logic of the law should not try to work around such conflicts but, (...) instead, identify and expose them so that the rights and duties that generate inconsistencies in public law can be explicitly qualified and the conflicts resolved. I then argue that a credulous, non-monotonic deontic logic can describe inconsistent legal obligations while meeting Kant’s demand for consistency in the prescriptive system of public law. Finally, I propose an implementation of this logic via a modified form of “answer set programming,” which I demonstrate with some simple examples. (shrink)

It is often thought that traditional recidivism prediction tools used in criminal sentencing, though biased in many ways, can straightforwardly avoid one particularly pernicious type of bias: direct racial discrimination. They can avoid this by excluding race from the list of variables employed to predict recidivism. A similar approach could be taken to the design of newer, machine learning-based (ML) tools for predicting recidivism: information about race could be withheld from the ML tool during its training phase, ensuring that the (...) resulting predictive model does not use race as an explicit predictor. However, if race is correlated with measured recidivism in the training data, the ML tool may ‘learn’ a perfect proxy for race. If such a proxy is found, the exclusion of race would do nothing to weaken the correlation between risk (mis)classifications and race. Is this a problem? We argue that, on some explanations of the wrongness of discrimination, it is. On these explanations, the use of an ML tool that perfectly proxies race would (likely) be more wrong than the use of a traditional tool that imperfectly proxies race. Indeed, on some views, use of a perfect proxy for race is plausibly as wrong as explicit racial profiling. We end by drawing out four implications of our arguments. (shrink)

This paper deals with, prepositional calculi with strong negation (N-logics) in which the Craig interpolation theorem holds. N-logics are defined to be axiomatic strengthenings of the intuitionistic calculus enriched with a unary connective called strong negation. There exists continuum of N-logics, but the Craig interpolation theorem holds only in 14 of them.

Antimicrobial resistance (AMR) is a global public health disaster driven largely by antibiotic use in human health care. Doctors considering whether to prescribe antibiotics face an ethical conflict between upholding individual patient health and advancing public health aims. Existing literature mainly examines whether patients awaiting consultations desire or expect to receive antibiotic prescriptions, but does not report views of the wider public regarding conditions under which doctors should prescribe antibiotics. It also does not explore the ethical significance of public views (...) or their sensitivity to awareness of AMR risks or the standpoint (self-interested or impartial) taken by participants. Methods: An online survey was conducted with a sample of the U.S. public (n = 158). Participants were asked to indicate what relative priority should be given to individual patients and society-at-large from various standpoints and in various contexts, including antibiotic prescription. Results: Of the participants, 50.3% thought that doctors should generally prioritize individual patients over society, whereas 32.0% prioritized society over individual patients. When asked in the context of AMR, 39.2% prioritized individuals whereas 45.5% prioritized society. Participants were significantly less willing to prioritize society over individuals when they themselves were the patient, both in general (p = .001) and in relation to AMR specifically (p = .006). Conclusions: Participants’ attitudes were more oriented to society and sensitive to collective responsibility when informed about the social costs of antibiotic use and when considered from a third-person rather than first-person perspective. That is, as participants came closer to taking the perspective of an informed and impartial “ideal observer,” their support for prioritizing society increased. Our findings suggest that, insofar as antibiotic policies and practices should be informed by attitudes that are impartial and well-informed, there is significant support for prioritizing society. (shrink)

Consciousness and evolution are complex phenomena. It is sometimes thought that if adaptation explanations for some varieties of consciousness, say, conscious visual perception, can be had, then we may be reassured that at least those kinds of consciousness are not epiphenomena. But what if other varieties of consciousness, for example, dreams, are not adaptations? We sort out the connections among evolution, adaptation, and epiphenomenalism in order to show that the consequences for the nature and causal efficacy of consciousness are not (...) as dire as has sometimes been supposed. (shrink)

Arthur Ripstein’s conception of Kantian freedom has exerted an enormous recent influence on scholars of Kant’s political philosophy; however, the conception seems to me flawed. In this paper, I argue that Ripstein’s conception of Kantian freedom as “your capacity to choose the ends you will use your means to pursue” – your “purposiveness” – is both too narrow and too broad: (1) Wrongful acts such as coercive threats cannot choose my ends for me; instead, such acts wrongfully restrict my perceived (...) options. And (2) rightful changes to the context in which I choose that render my means insufficient for my ends restrict my capacity to choose them. Alternatively, my purposiveness reduces to my entitlements; but then freedom as purposiveness is viciously circular or fails as a new approach to the “devastating” objection that motivates it. (shrink)

The paper deals with polymodal languages combined with standard semantics defined by means of some conditions on the frames. So, a notion of "polymodal base" arises which provides various enrichments of the classical modal language. One of these enrichments, viz. the base £(R,-R), with modalities over a relation and over its complement, is the paper's main paradigm. The modal definability (in the spirit of van Benthem's correspondence theory) of arbitrary and ~-elementary classes of frames in this base and in some (...) of its extensions, e.g., £(R,-R,R-1 ,_R-1), £(R,-R,=I=) etc., is described, and numerous examples of conditions definable there, as well as undefinable ones, are adduced. (shrink)

The central challenge of “machine ethics” is to build autonomous machine agents that act morally rightly. But how can we build autonomous machine agents that act morally rightly, given reasonable disputes over what is right and wrong in particular cases? In this chapter, I argue that Immanuel Kant’s political philosophy can provide an important part of the answer.

Predictive processing models of perception take issue with standard models of perception as hierarchical bottom-up processing modulated by memory and attention. The predictive framework posits that the brain generates predictions about stimuli, which are matched to the incoming signal. Mismatches between predictions and the incoming signal – so-called prediction errors – are then used to generate new and better predictions until the prediction errors have been minimized, at which point a perception arises. Predictive models hold that all bottom-up processes are (...) signals conveying prediction errors to higher areas, which respond by updating their predictions. We take issue with this claim and argue that object recognition requires bottom-up processing that cannot be understood in terms of prediction errors. Along the way, we expand on previous work casting doubt on the framework's ability to account for attention. Specifically, we argue that the type of attention that allows us to rapidly extract the gist of an object or scene presents an additional challenge to the predictive approach. We conclude by considering how the framework may be augmented to avoid these problems. (shrink)

A central tenet of medical ethics holds that it is permissible to perform a medical intervention on a competent individual only if that individual has given informed consent to the intervention. However, in some circumstances it is tempting to say that the moral reason to obtain informed consent prior to administering a medical intervention is outweighed. For example, if an individual’s refusal to undergo a medical intervention would lead to the transmission of a dangerous infectious disease to other members of (...) the community, one might claim that it would be morally permissible to administer the intervention even in the absence of consent. Indeed, as we shall discuss below, there are a number of examples of public health authorities implementing compulsory or coercive measures for the purposes of infectious disease control (IDC). The plausibility of the thought that non-consensual medical interventions might be justified when performed for the purpose of IDC raises the question of whether such interventions might permissibly be used to realize other public goods. In this article we focus on one possibility: whether it could be permissible to non-consensually impose certain interventions that alter brain states or processes through chemical or physical means on serious criminal offenders. We shall suggest that some such interventions might be permissible if they safely and effectively serve to facilitate the offender’s rehabilitation and thereby prevent criminal recidivism. (shrink)

In this paper, I set out a new Kantian approach to resolving conflicts between moral obligations for highly autonomous machine agents. First, I argue that efforts to build explicitly moral autonomous machine agents should focus on what Kant refers to as duties of right, which are duties that everyone could accept, rather than on duties of virtue (or “ethics”), which are subject to dispute in particular cases. “Moral” machines must first be rightful machines, I argue. I then show how this (...) shift in focus from ethics to a standard of public right resolves the conflicts in what is known as the "trolley problem" for autonomous ma-chine agents. Finally, I consider how a deontic logic suitable for capturing duties of right might meet Kant’s requirement that rightfully enforceable obligations be consistent in a system of equal freedom under universal law. (shrink)

The publication in 2015 (ed. Li) of Chap. 6 of the rediscovered Sanskrit text of Candrakīrti’s Madhyamakāvatāra (MA) allows us to witness more directly Candrakīrti’s careful and deliberate critique of the ‘chariot argument’ for the merely conventional existence of the self in Indian Abhidharmic thought. I argue that in MA 6.140–141, Candrakīrti alludes to the use of the chariot argument in the Milindapañha as negating only the view of a permanent self (compared to an elephant), rather than negating ego-identification (compared (...) to a snake in its hole). In contrast to this misuse of the chariot argument, in MA 6.150–165 Candrakīrti uses the chariot argument as an allegory to enable the meditator to refute the basis of ego-identification in seven ways. Candrakīrti’s use of the chariot argument does not establish any theory about the self or not-self, but acts as a guide to meditation as part of philosophy as a spiritual practice with the goal of liberation. (shrink)

Selection against embryos that are predisposed to develop disabilities is one of the less controversial uses of embryo selection technologies. Many bio-conservatives argue that while the use of ESTs to select for non-disease-related traits, such as height and eye-colour, should be banned, their use to avoid disease and disability should be permitted. Nevertheless, there remains significant opposition, particularly from the disability rights movement, to the use of ESTs to select against disability. In this article we examine whether and why the (...) state could be justified in restricting the use of ESTs to select against disability. We first outline the challenge posed by proponents of ‘liberal eugenics’. Liberal eugenicists challenge those who defend restrictions on the use of ESTs to show why the use of these technologies would create a harm of the type and magnitude required to justify coercive measures. We argue that this challenge could be met by adverting to the risk of harms to future persons that would result from a loss of certain forms of cognitive diversity. We suggest that this risk establishes a pro tanto case for restricting selection against some disabilities, including dyslexia and Asperger's syndrome. (shrink)

Are demands for equality motivated by envy? Nietzsche, Freud, Hayek, and Nozick all thought so. Call this the Envy Objection. For egalitarians, the Envy Objection is meant to sting. Many egalitarians have tried to evade the Envy Objection.. But should egalitarians be worried about envy? In this paper, I argue that egalitarians should stop worrying and learn to love envy. I argue that the persistent unwillingness to embrace the Envy Objection is rooted in a common misunderstanding of the nature of (...) the charge, what it reveals, and what can be said in response to it. I develop what Bernard Williams might call a vindicatory genealogy of envy, thereby allowing us to see that envy, rather than undermining egalitarian intuitions, can in fact play a distinct justificatory role (when it is fitting), which undermines the Envy Objection. (shrink)

This essay disambiguates the relationship between phenomenology and explanation, whereby we uncover a fundamentally new way to understand the function of phenomenology within the sciences. These objectives are accomplished in two stages. First, we propose an original way to interpret Husserl's claim that his phenomenology is non-explanatory. We demonstrate, contra accepted interpretations, that Husserl did not think phenomenology is non-explanatory, because it is descriptive or because it does not deal with causes. Instead, we demonstrate that Husserl concluded that phenomenology is (...) non-explanatory, because it engages in a dialectical process of conceptual clarification. To substantiate this interpretation, we examine how Husserl understood the function of explanation in three different tiers of standard science and how he grasped the role of phenomenology in pure logic. Having properly clarified Husserl's conclusion—that phenomenology is non-explanatory—we then execute our second task, namely to challenge just that idea. We argue that Husserl has—despite his claims to the contrary—de facto and inadvertently described his phenomenology as an explanatory nomological science. Our paper therefore not only clears up a longstanding misinterpretation of Husserl, but opens a new area of debate concerning the status of phenomenology within the scientific nexus. (shrink)

Exploring online criticisms of the ‘take the knee’ protest during ‘Euro 2020’, this article examines how alt- and far-right conspiracies were both constructed and communicated via the social media platform, Twitter. By providing a novel exploration of alt-right conspiracies during an international football tournament, a qualitative thematic analysis of 1,388 original tweets relating to Euro 2020 was undertaken. The findings reveal how, in criticisms levelled at both ‘wokeism’ and the Black Lives Matter movement, antiwhite criticisms of the ‘take the knee’ (...) protest were embroiled in alt-right conspiracies that exposed an assumed Cultural Marxist, ‘woke agenda’ in the tournament’s organization and mainstream media coverage. In conclusion, it is argued that conspiratorial discourses, associated with the alt-right, provided a framework through which the protest could be understood. This emphasises how the significance of conspiracy functions to promote the wider dissemination of alt-right ideology across popular cultural contexts, such as sport. (shrink)

Free will is often said—by compatibilists and incompatibilists alike—to be a power (or complex of powers) of agents. This paper offers proposals for, and examines the prospects of, a powers-conception of free will that takes the powers in question to be causal dispositions. A difficulty for such an account stems from the idea that when one exercises free will, it is up to oneself whether one wills to do this or that. The paper also briefly considers whether a powers-conception that (...) invokes powers of a different kind, such as agent-causal or noncausal powers, might fare better with respect to this problem. (shrink)

Epistemic accounts of scientific collaboration usually assume that, one way or another, two heads really are more than twice better than one. We show that this hypothesis is unduly strong. We present a deliberately crude model with unfavorable hypotheses. We show that, even then, when the priority rule is applied, large differences in successfulness can emerge from small differences in efficiency, with sometimes increasing marginal returns. We emphasize that success is sensitive to the structure of competing communities. Our results suggest (...) that purely epistemic explanations of the efficiency of collaborations are less plausible but have much more powerful socioepistemic versions. (shrink)

According to a number of influential views in penal theory, 1 one of the primary goals of the criminal justice system is to rehabilitate offenders. Rehabilitativemeasures are commonly included as a part of a criminal sentence. For example, in some jurisdictions judges may order violent offenders to attend anger management classes or to undergo cognitive behavioural therapy as a part of their sentences. In a limited number of cases, neurointerventions — interventions that exert a direct biological effect on the brain (...) — have been used as aids to rehabilitation, typically being imposed as part of criminal sentences, separate treatment orders, or conditions of parole. Examples of such interventions include medications intended to attenuate addictive desires in substance-abusing offenders and agents intended to suppress libido in sex offenders.This chapter reviews some of the ethical issues raised by the use of neurointerventions as aids to rehabilitation. (shrink)

In a paper recently published in this journal, Navin and Largent argue in favour of a type of policy to regulate non-medical exemptions from childhood vaccination which they call ‘Inconvenience’. This policy makes it burdensome for parents to obtain an exemption to child vaccination, for example, by requiring parents to attend immunization education sessions and to complete an application form to receive a waiver. Navin and Largent argue that this policy is preferable to ‘Eliminationism’, i.e. to policies that do not (...) allow non-medical exemptions, because Inconvenience has been shown to maintain exemption rates low while not harming parents by forcing them to do something that goes against their beliefs. We argue that it is at least doubtful that Inconvenience is ethically preferable to Eliminationism: while the latter disregards the value of liberty, Inconvenience disregards the value of fairness in the distribution of the burdens entailed by the preservation of a public good like herd immunity. We propose a variant of Inconvenience, which we call ‘Contribution’, which we think is preferable to the versions of Inconvenience discussed by Navin and Largent in that it successfully strikes a balance between the values of parents’ liberty, fairness and expected utility. (shrink)

We provide conditions under which an incomplete strongly independent preorder on a convex set X can be represented by a set of mixture preserving real-valued functions. We allow X to be infi nite dimensional. The main continuity condition we focus on is mixture continuity. This is sufficient for such a representation provided X has countable dimension or satisfi es a condition that we call Polarization.

Williams, Elster and Pears hold that an effort to induce in oneself a belief in the truth of some proposition that one believes to be false can succeed only if one manages, somewhere along the way, to forget that one is engaged in such an effort. Although this view has strong intuitive appeal, it is false, and in this paper it is shown to be false by example.