Given any collection F of computable functions over the reals, we show that there exists an algorithm that, given any sentence A containing only bounded quantifiers and functions in F, and any positive rational number delta, decides either “A is true”, or “a delta-strengthening of A is false”. Moreover, if F can be computed in complexity class C, then under mild assumptions, this “delta-decision problem” for bounded Sigma k-sentences resides in Sigma k. The results stand in sharp contrast to the (...) well-known undecidability of the general first-order theories with these functions, and serve as a theoretical basis for the use of numerical methods in decision procedures for formulas over the reals. (shrink)

We introduce the notion of “δ-complete decision procedures” for solving SMT problems over the real numbers, with the aim of handling a wide range of nonlinear functions including transcendental functions and solutions of Lipschitz-continuous ODEs. Given an SMT problemϕ and a positive rational number δ, a δ-complete decision procedure determines either that ϕ is unsatisfiable, or that the “δ-weakening” of ϕ is satisfiable. Here, the δ-weakening of ϕ is a variant of ϕ that allows δ-bounded numerical perturbations on ϕ. We (...) establish the existence and complexity of δ-complete decision procedures for bounded SMT over reals with functions mentioned above. We propose to use δ-completeness as an ideal requirement for numerically-driven decision procedures. As a concrete example, we formally analyze the DPLL〈ICP〉 framework, which integrates Interval Constraint Propagation in DPLL, and establish necessary and sufficient conditions for its δ-completeness. We discuss practical applications of δ-complete decision procedures for correctness-critical applications including formal verification and theorem proving. (shrink)

Epistemic injustice has rapidly become a powerful tool for analysis of otherwise hidden social harms. Yet empirical research into how resistance to knowing and understanding can be generated and replicated in social programmes is limited. We have identified a range of subtle and not-so-subtle inflections of epistemic injustice as they play out in an intervention for people with chronic depression in receipt of disability benefits. This article describes the different ‘species’ of epistemic injustice observed and reveals how these are unintentionally (...) produced at frontline, management, commissioning and policy levels. Most notably, there remains a privileging of clinical knowledge over other forms of knowledge, producing a ‘pathocentric epistemic complex’. This, combined with the failure of different agencies with competing ideologies to adequately understand each other, and a vicious policy context, added to the injustices already faced by people with mental health issues, generating multiple harms. This has important implications for a range of integrated care and welfare interventions – not least by drawing attention to their unintended potential for replicating epistemic injustice as an institutionalised complex. Careful evaluation and design of such programmes, applying the philosophical and epistemic resources illustrated here, can help mitigate this outcome. Further, by raising awareness of epistemic injustice among programme participants, we can generate epistemic structures that secure programme integrity locally, and promote better policy. (shrink)

BackgroundSome people with progressive neurological diseases find they need additional support with eating and drinking at mealtimes, and may require artificial nutrition and hydration. Decisions concerning artificial nutrition and hydration at the end of life are ethically complex, particularly if the individual lacks decision-making capacity. Decisions may concern issues of life and death: weighing the potential for increasing morbidity and prolonging suffering, with potentially shortening life. When individuals lack decision-making capacity, the standard processes of obtaining informed consent for medical interventions (...) are disrupted. Increasingly multi-professional groups are being utilised to make difficult ethical decisions within healthcare. This paper reports upon a service evaluation which examined decision-making within a UK hospital Feeding Issues Multi-Professional Team.MethodsA three month observation of a hospital-based multi-professional team concerning feeding issues, and a one year examination of their records. The key research questions are: a) How are decisions made concerning artificial nutrition for individuals at risk of lacking decision-making capacity? b) What are the key decision-making factors that are balanced? c) Who is involved in the decision-making process?ResultsDecision-making was not a singular decision, but rather involved many different steps. Discussions involving relatives and other clinicians, often took place outside of meetings. Topics of discussion varied but the outcome relied upon balancing the information along four interdependent axes: Risks, burdens and benefits; Treatment goals; Normative ethical values; Interested parties.ConclusionsDecision-making was a dynamic ongoing process with many people involved. The multiple points of decision-making, and the number of people involved with the decision-making process, mean the question of ‘who decides’ cannot be fully answered. There is a potential for anonymity of multiple decision-makers to arise. Decisions in real world clinical practice may not fit precisely into a model of decision-making. The findings from this service evaluation illustrate that within multi-professional team decision-making; decisions may contain elements of both substituted and supported decision-making, and may be better represented as existing upon a continuum. (shrink)

