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

Coherent, well organized text familiarizes readers with complete theory of logical inference and its applications to math and the empirical sciences. Part I deals with formal principles of inference and definition; Part II explores elementary intuitive set theory, with separate chapters on sets, relations, and functions. Last section introduces numerous examples of axiomatically formulated theories in both discussion and exercises. Ideal for undergraduates; no background in math or philosophy required.

Patrick Frierson - Learning to Love: From Egoism to Generosity in Descartes - Journal of the History of Philosophy 40:3 Journal of the History of Philosophy 40.3 313-338 Learning to Love: From Egoism to Generosity in Descartes Patrick R. Frierson The whole of philosophy is like a tree. The roots are metaphysics, the trunk is physics, and the branches emerging from the trunk are all the other sciences, which may be reduced to three principal ones, namely medicine, mechanics, (...) and morals. Descartes is well known for his metaphysics and physics, the roots and trunk of his philosophical project. But Descartes's morals are generally neglected, partly because they are so difficult to find. He does not dedicate a major published work to morality. His most direct comments on it are in letters to Princess Elizabeth and Pierre Chanut. The published work that most touches on moral issues is The Passions of the Soul, which is primarily a treatise on the relationship between mind and body. As a result of this lack of primary sources , there have been only a few significant studies of Descartes's moral philosophy in French, and only two major works devoted to it in English. This neglect of Descartes's ethics is unfortunate, not least since ethical concerns sometimes influence his work in other areas. This.. (shrink)

When certain formal symbol systems (e.g., computer programs) are implemented as dynamic physical symbol systems (e.g., when they are run on a computer) their activity can be interpreted at higher levels (e.g., binary code can be interpreted as LISP, LISP code can be interpreted as English, and English can be interpreted as a meaningful conversation). These higher levels of interpretability are called "virtual" systems. If such a virtual system is interpretable as if it had a mind, is such a "virtual (...) mind" real? This is the question addressed in this "virtual" symposium, originally conducted electronically among four cognitive scientists: Donald Perlis, a computer scientist, argues that according to the computationalist thesis, virtual minds are real and hence Searle's Chinese Room Argument fails, because if Searle memorized and executed a program that could pass the Turing Test in Chinese he would have a second, virtual, Chinese-understanding mind of which he was unaware (as in multiple personality). Stevan Harnad, a psychologist, argues that Searle's Argument is valid, virtual minds are just hermeneutic overinterpretations, and symbols must be grounded in the real world of objects, not just the virtual world of interpretations. Computer scientist Patrick Hayes argues that Searle's Argument fails, but because Searle does not really implement the program: A real implementation must not be homuncular but mindless and mechanical, like a computer. Only then can it give rise to a mind at the virtual level. Philosopher Ned Block suggests that there is no reason a mindful implementation would not be a real one. (shrink)

The problem of free will lies at the heart of modern scientific studies of consciousness. An influential series of experiments by Libet has suggested that conscious intentions arise as a result of brain activity. This contrasts with traditional concepts of free will, in which the mind controls the body. A more recent study by Haggard and Eimer has further examined the relation between intention and brain processes, concluding that conscious awareness of intention is linked to the choice or selection of (...) a specific action, and not to the earliest initiation of action processes. The exchange of views in this paper further explores the relation between conscious intention and brain activity. (shrink)

In their article, Nielsen Busch and Mjaaland defend the moral permissibility of cDCD, suggesting that much of the controversy around this donation practice has been the result of a misinterpretatio...

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)

Up to now theories of semantic information have implicitly relied on logical monism, or the view that there is one true logic. The latter position has been explicitly challenged by logical pluralists. Adopting an unbiased attitude in the philosophy of information, we take a suggestion from Beall and Restall at heart and exploit logical pluralism to recognise another kind of pluralism. The latter is called informational pluralism, a thesis whose implications for a theory of semantic information we explore.

What is it to see the world, other people, and imagined situations as making personal moral demands of us? What is it to experience stories as speaking to us personally and directly? Kierkegaard's Mirrors explores Kierkegaard's answers to these questions, with a new phenomenological interpretation of Kierkegaardian 'interest'.

Schechtman’s ‘Person Life View’ offers an account of personal identity whereby persons are the unified loci of our practical and ethical judgment. PLV also recognises infants and permanent vegetative state patients as being persons. I argue that the way PLV handles these cases yields an unexpected result: the dead also remain persons, contrary to the widely-accepted ‘Termination Thesis.’ Even more surprisingly, this actually counts in PLV’s favor: in light of our social and ethical practices which treat the dead as moral (...) patients, PLV gives a more plausible account of the status of the dead than its rival theories. (shrink)

