‘Molinism’, in contemporary usage, is the name for a theory about the workings of divine providence. Its defenders include some of the most prominent contemporary Protestant and Catholic philosophical theologians.¹ Molinism is often said to be the only way to steer a middle..

A BCK-algebra is an algebra in which the terms are generated by a set of variables, 1, and an arrow. We mean by aBCK-identity an equation valid in all BCK-algebras. In this paper using a syntactic method we show that for two termss andt, if neithers=1 nort=1 is a BCK-identity, ands=t is a BCK-identity, then the rightmost variables of the two terms are identical.This theorem was conjectured firstly in [5], and then in [3]. As a corollary of this theorem, we (...) derive that the BCK-algebras do not form a variety, which was originally proved algebraically by Wroski ([4]). (shrink)

In this paper we consider properties, related to model-completeness, of the theory of integrally closed commutative regular rings. We obtain the main theorem claiming that in a Boolean algebra B, the truth of a prenex Σn-formula whose parameters ai partition B, can be determined by finitely many conditions built from the first entry of Tarski invariant T(ai)'s, n-characteristic D(n, ai)'s and the quantities S(ai, l) and S'(ai, l) for $l < n$. Then we derive two important theorems. One claims that (...) for any Boolean algebras A and B, an embedding of A into B preserving D(n, a) for all a ∈ A is a Σn-extension. The other claims that the theory of n-separable Boolean algebras admits elimination of quantifiers in a simple definitional extension of the language of Boolean algebras. Finally we translate these results into the language of commutative regular rings. (shrink)

Property dualism is enjoying a slight resurgence in popularity, these days; substance dualism, not so much. But it is not as easy as one might think to be a property dualist and a substance materialist. The reasons for being a property dualist support the idea that some phenomenal properties (or qualia) are as fundamental as the most basic physical properties; but what material objects could be the bearers of the qualia? If even some qualia require an adverbial construal (if they (...) are modifications of the thing that is conscious because of them, not properties of something else to which the subject of consciousness is related), then the property dualist can be driven to speculative forms of materialism none of which, at this point, looks more likely to be true than the more modest versions of emergent dualism defended by contemporary substance dualists. (shrink)

In the October edition of the Journal of Medical Ethics, Akabayashi and colleagues state that ’to establish a heterogeneous [induced pluripotent stem cell] iPSC bank covering roughly 80% of Japan’s population…the Japanese government decided to invest JPY110 billion over 10 years in regenerative medicine research; a quarter of this was to be allocated to the iPSC stock project'. While they claim this amount of money to be an unfair distribution of state resources, we believe their assessment is based on a (...) misunderstanding of the facts. Similarly, other criticisms by them are based on mistaken interpretations. This article is a rebuttal to the arguments that form the basis of Akabayashi and colleagues’ five criticisms by explaining their misinterpretations. (shrink)

In this classic analysis of travel and sightseeing, author Dean MacCannell brings social scientific understandings to bear on tourism in the postindustrial age, during which the middle class has acquired leisure time for international travel. In _The Tourist_—now with a new introduction framing it as part of a broader contemporary social and cultural analysis—the author examines notions of authenticity, high and low culture, and the construction of social reality around tourism.

This paper presents a new correctness criterion for marked Danos-Reginer graphs (D-R graphs, for short) of Multiplicative Cyclic Linear Logic MCLL and Abrusci's non-commutative Linear Logic MNLL. As a corollary we obtain an affirmative answer to the open question whether a known quadratic-time algorithm for the correctness checking of proof nets for MCLL and MNLL can be improved to linear-time.

This paper presents a new correctness criterion for marked Danos-Reginer graphs of Multiplicative Cyclic Linear Logic MCLL and Abrusci's non-commutative Linear Logic MNLL. As a corollary we obtain an affirmative answer to the open question whether a known quadratic-time algorithm for the correctness checking of proof nets for MCLL and MNLL can be improved to linear-time.