This book offers both the theoretical background behind the minority effect, teachers' personal experiences as they experienced being a minority, and their analyses and insights for teaching diverse learners. This book uses real-life experiences of diverse people to illustrate that, if not understood and addressed, situational minorities at school or work are unlikely to perform at their highest potentials.

As Newton realized, his absolute space was a ‘conspiracy of nature’ in the sense that his laws dictated that nobody could discover who, among all possible observers (in various states of motion relative to one another), was at rest in absolute space. So absolute space was an unverifiable element of his theory.

Consider the sentence “Lois knows that Superman flies, but she doesn’t know that Clark flies”. In this paper we defend a Millian contextualist semantics for propositional attitude ascriptions, according to which ordinary uses of this sentence are true but involve a mid-sentence shift in context. Absent any constraints on the relevant parameters of context sensitivity, such a semantics would be untenable: it would undermine the good standing of systematic theorizing about the propositional attitudes, trivializing many of the central questions of (...) epistemology, the philosophy of mind, and the philosophy of action. In response to this problem, we prove a series of tenability results. We show that, given certain constraints on the parameters of context sensitivity, there is a broad class of principles of propositional attitude psychology whose good standing follows from corresponding claims about people’s mental representations. But these constraints also have some surprising consequences: they are jointly incompatible with coarse-grained theories of propositions, and they are in tension with a natural picture of how speakers and hearers coordinate on the interpretation of attitude ascriptions. In light of these consequences we explore different ways in which the contextualist picture might be developed, and argue that our preferred way compares favorably with Fregeanism and neo-Russellianism. (shrink)

This article posits that Andy Clark’s model of distributed cognition manifests socially through the agonism of human activity, and that rhetorical theory offers an understanding of human conflicts as productive and necessary elements of collective response to situation rather than as problems to be solved or noise to be eliminated. To support this assertion, the paper aligns Clark’s argument that cognition responds to situated environmental conditions with the classical concept of kairos, it associates Clark’s assertion that language structures behavior with (...) the long-held rhetorical stance that language is constitutive, and it examines the online encyclopedia Wikipedia as an enactment of what Clark and rhetorical theorists claim about productive agonism and the litigious nature of identity and cognition. (shrink)

This paper challenges both the traditional view of L. Stephen and E. Albee that Bentham's attitude towards religion was irrelevant to his moral and political thought, and the revisionist critique of J.C.D. Clark and J.E. Crimmins that his religious radicalism was the prerequisite for his political radicalism. It also challenges the two further claims advanced by Crimmins: first, that Bentham was an atheist; and second, that he wished to eliminate religion from the mind. In contrast it is argued that Bentham's (...) theory of logic and language lay at the foundation of his thought. His religious radicalism was therefore not the prerequisite for his political radicalism, but rather one aspect of it. Moreover, Bentham never committed himself to atheism, and advocated religious freedom rather than any form of enforced belief or non-belief. It is suggested that unless historians recognize the centrality and originality of Bentham's theory of logic and language, they will fail to explain adequately the emergence of his distinctively utilitarian political radicalism. (shrink)

