This modern, advanced textbook reviews modal logic, a field which caught the attention of computer scientists in the late 1970's.

There are several argumentative strategies for advancing the thesis that moral responsibility is incompatible with causal determinism. One prominent such strategy is to argue that agents who meet compatibilist conditions for moral responsibility can nevertheless be subject to responsibility-undermining manipulation. In this paper, I argue that incompatibilists advancing manipulation arguments against compatibilism have been shouldering an unnecessarily heavy dialectical burden. Traditional manipulation arguments present cases in which manipulated agents meet all compatibilist conditions for moral responsibility, but are (allegedly) not responsible (...) for their behavior. I argue, however, that incompatibilists can make do with the more modest (and harder to resist) claim that the manipulation in question is mitigating with respect to moral responsibility. The focus solely on whether a manipulated agent is or is not morally responsible has, I believe, masked the full force of manipulation-style arguments against compatibilism. Here, I aim to unveil their real power. (shrink)

A prominent recent strategy for advancing the thesis that moral responsibility is incompatible with causal determinism has been to argue that agents who meet compatibilist conditions for responsibility could nevertheless be subject to certain sorts of deterministic manipulation, so that an agent could meet the compatibilist’s conditions for responsibility, but also be living a life the precise details of which someone else determined that she should live. According to the incompatibilist, however, once we became aware that agents had been manipulated (...) or ‘set up’ in the relevant way, we should no longer judge that they are responsible for their behavior, nor should we hold them responsible for it by blaming them, in case what they did was wrong. In this paper, I aim to shift the debate to different terrain. The focus so far has been simply on what we may or may not permissibly say or do concerning manipulated agents. But I believe a powerful new incompatibilist argument can be mounted from considering whether the manipulators themselves can justifiably blame the agents they manipulate in compatibilist-friendly ways. It seems strikingly counterintuitive to suppose that they may do so. The argument of this paper, however, is that, given the right story, incompatibilism provides the best explanation for why this is so. In short, the compatibilist must say that, while such manipulated agents are still responsible, the manipulators lack the moral standing to blame them. But I argue that, on compatibilist assumptions, this explanation ultimately fails. (shrink)

This book offers a comprehensive account of Kant's theory of freedom and his moral anthropology. The point of departure is the apparent conflict between three claims to which Kant is committed: that human beings are transcendentally free, that moral anthropology studies the empirical influences on human beings, and that more anthropology is morally relevant. Frierson shows why this conflict is only apparent. He draws on Kant's transcendental idealism and his theory of the will and describes how empirical influences can affect (...) the empirical expression of one's will in a way that is morally significant but still consistent with Kant's concept of freedom. As a work which integrates Kant's anthropology with his philosophy as a whole, this book will be an unusually important source of study for all Kant scholars and advanced students of Kant. (shrink)

Presents a new interpretation of Aristotle's Analytics (the Prior and Posterior Analytics) as a unified whole, and argues that to "loose up" or solve—rather than to reduce or break up—is the principle meaning which best characterizes the Analytics.

One of the central tasks for naturalistic theories of representation is to say what it takes for something to be a representation, and some leading theories have been criticised for being too liberal. Prominent discussions of this problem have proposed a producer-oriented solution; it is argued that representations must be produced by systems employing perceptual constancy mechanisms. However, representations may be produced by simple transducers if they are consumed in the right way. It is characteristic of representations to be consumed (...) by systems which are capable of independent action. This paper defends this claim; discusses more precise, naturalistic formulations; and shows how it can illuminate the explanatory payoffs which science achieves by appealing to representation. (shrink)

During the academic years 1972-1973 and 1973-1974, an intensive sem inar on the foundations of quantum mechanics met at Stanford on a regular basis. The extensive exploration of ideas in the seminar led to the org~ization of a double issue of Synthese concerned with the foundations of quantum mechanics, especially with the role of logic and probability in quantum meChanics. About half of the articles in the volume grew out of this seminar. The remaining articles have been so licited explicitly (...) from individuals who are actively working in the foun dations of quantum mechanics. Seventeen of the twenty-one articles appeared in Volume 29 of Syn these. Four additional articles and a bibliography on -the history and philosophy of quantum mechanics have been added to the present volume. In particular, the articles by Bub, Demopoulos, and Lande, as well as the second article by Zanotti and myself, appear for the first time in the present volume. In preparing the articles for publication I am much indebted to Mrs. Lillian O'Toole, Mrs. Dianne Kanerva, and Mrs. Marguerite Shaw, for their extensive assistance. (shrink)