Selective scientific realists disagree on which theoretical posits should be regarded as essential to the empirical success of a scientific theory. A satisfactory account of essentialness will show that the (approximate) truth of the selected posits adequately explains the success of the theory. Therefore, (a) the essential elements must be discernible prospectively; (b) there cannot be a priori criteria regarding which type of posit is essential; and (c) the overall success of a theory, or ‘cluster’ of propositions, not only individual (...) derivations, should be explicable. Given these desiderata, I propose a “unification criterion” for identifying essential elements. (shrink)

Sparrow highlights three potential applications of in vitro eugenics, that is, (a) research into the heredity of genetic disorders, (b) production of cell lines with specific genotypes, and (c) breeding better babies, and points to the need for researchers to discuss in advance the potential ethical problems that may emerge if the realization of this technology occurs in the near future. In this commentary, we pose a question for the sake of discussion. Is it, in fact, appropriate to label all (...) three applications raised by Sparrow as eugenics? By doing so, an unnecessary level of concern might be borne among the public, and as a result, the sound development of this specialized technology would be affected. If the label of eugenics is to be applied to all three of these applications, then Sparrow must justify how he perceives (a) and (b) as not inherently different from (c). (shrink)

The JSTOR Archive is a trusted digital repository providing for long-term preservation and access to leading academic journals and scholarly literature from around the world. The Archive is supported by libraries, scholarly societies, publishers, and foundations. It is an initiative of JSTOR, a not-for-profit organization with a mission to help the scholarly community take advantage of advances in technology. For more information regarding JSTOR, please contact [email protected].

Shows that the very same asymmetries that arise for intentionally also arise from deciding, desiring, in favor of, opposed to, and advocating. It seems that the phenomenon is not due to anything about the concept of intentional action in particular. Rather, the effects observed for the concept of intentional action should be regarded as just one manifestation of the pervasive impact of moral judgment.

"I am delighted to offer my highest praise to Dean Cocking and Jeroen van den Hoven's brilliant new book, Evil Online. The confrontation between good and evil occupies a central place in the challenges facing our human nature, and this creative investigation into the spread of evil by means of all-powerful new technologies raises fundamental questions about our morality and values. Cocking and Van den Hoven's account of the moral fog of evil forces us to face both the demons (...) within each of us as well as the demons all around us. In the end, we are all enriched by their perceptive analyses." —Phil Zimbardo, Professor Emeritus of Psychology, Stanford University Principal Investigator, Stanford Prison Experiment "The internet offers new and deeply concerning opportunities for immorality, much of it shocking and extreme. This volume explains with great insight and clarity the corrupting nature of the internet and the moral confusion it has produced. It will play a vital role in the growing debate about how to balance the benefits of the internet against the risks it poses to all of us. Evil Online is an excellent book." —Roger Crisp, Professor of Moral Philosophy, University of Oxford We now live in an era defined by the ubiquity of the internet. From our everyday engagement with social media to trolls on forums and the emergence of the dark web, the internet is a space characterized by unreality, isolation, anonymity, objectification, and rampant self-obsession—the perfect breeding ground for new, unprecedented manifestations of evil. Evil Online is the first comprehensive analysis of evil and moral character in relation to our increasingly online lives. Chapters consider traditional ideas around the phenomenon of evil in moral philosophy and explore how the dawn of the internet has presented unprecedented challenges to older theoretical approaches. Cocking and Van den Hoven propose that a growing sense of moral confusion—moral fog—pushes otherwise ordinary, normal people toward evildoing, and that values basic to moral life such as autonomy, intimacy, trust, and privacy are put at risk by online platforms and new technologies. This new theory of evildoing offers fresh insight into the moral character of the individual, and opens the way for a burgeoning new area of social thought. A comprehensive analysis of an emerging and disturbing social phenomenon, Evil Online examines the morally troubling aspects of the internet in our society. Written not only for academics in the fields of philosophy, psychology, information science, and social science, Evil Online is accessible and compelling reading for anyone interested in understanding the emergence of evil in our digitally-dominated world. (shrink)