MacIntyre, Clark, and Heidegger would all agree that the current problem with moral theory is its lack of a satisfactory conception of human telos. This lack leads us to resort to such fictions as rights, interests, and utility, which are “disguises for the will to power.” Ibid., p. 240. These thinkers would also agree that modern nation-states are cut off from the roots of the Western tradition. Modern political economy, with “its individualism, its acquisitiveness and its elevation of the values (...) of the market to a central social place”Ibid., p. 237. is leading us into “the coming age of barbarism and darkness.”Ibid., p. 244. MacIntyre's grim depiction of the future, which Heidegger calls “the time of the darkening of the earth” and “the flight of the gods”,Heidegger, “What Are Poets For?” in Poetry, Language, Thought. can only be met by re-appropriating our own tradition. Although Aristotle has much to tell us, I believe Heidegger is right to turn to Heraclitus for a non-anthropocentric conception of humanity's place in Nature. Other writers, however, such as Arne Naess, George Sessions, and Stuart Hampshire, argue that the writings of Spinoza may offer the most helpful vision of humanity needed to guide our efforts to find a more appropriate basis for our behavior toward each other and toward the non-human world as well.George Sessions, “Spinoza and Jeffets on Man in Nature,” Inquiry 20 (1977):481–528. Sessions' essay was criticized by Genevieve Lloyd in “Spinoza's Environmental Ethics,” Inquiry 23 (1980):293–311. In reply, Arne Naess wrote “Environmental Ethics and Spinoza's Ethics: Comments on Genevieve Lloyd's Article,” Inquiry 23 (1980):313~ 325. Cf. also Stuart Hampshire, Two Theories of Morality (Oxford: Oxford University Press, 1977). Yet Aristotle, Qark, Heidegger, Heraclitus, Maclntyre, and Spinoza all agree that in order to behave fittingly, we must understand what it means to be human. At this time, I would like to acknowledge the importance of the following objection to what I have been arguing here: While it may be true that the concept of human rights is a fiction, it is nevertheless a very useful fiction for changing how human beings relate to each other. Tom Regan has frequently pointed out that even if the concept of rights proves to be ficticious, it can be helpful in protecting non-human beings from abuse by humans. Cf. his essay “Exploring the Idea of Animal Rights,” Animals' Rights - A Symposium (Sussex and London: Centaur Press Ltd., 1979); Regan, “Animal Rights, Human Wrongs,” Environmental Ethics 2 (1980):99–120. The doctrine of the rights of man justified the American and French revolutions, which brought forth new and important human freedoms. Today, most of humanity still lacks the protection afforded by constitutionally guaranteed human rights. Moreover, even in constitutional democracies there are frequent abuses of and attempts to curtail human rights. Until far more people become committed to protecting human rights, it is unlikely that there will be a big movement to extend rights to non-human beings, much less to overcome the anthropocentrism inherent in the concept of rights. What the Buddhist tradition calls “skillful means” is appropriate in our current situation.My thanks to Professor David Levin of Northwestern University for having reminded me of the importance of approaching the question of human rights in a “skillful” way. We must approach people in a way sensitive to their current self-understanding. Before we can pass on to the stage of planetary unity made possible by non-anthropocentric thinking, we need to find ways that promote mutual respect among human beings.On the topic of the relation between spiritual-psychological growth and the shift in human morality, cf. M.W. Fox, “Animal Rights and Nature Liberation,” in Animals' Rights - A Symposium. Out of such respect there can also arise respect for the non-human as well. While largely in agreement with this point of view, I would like to note that our means must be very skillful, indeed, if we are to transform our relationships to each other and to the natural world before irreparable damage is done to the earth, through nuclear war or environmental destruction. The time grows short for the transformation needed to bring us from the stage of anthropocentrism to a deeper awareness of our internal relationship to the whole world. Some people, such as Peter Russell, argue that we are witnessing the evolution of a non-anthropocentric mode of planetary consciousness that will be supported by the revolution in communications and computers. Peter Russel, The Global Brain: Speculations on the Evolutionary Leap tp Planetary Consciousness (New York: J.P. Tarcher, 1983). Other people, such as Jeremy Rifkin, maintain that the coming computer age promises ever greater intrusions into natural processes, such as the drive for control of genetic structures.Jeremy Rifkin, Algeny (New York: Viking, 1983). In my view, while it is important to extend the idea of human rights wherever possible, it is also crucial that we consider seriously the possibility that the idea of human rights is merely a transitional way of conceiving of morality. As we learn more about the interrelationship of human life with all other aspects of the earth's life, our self-understanding will no longer be in harmony with the human-centered morality we know today. We will either learn to respect all beings and act toward them in appropriate ways, or else we will continue down the road we are now headed - a road which seems to have a very disturbing destination. Learning to dwell appropriately on earth is the most pressing moral issue of the day. (shrink)