If a subject has a true belief, and she has good evidence for it, and there’s no evidence against it, why should it matter if she doesn’t believe on the basis of the good available evidence? After all, properly based beliefs are no likelier to be true than their corresponding improperly based beliefs, as long as the subject possesses the same good evidence in both cases. And yet it clearly does matter. The aim of this paper is to explain why, (...) and in the process delineate a species of epistemic luck that has hitherto gone unnoticed—what we call propositional epistemic luck—but which we claim is crucial to accounting for the importance of proper basing. As we will see, in order to understand why this type of epistemic luck is malignant, we also need to reflect on the relationship between epistemic luck and epistemic risk. (shrink)

Rawls’s difference principle and the position dubbed ‘luck egalitarianism’ are often viewed as competing theories of distributive justice. However, recent work has emphasised that Rawlsians and luck egalitarians are working with different understandings of the concept of justice, and thus not only propose different theories, but different theories of different things. Once they are no longer seen in direct competition, there are some questions to be asked about whether these two theories can be consistently endorsed alongside one another. In this (...) essay, I (begin to) investigate whether Rawls’s theory (or elements of it) and (some form of) luck egalitarianism can be consistently endorsed. -/- I begin by outlining the main aspects of Rawls’s theory and luck egalitarianism, showing them to be different kinds of theory and therefore not in direct competition. I then propose an understanding of how these ideas came to be seen to be in direct competition. Finally, I outline five different ways in which one might consistently be (some kind of) a luck egalitarian and (some kind of) a Rawlsian, and try to say something about what is to be said for and against each of these ways of combining the theories. (shrink)

Griinbaum's own article sets forth his views on the ontology of the curvature of empty space, especially in the geometrodynamics of Clifford and Wheeler. ...

Theological fatalists contend that if God knows everything, then no human action is free, and that since God does know everything, no human action is free. One reply to such arguments that has become popular recently— a way favored by William Hasker and Peter van Inwagen—agrees that if God knows everything, no human action is free. The distinctive response of these philosophers is simply to say that therefore God does not know everything. On this view, what the fatalist arguments in (...) fact bring out is that it was logically impossible for God to have known the truths about what we would freely do in the future. And this is no defect in God’s knowledge, for infallible foreknowledge of such truths is a logical impossibility. It has commonly been assumed that this position constitutes an explanation of where the fatalist argument goes wrong. My first goal is to argue that any such assumption has in fact been a mistake; Hasker and van Inwagen have in effect said only that something does go wrong with the argument, but they have not explained what goes wrong with it. Once we see this result, we’ll see, I think, that they need such an account—and that no such account has in fact been provided. The second goal of this paper is therefore to develop— and to criticize— what seems to be the most promising such account they might offer. As I see it, this account will in fact highlight in an intuitively compelling new way what many regard to be the view’s chief liability, namely, that the truths about the future which God is said not to know will now appear even more clearly (and problematically)‘ungrounded’. (shrink)

In this paper we argue that hybrid logic is the deductive setting most natural for Kripke semantics. We do so by investigating hybrid axiomatics for a variety of systems, ranging from the basic hybrid language (a decidable system with the same complexity as orthodox propositional modal logic) to the strong Priorean language (which offers full first-order expressivity).We show that hybrid logic offers a genuinely first-order perspective on Kripke semantics: it is possible to define base logics which extend automatically to a (...) wide variety of frame classes and to prove completeness using the Henkin method. In the weaker languages, this requires the use of non-orthodox rules. We discuss these rules in detail and prove non-eliminability and eliminability results. We also show how another type of rule, which reflects the structure of the strong Priorean language, can be employed to give an even wider coverage of frame classes. We show that this deductive apparatus gets progressively simpler as we work our way up the expressivity hierarchy, and conclude the paper by showing that the approach transfers to first-order hybrid logic. (shrink)

Children are expensive to raise. Ensuring that they are raised in such a way that they are able to lead a minimally decent life costs time and money, and lots of both. Who is responsible for bearing the costs of the things that children are undoubtedly owed? This is a question that has received comparatively little scrutiny from political philosophers,despite children being such a drain on public and private finances alike. To the extent that there is a debate, two main (...) views can be identified. The Parents Pay view says that parents, responsible for the existence of the costs, must foot the bill. The Society Pays view says that a next generation is a benefit to all, and so to allow parents to foot the bill alone is the worst kind of free-riding. In this article, I introduce a third potentially liable party currently missing from the debate: children themselves. On my backward-looking view, we are entitled to ask people to contribute to the raising of children on the basis that they have benefited from being raised themselves. (shrink)