BackgroundThe Act Regarding the Promotion of the Appropriate Supply of Hematopoietic Stem Cells for Transplant regulates only how public banks store and provide umbilical cord blood for research or transplantation. Japan had no laws to regulate how the private banks manage the procedures, harvesting, preparation, and storage of such blood. As a result, the status of UCB distribution remains unknown. We conducted a survey to investigate the current status of UCB storage and provision to private biobanks by Japanese institutions that (...) handle childbirth.MethodsQuestionnaire forms were mailed to 3,277 facilities handling childbirth that were registered in the Japan Council for Quality Health Care website.ResultsOf the 1,192 institutions handling childbirth that participated in the survey, 34.4% responded that they currently provide UCB to private biobanks, while 16.1% of facilities did so in the past. Moreover, some institutions currently provide or formerly provided UCB to medical treatment facilities, research institutions, companies, or overseas treatment facilities, research institutions, or companies. A certain number of institutions handling childbirth did not even provide explanations or obtain consent when the UCB was harvested from private bank users.ConclusionsThis is the first study to determine the status of UCB provision to private banks by Japanese institutions handling childbirth. Future studies will need to examine in detail how institutions handling childbirth provide explanations to private bank users and UCB providers as well as how these institutions obtain consent. (shrink)

The paper has two parts: First, I describe a relatively popular thesis in the philosophy of propositional attitudes, worthy of the name ‘taking tense seriously’; and I distinguish it from a family of views in the metaphysics of time, namely, the A-theories (or what are sometimes called ‘tensed theories of time’). Once the distinction is in focus, a skeptical worry arises. Some A-theorists maintain that the difference between past, present, and future, is to be drawn in terms of what exists: (...) growing-block theorists eschew ontological commitment to future entities; presentists, to future and past entities. Others think of themselves as A-theorists but exclude no past or future things from their ontology. The metaphysical skeptic suspects that their attempt to articulate an ‘eternalist’ version of the A-theory collapses into merely ‘taking tense seriously’– a thesis that does not imply the A-theory. The second half of the paper is the search for a stable eternalist A-theory. It includes discussion of temporary intrinsics, temporal parts, and truth. (shrink)

Let us say that an extended object is “composed wholly of simples” just in case it is an aggregate of absolutely unextended parts spread throughout an extended region—that is, just in case there is a set S such that: every member is a point-sized part of the object, and for every x, x is part of the object if and only if it has a part in common with some member of S. Could a truly extended substance be composed entirely (...) of unextended parts? Reflection upon the fact that it must be at least possible for extended objects to touch one another suggests that the answer to this question is: No. (shrink)

It is a natural thought that understanding language consists in possessing knowledge—to understand a word is to know what it means. It is also natural to suppose that this knowledge is propositional knowledge—to know what a word means is to know that it means such-and-such. Thus it is prima facie plausible to suppose that understanding a bit of language consists in possessing propositional knowledge of its meaning. I refer to this as the epistemic view of understanding language. The theoretical appeal (...) of this view for the philosophy of language is that it provides for an attractive account of the project of the theory of meaning. If understanding language consists in possessing propositional knowledge of the meanings of expressions, then a meaning theory amounts to a theory of what speakers know in virtue of understanding language. In this paper I argue that, despite its intuitive and theoretical appeal, the epistemic view is false. Propositional knowledge is not necessary for understanding language, not even tacit knowledge. Unlike knowledge, I argue, linguistic understanding does not fail in Gettier cases, does not require epistemic warrant and does not even require belief. The intuitions about knowledge that have been central to epistemology do not seem to hold for linguistic understanding. So unless epistemologists have been radically mistaken about what knowledge requires, knowledge is unnecessary for understanding language. (shrink)