Philosophical theories of agency have focused primarily on actions and activities. But, besides acting, we often omit to do or refrain from doing certain things. How is this aspect of our agency to be conceived? This book offers a comprehensive account of omitting and refraining, addressing issues ranging from the nature of agency and moral responsibility to the metaphysics of absences and causation. Topics addressed include the role of intention in intentional omission, the connection between negligence and omission, the distinction (...) between doing and allowing, and the distinction in law between act and omission. (shrink)

This essay examines recent work on abilities to act. Different kinds of ability are distinguished, and a recently proposed conditional analysis of ability ascriptions is evaluated. It is considered whether abilities are causal powers. Finally, several compatibility questions concerning abilities, as well as the relation between free will and abilities of various kinds, are examined.

1. We sometimes angrily confront, pointedly ostracize, castigate, or denounce those whom we think have committed moral offences. Conduct of this kind may be called blaming behaviour. When genuine,...

Manipulation cases are usually seen as a problem for compatibilists, and a strength for incompatibilist theories. I present a new case of indirect manipulation, which I claim does not interfere with the manipulated agent's freedom under libertarian criteria. I argue that the only promising libertarian response to my case would undermine Widerker's response to Frankfurt cases, which I take to be the best libertarian strategy for dealing with Frankfurt-type manipulation. I outline a satisfactory compatibilist explanation of my case.

Sometimes someone does something morally wrong in clear-eyed awareness that what she is doing is wrong. More commonly, a wrongdoer fails to see that her conduct is wrong. Call the latter behavior unwitting wrongful conduct. It is generally agreed that an agent can be blameworthy for such conduct, but there is considerable disagreement about how one’s blameworthiness in such cases is to be explained, or what conditions must be satisfied for the agent to be blameworthy for her conduct. Many theorists (...) hold that an agent’s blameworthiness for unwitting wrongful conduct must stem from—or trace back to—her blameworthiness for something else. And appeals to tracing in these cases lead some writers to a highly revisionist view, on which people are blameworthy for wrongdoing much less often than we ordinarily think (and our mistake, unfortunately, isn’t about how much wrongdoing there is). In this chapter, I set out the main claims of an argument for such a view and respond to it. I offer grounds for retaining a good many of the judgments that the revisionist would have us reject. The defense rests to a significant extent on commonsense views about the psychological capacities and abilities to act that people ordinarily possess, views that, as far as I can tell, revisionists have not shown to be mistaken. (shrink)

This is a three-part exchange on the relationship between belief and credence. It begins with an opening essay by Roger Clarke that argues for the claim that the notion of credence generalizes the notion of belief. Julia Staffel argues in her reply that we need to distinguish between mental states and models representing them, and that this helps us explain what it could mean that belief is a special case of credence. Roger Clarke's final essay reflects on the (...) compatibility of the previously discussed views with dualist and monist interpretations of our mental states and our ways of modeling them. (shrink)

