It is well known that the modal logic S5 can be embedded in the classical predicate logic by interpreting the modal operator in terms of a quantifier. Wajsberg [10] proved this fact in a syntactic way. Mints [7] extended this result to the quantified version of S5; using a purely proof-theoretic method he showed that the quantified S5 corresponds to the classical predicate logic with one-sorted variable. In this paper we extend Mints' result to the basic modal logic S4; we (...) investigate the correspondence between the quantified versions of S4 (with and without the Barcan formula) and the classical predicate logic (with one-sorted variable). We present a purely proof-theoretic proof-transformation method, reducing an LK-proof of an interpreted formula to a modal proof. (shrink)

It is well known that the modal logic S5 can be embedded in the classical predicate logic by interpreting the modal operator in terms of a quantifier. Wajsberg proved this fact in a syntactic way. Mints extended this result to the quantified version of S5; using a purely proof-theoretic method he showed that the quantified S5 corresponds to the classical predicate logic with one-sorted variable. In this paper we extend Mints’ result to the basic modal logic S4; we investigate the (...) correspondence between the quantified versions of S4 and the classical predicate logic. We present a purely proof-theoretic proof-transformation method, reducing an LK-proof of an interpreted formula to a modal proof. (shrink)

In this paper, we show the equivalence between the provability of a proof system of basic hybrid logic and that of translated formulas of the classical predicate logic with equality and explicit substitution by a purely proof–theoretic method. Then we show the equivalence of two groups of proof systems of hybrid logic: the group of labelled deduction systems and the group of modal logic-based systems.

The modal logic of Gödel sentences, termed as GS, is introduced to analyze the logical properties of 'true but unprovable' sentences in formal arithmetic. The logic GS is, in a sense, dual to Grzegorczyk's Logic, where modality can be interpreted as 'true and provable'. As we show, GS and Grzegorczyk's Logic are, in fact, mutually embeddable. We prove Kripke completeness and arithmetical completeness for GS. GS is also an extended system of the logic of 'Essence and Accident' proposed by Marcos (...) (Bull Sect Log 34(1):43-56, 2005). We also clarify the relationships between GS and the provability logic GL and between GS and Intuitionistic Propositional Logic. (shrink)

This article aims to read feminist new materialisms (Barad), together with ‘postulated’ linguistic or cultural primacy of Queer Theory (Butler), to show how both are engaged in similar critical-ethical endeavours. The central argument is that the criticism of Barad and new materialisms misses Butler’s materialistic insights due to a narrow interpretation of Butler's alleged social-constructivist position. There is, therefore, a specific focus on where they both make similar ethical appeals. Moreover, the article relies on Adorno's negative dialectic to highlight an (...) interpretation of Barad and Butler as being part of the same dialectical movement, in which materialism and idealism fluctuate in their mutual criticisms, thus continuing the procession towards 'new knowledge' and emancipation, or freedom, through their motions back and forth. (shrink)

The book challenges the values of much of contemporary bioethics and health care policy by confronting their failure to secure the moral norms they seek to apply.

In a classical 1976 paper, Solovay proved the arithmetical completeness of the modal logic GL; provability of a formula in GL coincides with provability of its arithmetical interpretations of it in Peano Arithmetic. In that paper, he also provided an axiomatic system GLS and proved arithmetical completeness for GLS; provability of a formula in GLS coincides with truth of its arithmetical interpretations in the standard model of arithmetic. Proof theory for GL has been studied intensively up to the present day. (...) However, it might sound somewhat strange that no proof theory for GLS was ever developed nor even suggested thus far, except for the axiomatic system offered by Solovay. In this paper, we develop a proof theory for GLS based on the sequent calculus method. We provide a sequent calculus for GLS and prove the cut-elimination and some standard consequences of it: the interpolation and definability theorems. As another consequence of cut-elimination, we also prove the equivalence of GL and GLS with respect to a special form of formulas which we call Gödel sentences, using a purely proof-theoretical method. (shrink)

Provability, Computability and Reflection.