Uncorrected Proof; please cite published version.

We focus here on some familiar kinds of cases of conflict between friendship and morality, and, on the basis of our account of the nature of friendship, argue for the following two claims: first, that in some cases where we are led morally astray by virtue of a relationship that makes its own demands on us, the relationship in question is properly called a friendship; second, that relationships of this kind are valuable in their own right.

Let us say that an extended object is “composed wholly of simples” just in case it is an aggregate of absolutely unextended parts spread throughout an extended region—that is, just in case there is a set S such that: every member is a point-sized part of the object, and for every x, x is part of the object if and only if it has a part in common with some member of S. Could a truly extended substance be composed entirely (...) of unextended parts? Reflection upon the fact that it must be at least possible for extended objects to touch one another suggests that the answer to this question is: No. (shrink)

The ‘friends of temporal parts’ and their opponents disagree about how things persist through time. The former, who hold what is sometimes called a ‘4D’ theory of persistence, typically claim that all objects that last for any period of time are spread out through time in the same way that spatially extended objects are spread out through space — a different part for each region that the object fills. David Lewis calls this manner of persisting ‘perdurance’. The opposing, ‘3D’ theory (...) has it that at least some objects do not persist in this manner; they ‘endure’ through time by ‘being wholly present at more than one time’.1 A related dispute pits ‘presentists’ against ‘non-presentists’. Presentists hold that the only things that really exist are those that exist now, at the present moment; and nonpresentists believe in something like a ‘block-universe’ in which non-simultaneous objects and events nevertheless co-exist (in a tenseless or non-temporal sense). Of late, the relations between these four positions have come under considerable scrutiny.2 As Ned Markosian has pointed out, it would be surprising if commitment to a perdurance or endurance theory of persistence automatically foreclosed one’s options in the presentism—non-presentism debate. But, says Markosian, that is just what the standard formulations of the perdurance and endurance theories imply.3 David Lewis has set the terms of the debate; in his usage, someone who thinks that all persisting objects endure would be said to hold the following. (shrink)

Physical boundaries and the earliest topologists. Topology has a relatively short history; but its 19th century roots are embedded in philosophical problems about the nature of extended substances and their boundaries which go back to Zeno and Aristotle. Although it seems that there have always been philosophers interested in these matters, questions about the boundaries of three-dimensional objects were closest to center stage during the later medieval and modern periods. Are the boundaries of an object actually existing, less-than-three-dimensional parts of (...) the object—that is, are solids bounded by two-dimensional surfaces, surfaces by one-dimensional “edges” or “physical lines”, edges by dimensionless “simples”? If not, how does a perfectly spherical object manage to touch a perfectly flat object—what part of the sphere is in immediate contact with the plane, if the sphere has no unextended parts? But if such parts be admitted, are we not then saddled with “actual infinities” of simples, lines, and surfaces spread throughout each continuous object—the boundaries of all the object’s internal parts? Does it help to say that these internal boundaries exist only “potentially”? (shrink)

Recent publications by several leading philosophers of chemistry have focused on the definition, scope, utility, and nomenclature of issues dealing with acidity and basicity. In this paper, molecular orbital theory is used to explain all acid–base reactions, concluding that the interaction of the highest occupied molecular orbital (HOMO) of one substrate, “the base,” with the lowest unoccupied molecular orbital (LUMO) of a second substrate, “the acid,” determines the reactivity of such systems. This paradigm provides an understanding of all acid–base reactions (...) as well as other reactions which, on the surface, may not seem like acid–base reactions but which have fundamental underpinnings of that kind of chemistry. Rather than being unable to determine a unified understanding of acidity and basicity as suggested in the philosophy of chemistry literature, we propose that acidity and basicity fit securely in a classification of many other reactions that, using classical chemistry knowledge, pre-quantum chemistry, would not be possible. We strongly support the use of all scientific knowledge and experience in the development of the ideas in the philosophy science. We further suggest increased interactions between philosophers of science and scientists, so that all scholars benefit from the values, knowledge, and perspectives of other disciplines. (shrink)