The individualist nature of much contemporary just war theory means that we often discuss cases with single attackers. But even if war is best understood in this individualist way, in war combatants often have to make decisions about how to distribute harms among a plurality of aggressors: they must decide whom and how many to harm, and how much to harm them. In this paper, I look at simultaneous multiple aggressor cases in which more than one distribution of harm among (...) aggressors is available. I show how such cases pose deep questions concerning the nature, role, and scope of the necessity principle, and its relationship to both liability and narrow proportionality. I argue that a hitherto unrecognised measure – ‘narrow proportionality shortfall’ – and its distribution is relevant in choosing how to distribute harms across aggressors. I then extend this analysis to show how this may help us with a puzzle concerning sequential attacks. (shrink)

Affective experience in nonhuman animals is of great interest for both theoretical and practical reasons. This paper highlights research by the psychologists Anthony Dickinson and Bernard Balleine which provides particularly good evidence of conscious affective experience in rats. This evidence is compelling because it implicates a sophisticated system for goal-directed action selection, and demonstrates a contrast between apparently conscious and unconscious evaluative representations with similar content. Meanwhile, the evidence provided by some well-known studies on pain in nonhuman animals is much (...) less convincing. This comparison may offer lessons for the future study of animal consciousness. (shrink)

We recorded participants' eye movements while they read sentences containing verb‐phrase coordination. Results showed evidence of immediate processing disruption when a reflexive pronoun embedded in the conjoined verb phrase mismatched the sentence subject. We argue that this result is incompatible with models of human parsing that employ only bottom‐up parsing procedures, even when flexible constituency is employed. Models need to incorporate a mechanism similar to the adjoining operation in Tree‐Adjoining Grammar, in which one structure is inserted into another.

SELF-INJURY IS A COMPLEX phenomenon that is encountered on a regular basis by health care professionals in mental health care. In this article, I use the concept of epistemic injustice to examine this complex phenomenon and argue that this helps us to understand developments in the way we think about and support people who self-injure. Individuals with lived experience have important knowledge about the nature of self-injury and particularly how it relates to them. If the credibility of this knowledge is (...) denied, for example through accusations of emotional instability, manipulation and attention seeking, then we may cause epistemic and non-epistemic harms. The former by denying the capacity for knowledge, by not... (shrink)

On May 15, 2006, 34 year-old mountaineer David Sharp died in a small cave a few hundred meters below the peak of Mount Everest in the aptly named “death zone”. As he lay dying, Sharp was passed by forty-plus climbers on their way to the summit, none of whom made an effort to rescue him. The climbers’ failure to rescue Sharp sparked much debate in mountaineering circles and the mainstream media, but philosophers have not yet weighed in on the issues. (...) This is surprising, since Sharp’s case raises interesting puzzles about the duty to rescue. Commonsense morality suggests that it was wrong for the climbers to put their summit bids ahead of saving a human life. But rescuing Sharp was extremely risky. If you and I are not required to assume significant risks to rescue others, why think the climbers had a moral duty to do this? My primary focus is on a new principle of rescue, which I dub the comparable risk principle, that has not been discussed in the duty-to-rescue literature. More generally, I explore the limits of the duty to rescue not just in Sharp’s case, but in relevantly similar high-risk environments common in action sports. (shrink)

International lawyers have often been interested in the link between their discipline and the foundational issues of jurisprudential method, but little that is systematic has been written on this subject. In this book, an attempt is made to fill this gap by focusing on issues of concept-formation in legal science in general with a view to their application to the specific concerns of international law. In responding to these issues, the author argues that public international law seeks to establish and (...) institutionalise a system of authoritative judgment whereby the conditions by which a community of states can co-exist and co-operate are ensured. A state, in turn, must be understood as ultimately deriving legitimacy from the pursuit of the human dignity of the community it governs, as well as the dignity of those human beings and states affected by its actions in international relations. This argument is in line with a long and now resurgent Kantian tradition in legal and political philosophy. The book shows how this approach is reflected in accepted paradigm cases of international law, such as the United Nations Charter. It then explains how this approach can provide insights into the theoretical foundations of these accepted paradigms, including our understanding of the sources of international law, international legal personality and the design of global institutions. (shrink)

But it’s not the mere fact that the RA theorist needs an account of ‘ruling out’ and ‘relevance’ that has tended to lead people to regard the RA approach with suspicion. In itself, this simply means that the RA theorist has some further work to do; and what theorist doesn’t? No; the principal source of scepticism regarding the ability of the RA theorist to come up with a complete and satisfactory account of knowing stems, rather, from an unhappiness with the (...) specific elaborations of the core RA claim that various theorists have offered; for these elaborations have typically involved some rather controversial claims and/or assumptions, and it is against these claims/assumptions that the bulk of the criticism of the whole RA approach has been directed. (shrink)