This is the first complete, one-volume English translation of the ancient Chinese text Xunzi, one of the most extensive, sophisticated, and elegant works in the tradition of Confucian thought. Through essays, poetry, dialogues, and anecdotes, the Xunzi articulates a Confucian perspective on ethics, politics, warfare, language, psychology, human nature, ritual, and music, among other topics. Aimed at general readers and students of Chinese thought, Eric Hutton’s translation makes the full text of this important work more accessible in English than ever (...) before. Named for its purported author, the Xunzi has long been neglected compared to works such as the Analects of Confucius and the Mencius. Yet interest in the Xunzi has grown in recent decades, and the text presents a much more systematic vision of the Confucian ideal than the fragmented sayings of Confucius and Mencius. In one famous, explicit contrast to them, the Xunzi argues that human nature is bad. However, it also allows that people can become good through rituals and institutions established by earlier sages. Indeed, the main purpose of the Xunzi is to urge people to become as good as possible, both for their own sakes and for the sake of peace and order in the world. In this edition, key terms are consistently translated to aid understanding and line numbers are provided for easy reference. Other features include a concise introduction, a timeline of early Chinese history, a list of important names and terms, cross-references, brief explanatory notes, a bibliography, and an index. (shrink)

The development of transplantation technology increasingly places before society a multitude of diverse, complex ethical and legal problems. The subject is the more complex because of the various divergent interests involved. There are the interests of the donor of organs, who has a right to protection of his legal position, and those of the patient in need of an often lifesaving organ. There are also the interests of the donor’s relatives, after his death, and those of the transplantation surgeons. The (...) international dimension of transplantation technology makes the picture even more complicated. Though this article is devoted to the European situation, the problems are similar all over the world. (shrink)

The development of transplantation technology increasingly places before society a multitude of diverse, complex ethical and legal problems. The subject is the more complex because of the various divergent interests involved. There are the interests of the donor of organs, who has a right to protection of his legal position, and those of the patient in need of an often lifesaving organ. There are also the interests of the donor’s relatives, after his death, and those of the transplantation surgeons. The (...) international dimension of transplantation technology makes the picture even more complicated. Though this article is devoted to the European situation, the problems are similar all over the world. (shrink)

Catastrophic risk raises questions that are not only of practical importance, but also of great philosophical interest, such as how to define catastrophe and what distinguishes catastrophic outcomes from non-catastrophic ones. Catastrophic risk also raises questions about how to rationally respond to such risks. How to rationally respond arguably partly depends on the severity of the uncertainty, for instance, whether quantitative probabilistic information is available, or whether only comparative likelihood information is available, or neither type of information. Finally, catastrophic risk (...) raises important ethical questions about what to do when catastrophe avoidance conflicts with equity promotion. (shrink)

First published in 2000. Routledge is an imprint of Taylor & Francis, an informa company.

First Published in 2000. Routledge is an imprint of Taylor & Francis, an informa company.

This study described the relationships between academic class and student moral sensitivity and reasoning and between curriculum design components for ethics education and student moral sensitivity and reasoning. The data were collected from freshman (n = 506) and senior students (n = 440) in eight baccalaureate nursing programs in South Korea by survey; the survey consisted of the Korean Moral Sensitivity Questionnaire and the Korean Defining Issues Test. The results showed that moral sensitivity scores in patient-oriented care and conflict were (...) higher in senior students than in freshman students. Furthermore, more hours of ethics content were associated with higher principled thinking scores of senior students. Nursing education in South Korea may have an impact on developing student moral sensitivity. Planned ethics content in nursing curricula is necessary to improve moral sensitivity and moral reasoning of students. (shrink)

A promise to do some action seems to create a binding obligation to do that action. And yet, paradoxically, an obligation seems not to be a fact that we can create or bring into existence; we can create an obligation only by creating or bringing into existence something else. The only way to avoid the paradox is to show that the act of promising creates something other than an obligation, which nonetheless binds us to perform the action in question. After (...) considering and rejecting various options such as the promisee's expectation and the promisor's resolve, Prichard locates the bindingness of a promise in a prior general promise, which allows the noises we make when promising to generate an obligation to perform the promised action. (shrink)

What are 'emotions'? This book offers a balanced survey of facts and theory.

Science Without Numbers caused a stir in 1980, with its bold nominalist approach to the philosophy of mathematics and science. It has been unavailable for twenty years and is now reissued in a revised edition with a substantial new preface presenting the author's current views and responses to the issues raised in subsequent debate.