"Justice as the Living Good offers a comprehensive reading of Hegel's social and political philosophy. Two hundred years after the publication of his Philosophy of Right, Hegel's theory of justice remains a viable alternative to the social contract tradition in modern political theory. Hegel's Value shows that underlying Hegel's claims about freedom and history is a theory of value grounded in our dual nature as living and self-conscious beings. While Hegel follows the modern tradition in basing his theory on the (...) free will, he departs from the tradition in emphasizing the expression of the will in valuable action. Hegel's Value argues for the expressive validity of practical inferences as the key to understanding the connection between value and a system of right. Through a close reading of key episodes in the Phenomenology of Spirit and of the entire Philosophy of Right, this study show how Hegel develops his account of justice through an inferentialist conception of reason. Hegel's Value traces the development of right from the basic conception of property rights to an inclusive conception that he calls simply the Good, and finally to a system of just institutions structured by "living" inferential relations. The result is an institutional system governed by a moral ideal but realized through concrete economic and political processes"--. (shrink)

We argue that companion friendship is not importantly marked by self-disclosure as understood in either of these two ways. One's close friends need not be markedly similar to oneself, as is claimed by the mirror account, nor is the role of private information in establishing and maintaining intimacy important in the way claimed by the secrets view. Our claim will be that the mirror and secrets views not only fail to identify features that are in part constitutive of close or (...) companion friendship, but that they miss the mark quite broadly and fail to capture anything significant and distinctive about the ways in which friendship has an impact on the self. The article will proceed as follows. In the first section we outline our account of the self in friendship. In the next two sections we examine the mirror and secrets views and develop our own view in counterpoint to these. In the final section we defend our own account by showing how it provides the governing conditions which do distinguish friendship from other kinds of relations between persons. (shrink)

It is not easy to be a materialist and yet believe that there is a way for human beings to survive death. Peter van Inwagen identifies the central obstacle the materialist faces: Namely, the need to posit appropriate “immanent-causal” connections between my body as it is at death and some living body elsewhere or elsewhen. I offer a proposal, consistent with van Inwagen’s own materialist metaphysics, for making materialism compatible with the possibility of survival.

... dedicated to the timely publication of new work in metaphysics, broadly construed.

ABSTRACT In ‘The Pro‐Life Argument from Substantial Identity: A Defence’, Patrick Lee argues that the right to life is an essential property of those that possess it. On his view, the right arises from one's ‘basic’ or ‘natural’ capacity for higher mental functions: since human organisms have this capacity essentially, they have a right to life essentially. Lee criticises an alternative view, on which the right to life arises from one's ‘developed’ capacity for higher mental functions (or development of some (...) other accidental property). I argue that his criticisms of this alternative view are misguided or self‐defeating, and that there are good reasons to hold we have a right to life accidentally rather than essentially. (shrink)

Physical boundaries and the earliest topologists. Topology has a relatively short history; but its 19th century roots are embedded in philosophical problems about the nature of extended substances and their boundaries which go back to Zeno and Aristotle. Although it seems that there have always been philosophers interested in these matters, questions about the boundaries of three-dimensional objects were closest to center stage during the later medieval and modern periods. Are the boundaries of an object actually existing, less-than-three-dimensional parts of (...) the object—that is, are solids bounded by two-dimensional surfaces, surfaces by one-dimensional “edges” or “physical lines”, edges by dimensionless “simples”? If not, how does a perfectly spherical object manage to touch a perfectly flat object—what part of the sphere is in immediate contact with the plane, if the sphere has no unextended parts? But if such parts be admitted, are we not then saddled with “actual infinities” of simples, lines, and surfaces spread throughout each continuous object—the boundaries of all the object’s internal parts? Does it help to say that these internal boundaries exist only “potentially”? (shrink)