In this article, we discuss a simple argument that modal metaphysics is misconceived, and responses to it. Unlike Quine's, this argument begins with the observation that there are different candidate interpretations of the predicate ‘could have been the case’. This is analogous to the observation that there are different candidate interpretations of the predicate ‘is a member of’. The argument then infers that the search for metaphysical necessities is misguided in much the way the ‘set-theoretic pluralist’ claims that the search (...) for the true axioms of set theory is. We show that the obvious responses to this argument fail. However, a new response has emerged that purports to prove, from higher-order logical principles, that metaphysical possibility is the broadest kind of possibility applying to propositions, and is to that extent special. We distill two lines of reasoning from the literature, and argue that their import depends on premises that any ‘modal pluralist’ should deny. Both presuppose that there is a unique typed hierarchy, which is what the modal pluralist, in the context of higher-order logic, should disavow. In other words, both presupposes that there is a unique candidate for what higher-order claims could mean. We consider the worry that, in a higher-order setting, modal pluralism faces an insuperable problem of articulation, collapses into modal monism, is vulnerable to the Russell-Myhill paradox, or even contravenes the truism that there is a unique actual world, and argue that these worries are misplaced. We also sketch the bearing of the resulting ‘Higher-Order Pluralism’ on the theory of content. One theme of the discussion is that, if Higher-Order Pluralism is correct, then there is no fixed metatheory from which to characterize higher-order reality. (shrink)

The preface paradox does not show that it can be rational to have inconsistent beliefs, because preface writers do not have inconsistent beliefs. I argue, first, that a fully satisfactory solution to the preface paradox would have it that the preface writer's beliefs are consistent. The case here is on basic intuitive grounds, not the consequence of a theory of rationality or of belief. Second, I point out that there is an independently motivated theory of belief – sensitivism – which (...) allows such a solution. I sketch a sensitivist account of the preface writer's doxastic state. (shrink)

How do axioms, or first principles, in ethics compare to those in mathematics? In this companion piece to G.C. Field's 1931 "On the Role of Definition in Ethics", I argue that there are similarities between the cases. However, these are premised on an assumption which can be questioned, and which highlights the peculiarity of normative inquiry.

Accounts of moral responsibility commonly focus on responsibility for actions and their consequences. But we can be responsible as well for omitting to act or refraining from acting, and for consequences of these. And since omitting and refraining are not in every case performing an action, an account of responsibility for actions will not apply straightforwardly to these cases. This paper advances proposals concerning responsibility for omitting, refraining, and their consequences. Providing such an account is complicated by the fact that (...) cases of omitting or refraining are quite varied. (shrink)

Let F be a fact in virtue of which an agent, S, is blameworthy for performing an act of A-ing. We advance a slightly qualified version of the following thesis: -/- (Reason) F is (at some time) a reason for S to feel guilty (to some extent) for A-ing. -/- Leaving implicit the qualification concerning extent, we claim as well: -/- (Desert) S's having this reason suffices for S’s deserving to feel guilty for A-ing. -/- We also advance a third (...) thesis connecting desert of feeling guilty with the fittingness of this response. -/- In light of our three theses, we address several claims that have been made regarding responsibility and desert. We take issue with the divorce of desert from responsibility. We find acceptable a claim regarding blameworthiness and reason to induce guilt, and we defend the idea that it is noninstrumentally good that one who is blameworthy be subject to a fitting feeling of guilt. We argue against a view on which desert of blame has a teleological dimension. (shrink)

According to what may be called PERMANENT, blameworthiness is forever: once you are blameworthy for something, you are always blameworthy for it. Here a prima facie case for this view is set out, and the view is defended from two lines of attack. On one, you are no longer blameworthy for a past offense if, despite being the person who committed it, you no longer have any of the pertinent psychological states you had at the time of the misdeed. On (...) the other, you can cease to be blameworthy if you sufficiently experience guilt or remorse, suffer enough punishment, or are forgiven for your misdeed. Although several points made in support of the second challenge are accepted, they are entirely consistent with PERMANENT. Neither line of attack, as so far presented, undermines the plausibility of this view stemming from the prima facie case. (shrink)

The Cartesian explanation of emotions relies on the theory of animal spirits that is central to his account of sensation and a hypothesis about innate desires and aversions. Emotions are the distinctive feelings we experience in response to the apparent perception of things that satisfy or frustrate our natural desires. These feelings, similar to internal sensations, correspond systematically to patterns in the flow of animal spirits from the heart to the brain.