To the question ‘What does it mean to act or to do something?’, replies that it is not easy to identify a common character in actions. Begins by examining the position of Cook Wilson, who maintains that ‘to do something’ means to originate, cause, or bring into existence, either directly or indirectly, some not yet existing state either in oneself or some other body. Although Prichard agrees that usually action involves causing something, he observes that causing a change is not (...) itself an activity. In moving one's hand, one performs that indefinable mental activity of willing some change. The movement of the hand is the effect of the action, not the action itself, a fact overlooked by thinkers like Locke. Turning to the nature of the desire behind one's willing, Prichard rejects the view that this desire is actually a desire for the change willed. Despite forceful objections, Prichard maintains that this desire is the desire for the willing of that change. (shrink)

According to the orthodox treatment of risk preferences in decision theory, they are to be explained in terms of the agent's desires about concrete outcomes. The orthodoxy has been criticised both for conflating two types of attitudes and for committing agents to attitudes that do not seem rationally required. To avoid these problems, it has been suggested that an agent's attitudes to risk should be captured by a risk function that is independent of her utility and probability functions. The main (...) problem with that approach is that it suggests that attitudes to risk are wholly distinct from people's (non-instrumental) desires. To overcome this problem, we develop a framework where an agent's utility function is defined over chance propositions (i.e., propositions describing objective probability distributions) as well as ordinary (non-chance) ones, and argue that one should explain different risk attitudes in terms of different forms of the utility function over such propositions. (shrink)

Suppose that a decision-maker's aim, under certainty, is to maximise some continuous value, such as lifetime income or continuous social welfare. Can such a decision-maker rationally satisfy what has been called "continuity for easy cases" while at the same time satisfying what seems to be a widespread intuition against the full-blown continuity axiom of expected utility theory? In this note I argue that the answer is "no": given transitivity and a weak trade-off principle, continuity for easy cases violates the anti-continuity (...) intuition. I end the note by exploring an even weaker continuity condition that is consistent with the aforementioned intuition. (shrink)

Many philosophers think that we should use a lottery to decide who gets a good to which two persons have an equal claim but which only one person can get. Some philosophers think that we should save identified persons from harm even at the expense of saving a somewhat greater number of statistical persons from the same harm. I defend a principled way of justifying both judgements, namely, by appealing to the decreasing marginal moral value of survival chances. I identify (...) four desiderata that, I contend, any such justification should satisfy, and explain how my account meets these desiderata, unlike some previous accounts. (shrink)

This volume is a wonderful introduction to Foucault and a testimony to the deep humanity of the man himself.

Prichard's concern here is whether a person's obligation depends either on features of his or her situation or on features of his or her thoughts about that situation. Related to this contrast between the objective view and the subjective view is the issue of whether an obligation is an obligation to do some action. To the latter issue, Prichard responds that an obligation is not an obligation to do something, but an obligation to set ourselves to do something; as a (...) consequence, it is necessary to modify the terms of Prichard's primary concern. This modification diminishes the force of the objective view and does nothing to eliminate the central difficulty in the subjective view, namely, that the obligation to do some action is said to depend not on the character that the action would have, but on our belief that it would have that character. The belief that some general character picks out obligations derives from the mistaken habit of regarding the terms ‘right’ and ‘wrong’ as equivalent to ‘ought’ and ‘ought not’. Having highlighted this mistake, Prichard holds that in instances where we have considered the circumstances fully, our thoughts about the situation decide whether we ought to perform a given activity. (shrink)

In this paper we briefly examine and evaluate Quine’s physicalism. On the supposition, in accordance with Quine’s views, that there can be no change of any sort without a physical change, we argue that this point leaves plenty of room to understand and accept a limited autonomy of the special sciences and of other domains of disciplinary and common-sense inquiry and discourse. The argument depends on distinguishing specific, detailed programs of reduction from the general Quinean strategy of reduction by explication. (...) We argue that the details of the relations of particular sciences, disciplines and domains of discourse depend on empirical evidence and empirical-theoretical developments and that the generalized approach of reduction by explication is also subject to related empirical-theoretical constraints. So understood, physicalism lacks much of the controversial force and many of the implications sometimes associated with it. (shrink)