In this note we show that the classical modal technology of Sahlqvist formulas gives quick proofs of the completeness theorems in [8] (D. Gregory, Completeness and decidability results for some propositional modal logics containing "actually" operators, Journal of Philosophical Logic 30(1): 57-78, 2001) and vastly generalizes them. Moreover, as a corollary, interpolation theorems for the logics considered in [8] are obtained. We then compare Gregory's modal language enriched with an "actually" operator with the work of Arthur Prior now known under (...) the name of hybrid logic. This analysis relates the "actually" axioms to standard hybrid axioms, yields the decidability results in [8], and provides a number of complexity results. Finally, we use a bisimulation argument to show that the hybrid language is strictly more expressive than Gregory's language. (shrink)

The author argues for the importance of non-Markovian causality in the social sciences because Markovian conditions often cannot be satisfied. Two theorems giving conditions for non-Markovian causes to be transitive are proved. Applications of non-Markovian causality in psychology and economics are outlined.

According to the Eucharistic doctrine of Transubstantiation, when the priest consecrates the bread and wine, the whole substance of the bread and wine are converted into the body and blood of Christ. The of the bread and wine, however, remain present on the altar. This doctrine leads to a clutch of metaphysical problems, some of which are particularly troubling for essentialists. In this paper, I discuss some of these problems, which have recently been pressed by Brian Ellis and Justin Broackes. (...) I argue that defenders of Transubstantiation have satisfactory replies. (shrink)

The media, perhaps more than any other slice of culture, influence what we think and talk about, what we take to be important, what we worry about. And this was especially true when news of Dolly hit the airwaves and newstands. Most Americans received training in the ethics of cloning before they knew what cloning was. Media coverage fixed the content and outline of the public moral debate, both revealing and creating the dominant public worries about cloning humans. The primary (...) characterization of cloning as an ethical issue centers around three connected concerns: the loss of human uniqueness and individuality, the pathological motivations of a cloner, and the fear of out‐of‐control scientists. (shrink)

Food uncertainty has the effect of invigorating food-related responses. Psychologists have noted that mammals and birds respond more to a conditioned stimulus that unreliably predicts food delivery, and ecologists have shown that animals consume and/or hoard more food and can get fatter when access to that resource is unpredictable. Are these phenomena related? We think they are. Psychologists have proposed several mechanistic interpretations, while ecologists have suggested a functional interpretation: The effect of unpredictability on fat reserves and hoarding behavior is (...) an evolutionary strategy acting against the risk of starvation when food is in short supply. Both perspectives are complementary, and we argue that the psychology of incentive motivational processes can shed some light on the causal mechanisms leading animals to seek and consume more food under uncertainty in the wild. Our theoretical approach is in agreement with neuroscientific data relating to the role of dopamine, a neurotransmitter strongly involved in incentive motivation, and its plausibility has received some explanatory and predictive value with respect to Pavlovian phenomena. Overall, we argue that the occasional and unavoidable absence of food rewards has motivational effects that facilitate foraging effort. We show that this hypothesis is computationally tenable, leading foragers in an unpredictable environment to consume more food items and to have higher long-term energy storage than foragers in a predictable environment. (shrink)

This article draws on Martha Nussbaum's distinction between basic, internal, and external capacities to better specify possible locations for children's ‘incapacity’ for autonomy. I then examine Maria Montessori's work on what she calls ‘normalization’, which involves a release of children's capacities for autonomy and self-governance made possible by being provided with the right kind of environment. Using Montessori, I argue that, in contrast to many ordinary and philosophical assumptions, children's incapacities for autonomy are best understood as consequences of an absence (...) of external conditions necessary for children to exercise capacities they already have internally, rather than intrinsic limitations based on their stage of life. In a closing section, I show how Montessori proposes a model wherein both children and adults have autonomy, power, and responsibility, but over different spheres, and suggest implications of these differences for who has responsibility for establishing the conditions under which children can flourish. (shrink)

This paper considers the revolutionary developments occurring in the field of genetic mapping and the genetic identification of disease propensities. These breakthroughs are discussed relative to the ethical and economic implications for the insurance industry. Individual's privacy rights and rights to employment must be weighed against the insurers desire for better estimates of future loss costs associated with health, life and other insurances. These are in turn related to the fundamental conception of insurance as a financial intermediary versus insurance as (...) a vehicle for social policy. (shrink)