This book publishes 31 of the author's selected papers which have appeared, with one exception, since 1970. The papers cover a wide range of topics in the philosophy of science. Part I is concerned with general methodology, including formal and axiomatic methods in science. Part II is concerned with causality and explanation. The papers extend the author's earlier work on a probabilistic theory of causality. The papers in Part III are concerned with probability and measurement, especially foundational questions about probability. (...) Part IV consists of several papers, including two historical ones, on the foundations of physics, with the main emphasis being on quantum mechanics. Part V, the longest part, is on the foundations of psychology and includes papers mainly on learning and perception. The book is aimed at philosophers of science, scientists concerned with the methodology of the social sciences, and mathematical psychologists interested in theories of learning, perception and measurement. (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)

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)

I discuss arguments about the relationship between different “levels” of explanation in the light of examples involving multi-scale analysis. I focus on arguments about causal competition between properties at different levels, such as Jaegwon Kim’s “supervenience argument.” A central feature of Kim’s argument is that higher-level properties can in general be identified with “micro-based” properties. I argue that explanations from multi-scale analysis give examples of explanations that are problematic for accounts such as Kim’s. I argue that these difficulties suggest that (...) some standard assumptions about causal competition need to be revised. (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)

The aim of this paper is to state the single most powerful argument for use of a non-classical logic in quantum mechanics. In outline the argument is the following. The working logic of a science is the logic of the events and propositions to which probabilities are assigned. A probability should be assigned to every element of the algebra of events. In the case of quantum mechanics probabilities may be assigned to events but not, without restriction, to the conjunction of (...) two events. The conclusion is that the working logic of quantum mechanics is not classical. The nature of the logic that is appropriate for quantum mechanics is examined. (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)

In the Metaphysics of Morals, Kant explains that moral anthropology studies the “subjective conditions in human nature that help or hinder [people] in fulfilling the laws of a metaphysics of morals” and insists that such anthropology “cannot be dispensed with” (6:217).1 But it is often difficult to find clear evidence of this sort of anthropology in Kant’s own works. in this paper, i discuss Kant’s account of character as an example of Kantian moral anthropology.

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. ...

Craig's interpolation lemma (if φ → ψ is valid, then φ → θ and θ → ψ are valid, for θ a formula constructed using only primitive symbols which occur both in φ and ψ) fails for many propositional and first order modal logics. The interpolation property is often regarded as a sign of well-matched syntax and semantics. Hybrid logicians claim that modal logic is missing important syntactic machinery, namely tools for referring to worlds, and that adding such machinery solves (...) many technical problems. The paper presents strong evidence for this claim by defining interpolation algorithms for both propositional and first order hybrid logic. These algorithms produce interpolants for the hybrid logic of every elementary class of frames satisfying the property that a frame is in the class if and only if all its point-generated subframes are in the class. In addition, on the class of all frames, the basic algorithm is conservative: on purely modal input it computes interpolants in which the hybrid syntactic machinery does not occur. (shrink)

A structural analogy is pointed out between a check hermeneutically developed phenomenological description, based on Husserl, of the process of perceptual cognition on the one hand and quantum mechanical measurement on the other hand. In Husserl's analytic phase of the cognition process, the 'intentionality-structure' of the subject/object union prior to predication of a local object is an entangled symmetry-making state, and this entanglement is broken in the synthetic phase when the particular local object is constituted under the influence of an (...) iota ('inner horizon') and the 'facticity' of the local world ('outer horizon'). Replacing 'perceptual cognition' by 'measurement' and 'subject' by 'expert subject using a measuring device' the analogy of a formal quantum structure is extended to the conscious structure of all empirical cognition. This is laid out in three theses: about perception, about classical measurement, and about quantum measurement. The results point to the need for research into the quantum structure of the physical embodiment of human cognition. (shrink)

The claim that selves are narratively constituted has attained considerable currency in both analytic and continental philosophy. However, a set of increasingly standard objections to narrative identity are also emerging. In this paper, I focus on metaphysically realist versions of narrative identity theory, showing how they both build on and differ from their neo-Lockean counterparts. But I also argue that narrative realism is implicitly committed to a four-dimensionalist, temporal-parts ontology of persons. That exposes narrative realism to the charge that the (...) narratively constituted self, on the one hand, and the self that is the object of much of our everyday self-reference and self-experience, on the other, can't be the same thing. This conclusion may well force narrativists to abandon metaphysical realism about narrative selves—which, in turn, may leave the invocation of ‘narrativity’ as identity-constituting somewhat under-motivated. (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)

This is an exploratory paper about combining logics, combining theories and combining structures. Typically when one applies logic to such areas as computer science, artificial intelligence or linguistics, one encounters hybrid ontologies. The aim of this paper is to identify plausible strategies for coping with ontological richness.

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)

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)

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)

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)

: A number of critics have argued that Berkeley's metaphysics can offer no tenable account of human agency. In this paper I argue that Berkeley does have a coherent account of action. The paper addresses arguments by C.C. W. Taylor, Robert Imlay, and Jonathan Bennett. The paper attempts to show that Berkeley can offer a theory of action, maintain many of our common intuitions about action, and provide a defensible solution to the problem of evil.

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 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.

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)

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)