How are justifications for religious violence developed and dothey differ from secular justifications for violence? Can liberalsocieties tolerate potentially violent religious groups? Can thosewho accept religious justifications for violence be dissuaded fromacting violently? Including six in-depth contemporary case studies,The Justification of Religious Violence is the first book toexamine the logical structure of justifications of religiousviolence. The first book specifically devoted to examining the logicalstructure of justifications of religious violence Seeks to understand how justifications for religious violenceare developed and how or (...) if they differ from ordinary secularjustifications of violence Examines 3 widely employed premises used in religiousjustifications of violence – ‘cosmic war’, theimportance of the afterlife, and ‘sacred values’ Considers to what extent liberal democratic societies shouldtolerate who hold that their religion justifies violent acts Reflects on the possibility of effective policy measures topersuade those who believe that violent action is justified byreligion, to refrain from acting violently Informed by recent work in psychology, cognitive science,neuroscience and evolutionary biology Part of the Blackwell Public Philosophy Series. (shrink)

In previous work, I described several examples combining reduction and emergence: where reduction is understood a la Ernest Nagel, and emergence is understood as behaviour that is novel. Here, my aim is again to reconcile reduction and emergence, for a case which is apparently more problematic than those I treated before: renormalization. My main point is that renormalizability being a generic feature at accessible energies gives us a conceptually unified family of Nagelian reductions. That is worth saying since philosophers tend (...) to think of scientific explanation as only explaining an individual event, or perhaps a single law, or at most deducing one theory as a special case of another. Here we see a framework in which there is a space of theories endowed with enough structure that it provides a family of reductions. (shrink)

In a wide range of fields, the word “modular” is used to describe complex systems that can be decomposed into smaller systems with limited interactions between them. This essay argues that mathematical knowledge can fruitfully be understood as having a modular structure and explores the ways in which modularity in mathematics is epistemically advantageous.

Bentham offers a detailed critique of William Blackstone's 'Commentaries on the Laws of England' (1765-9).

Number Nativism is the view that humans innately represent precise natural numbers. Despite a long and venerable history, it is often considered hopelessly out of touch with the empirical record. I argue that this is a mistake. After clarifying Number Nativism and distancing it from related conjectures, I distinguish three arguments which have been seen to refute the view. I argue that, while popular, two of these arguments miss the mark, and fail to place pressure on Number Nativism. Meanwhile, a (...) third argument is best construed as a challenge: rather than refuting Number Nativism, it challenges its proponents to provide positive evidence for their thesis and show that this can be squared with apparent counterevidence. In response, I introduce psycholinguistic work on The Tolerance Principle (not yet considered in this context), propose that it is hard to make sense of without positing precise and innate representations of natural numbers, and argue that there is no obvious reason why these innate representations couldn’t serve as a basis for mature numeric conception. (shrink)

Deterministic physical theories are not beyond the reach of scientific discovery. From this fact I show that David Lewis was mistaken to think that small counterfactual perturbations from deterministic worlds involve violations of those world’s laws.

Negligence and omission are closely related: commonly, in cases of negligent action, the agent has failed to turn her attention to some pertinent fact. But that omission is itself typically unwitting. A sufficient condition for blameworthiness for an unwitting omission is offered, as is an account of blameworthiness for negligent action. It is argued that one can be blameworthy for wrongdoing done from ignorance even if one is not blameworthy for that ignorance.

Idealism is philosophy on a grand scale, combining micro and macroscopic problems into systematic accounts of everything from the nature of the universe to the particulars of human feeling. In consequence, it offers perspectives on everything from the natural to the social sciences, from ecology to critical theory. Heavily criticised by the dominant philosophies of the 20th Century, Idealism is now being reconsidered as a rich and untapped resource for contemporary philosophical arguments and concepts. This volume provides a comprehensive portrait (...) of the major arguments and philosophers in the Idealist tradition. The book demonstrates how Idealist philosophy provides a fruitful way of understanding contemporary issues in metaphysics, the philosophy of science, political philosophy, scientific theory and critical social theory. (shrink)