I aim to establish in this article why Aribiah Attoe, like other determinists before him, got it wrong in arguing for the possibility of predeterminism in a materially evolving universe. I will do this by proving two things: I will first establish the inconsistency of the idea of predeterminism in an evolving universe. Then, I argue that the adirectionality presupposed by an evolutionary universe gives room for free will and negates the argument for a predeterministic universe. I aim to achieve (...) the above by exposing why the view which upholds the universe and all existents within it as lacking free will – or the possibility of adirectionality – stems from a category error on the part of the determinists. Lastly, I defend the position that for predeterminism to stand a chance against the free will of animate things-in-the-world, it must deny the possibility of an evolving/expanding universe that is adirectional and suggestive of boundlessness, and the possibility that some events are not fundamentally necessary reactions to previous states of affairs. (shrink)

Reflections on Commercial Life , an anthology of writings, from the ancient Greeks to contemporary thinkers, provides students, scholars, and general readers an opportunity to develop a more self-conscious and critical relationship to commercial life. Selections are drawn from seminal works of high intellectual and literary quality. Through an inquiry into history, nature, and outcomes, this volume offers the opportunity to explore, as never before, alternatives to modern commercial life.

A number of serious problems are raised against Crispin Wright’s quandary conception of vagueness. Two alternative conceptions of the quandary view are proposed instead. The first conception retains Wright’s thesis that, for all one knows, a verdict concerning a borderline case constitutes knowledge. However a further problem is seen to beset this conception. The second conception, in response to this further problem, does not enjoin the thesis that, for all one knows, a verdict concerning a borderline case constitutes knowledge. The (...) result is a much simpler and more plausible version of the quandary view. (shrink)

Central to any form of Deflationism concerning truth (hereafter ‘DT’) is the claim that truth has no substantial theoretical role to play. For this reason, DT faces the following immediate challenge: if truth can play no substantial theoretical role then how can we model various prevalent kinds of indeterminacy—such as the indeterminacy exhibited by vague predicates, future contingents, liar sentences, truth-teller sentences, incomplete stipulations, cases of presupposition failure, and such-like? It is too hasty to assume that these phenomena are all (...) to be modelled via some epistemic conception of indeterminacy whereby indeterminacy is just some special species of ignorance which arises because of our limited powers of discrimination. Some non-epistemic model is called for—at least for certain species of indeterminacy. On what is perhaps the most enduring and popular non-epistemic model, indeterminacy gives rise to truth-value gaps. But is DT compatible with the possibility of truth-value gaps? Compatibilism says Yes; Incompatibilism says No. The broad goal of this paper is to defend a form of Incompatibilism. If DT is to make sense of various kinds of indeterminacy then truth-value gaps cannot be invoked to do so. The particular goals of this paper are: (i) To set forth a new form of Compatibilism which can address an argument against truth-value gaps given by Williamson (1994, pp. 187-192). (ii) To offer a new argument against truth-value gaps using principles entailed by DT, thereby undermining Compatibilism. (shrink)

During his encounter with Lethaeus Amor in theRemedia amoris, in which he discusses techniques to forget a former lover, Ovid writes the following:quisquis amas, loca sola nocent: loca sola caveto;quo fugis? in populo tutior esse potes.non tibi secretis est opus; auxilio turba futura tibi est.tristis eris, si solus eris, dominaeque relictaeante oculos facies stabit, ut ipsa, tuos.This passage has been discussed in Hardie's treatment of Lethaeus Amor, and, while he directly addresses Ovid's use oflociin this passage as I shall below, (...) his focus is on the rich intertextuality – textual remembrances – within theRemediarather than the use oflociin thears memoriaeproper. Hardie points out numerous intertexts in theRemedia, using the character of Lethaeus Amor to highlight the paradox of a learned reader of love poetry being unable to forget the poetry he has read, despite this specific oblivion being a precondition for curing oneself of love. In this case, theloca solaOvid warns against are ‘topics of solitude’ which ‘conjure up for the experienced reader scenes of erotic despair’, thus calling to mind the lover's own lovelorn state. (shrink)

Auch in der katholischen Kirche nimmt ein Lagerdenken zu: eine "moderne", "linke" Seite gegen eine "konservative", "traditionalistische". Becker zeichnet nach, wie sich die Kontroverse um die zugrunde liegenden ungleichen Wahrheitsverstandnisse durch die europaische Philosophiegeschichte zieht. Er nimmt so der innerkirchlichen Polarisierung die Scharfe und zeigt, wie das vorherrschende relativistische Wahrheitsverstandnis mit dem Wahrheitsanspruch der christlichen Botschaft vereint werden kann.