We extend the relational algebra of Chin and Tarski so that it is multisorted or, as we prefer, typed. Each type supports a local Boolean algebra outfitted with a converse operator. From Lyndon, we know that relation algebras cannot be represented as proper relation algebras where a proper relation algebra has binary relations as elements and the algebra is singly-typed. Here, the intensional conjunction, which was to represent relational composition in Chin and Tarski, spans three different local algebras, thus the (...) term distributed in the title. Since we do not rely on proper relation algebras, we are free to re-express the algebras as typed. In doing so, we allow many different intensional conjunction operators. We construct a typed logic over these algebras, also known as heterogeneous algebras of Birkhoff and Lipson. The logic can be seen as a form of relevance logic with a classical negation connective where the Routley-Meyer star operator is reified as a converse connective in the logic. Relevance logic itself is not typed but our work shows how it can be made so. Some of the properties of classical relevance logic are weakened from Routley-Meyer’s version which is too strong for a logic over relation algebras. (shrink)

Simulation relations have been discovered in many areas: Computer Science, philosophical and modal logic, and set theory. However, the simulation condition is strictly a first-order logic statement. We extend modal logic with modalities and axioms, the latter’s modeling conditions are the simulation conditions. The modalities are normal, i.e., commute with either conjunctions or disjunctions and preserve either Truth or Falsity (respectively). The simulations are considered arrows in a category where the objects are descriptive, general frames. One can augment the simulation (...) modalities by axioms for requiring the underlying modeling simulations to be bisimulations or to be p-morphisms. The modal systems presented are multi-sorted and both sound and complete with respect to their algebraic and Kripke semantics. (shrink)

We recast parts of decision theory in terms of channel theory concentrating on qualitative issues. Channel theory allows one to move between model theoretic and language theoretic notions as is necessary for an adequate covering. Doing so clarifies decision theory and presents the opportunity to investigate alternative formulations. As an example, we take some of Savage’s notions of decision theory and recast them within channel theory. In place of probabilities, we use a particular logic of preference. We introduce a logic (...) for describing actions separate from the logic of preference over actions. The structures introduced by channel theory that represent the decision problems can be seen to be an abstract framework. This frame-work is very accommodating to changing the nature of the decision problems to handle different aspects or theories about decision making. (shrink)

To show how the case of Mary Shelley’s Victor Frankenstein brings light to the ethical and moral issues raised in Institutional Review Board protocols, we nest an imaginary IRB proposal dated August 1790 by Victor Frankenstein within a discussion of the importance and function of the IRB. Considering the world of science as would have appeared in 1790 when Victor was a student at Ingolstadt, we offer a schematic overview of a fecund moment when advances in comparative anatomy, medical experimentation (...) and theories of life involving animalcules and animal electricity sparked intensive debates about the basic principles of life and the relationship between body and soul. Constructing an IRB application based upon myriad speculations circulating up to 1790, we imagine how Victor would have drawn upon his contemporaries’ scientific work to justify the feasibility of his project, as well as how he might have outlined the ethical implications of his plan to animate life from “dead” tissues. In Mary Shelley’s Frankenstein, Victor failed to consider his creature’s autonomy, vulnerability, and welfare. In this IRB proposal, we show Victor facing those issues of justice and emphasize how the novel can be an important component in courses or workshops on research ethics. Had Victor Frankenstein had to submit an IRB proposal tragedy may have been averted, for he would have been compelled to consider the consequences of his experiment and acknowledge, if not fulfill, his concomitant responsibilities to the creature that he abandoned and left to fend for itself. (shrink)

BackgroundStructured, systematic methods to formulate consensus recommendations, such as the Delphi process or nominal group technique, among others, provide the opportunity to harness the knowledge of experts to support clinical decision making in areas of uncertainty. They are widely used in biomedical research, in particular where disease characteristics or resource limitations mean that high-quality evidence generation is difficult. However, poor reporting of methods used to reach a consensus – for example, not clearly explaining the definition of consensus, or not stating (...) how consensus group panellists were selected – can potentially undermine confidence in this type of research and hinder reproducibility. Our objective is therefore to systematically develop a reporting guideline to help the biomedical research and clinical practice community describe the methods or techniques used to reach consensus in a complete, transparent, and consistent manner.MethodsThe ACCORD project will take place in five stages and follow the EQUATOR Network guidance for the development of reporting guidelines. In Stage 1, a multidisciplinary Steering Committee has been established to lead and coordinate the guideline development process. In Stage 2, a systematic literature review will identify evidence on the quality of the reporting of consensus methodology, to obtain potential items for a reporting checklist. In Stage 3, Delphi methodology will be used to reach consensus regarding the checklist items, first among the Steering Committee, and then among a broader Delphi panel comprising participants with a range of expertise, including patient representatives. In Stage 4, the reporting guideline will be finalised in a consensus meeting, along with the production of an Explanation and Elaboration document. In Stage 5, we plan to publish the reporting guideline and E&E document in open-access journals, supported by presentations at appropriate events. Dissemination of the reporting guideline, including a website linked to social media channels, is crucial for the document to be implemented in practice.DiscussionThe ACCORD reporting guideline will provide a set of minimum items that should be reported about methods used to achieve consensus, including approaches ranging from simple unstructured opinion gatherings to highly structured processes. (shrink)

The book falls into four segments. In the first (Chapter 1), the particular conception of deity that has been predominant in western civilization—the theistic idea of God—is explicated and distinguished from several other notions of the divine. The second segment considers the major reasons that have been advanced in support of the belief that the theistic God exists. In chapters 2 through 4 the three major arguments for the existence of God are discussed, arguments which appeal to facts supposedly available (...) to any rational person, whether religious or not. Chapter 5 considers religious and mystical experience as a source and justification for theistic belief. And in Chapter 6 we examine the role that faith may play in the formation and justification of religious belief. We also consider the important issue of whether belief in God may be entirely rational quite apart from any evidence in its behalf. The third segment undertakes an examination of the problem of evil, which some have thought to provide rational grounds for atheism, the belief that the theistic God does not exist. A number of topics quite central to theistic religion are considered in the fourth segment of the book, chapters 8 through 11. These topics include miracles, the question of life after death, problems in relating the idea of divine foreknowledge to the belief in human freedom, and problems arising from the existence of diverse religions. (shrink)

First published in 1980, and now substantially revised and enlarged, this panoramic survey of philosophic and religious thought, both ancient and modern, provides access to a wide array of ideas. More than just a dictionary, this well-designed reference work contains analytical commentary and historical accounts on a vast range of topics, select bibliographies attached to many of the entries, and considerable cross-referencing. The cross-references run from philosophic movements, to technical terms, to the positions of individual philosophers, thus encouraging a personal (...) exploration of the themes, movements, and thinkers of any particular school of thought. The end result is a reasonably compact single volume with many of the features of a multivolume encyclopedia. Reese covers both analytic and Continental philosophy, and includes a good deal of the history of philosophy. There are biographical entries for more than 900 ancient, medieval, and modern philosophers, for a total number of entries of over 4000. This new edition expands on the original treatment of religion and Asian philosophy and includes enlarged perspectives on Continental philosophy. Named "Outstanding Reference Work" by the American Library Association, the first edition was a Book-of-the-Month science pick and a selection of the Quality Paperback Book Club. Authoritative, comprehensive, clear, and interesting, The Dictionary of Philosophy and Religion will benefit the nonspecialist and specialist alike. (shrink)

This wide-ranging anthology of philosophical writings on the concept of God presents a systematic overview of the chief conceptions of deity as well as skeptical and atheistic critiques of theological ideas. The selections cover key philosophic developments in this subject area from ancient times to modern in both the East and West. Editors Hartshorne and Reese-two of the most highly respected scholars in the philosophy of religion-have not only selected many arresting passages from the world's great thinkers but have also (...) analyzed and evaluated the underlying ideas, showing how they fit into major, overarching systems of thought. Part One, "Classical Views," includes passages from ancient Egyptian, Indian, Chinese, and Judeo-Christian scriptures as well as philosophical writings from ancient Greece, the medieval church, and the Enlightenment. Part Two, "Modern Views," considers the ideas of more recent influential thinkers from diverse cultures and philosophical schools: Schelling, Peirce, Whitehead, Schweitzer, Buber, Radhakrishnan, and Watts, among others, are represented and discussed. Part Three, "Skeptical or Atheistic Views: Ancient and Modern," examines various kinds of skepticism and includes selections from Carneades, Buddha, Hume, Schopenhauer, Feuerbach, Nietzsche, Dennes, and Freud. Throughout their presentation the editors analyze and contrast theistic, atheistic, pantheistic, and panentheistic systems of thought. Philosophers Speak of God is a richly varied selection of high-quality writing on a perennial subject that will provide the serious student a thorough foundation in the philosophy of religion. (shrink)

According to a rights forfeiture theory of punishment, liability to punishment hinges upon the notion that criminals forfeit their rights against hard treatment. In this paper, I assume the success of rights forfeiture theory in establishing the permissibility of punishment but aim to develop the view by considering how forfeited rights might be reclaimed. Built into the very notion of proportionate punishment is the idea that forfeited rights can be recovered. The interesting question is whether punishment is the sole means (...) for reclaiming forfeited rights. I argue for a pluralistic theory of rights reclamation, according to which, there are multiple ways by which a wrongdoer can recapture her forfeited rights. In particular, I argue that offering remorseful compensation is a valid means by which a wrongdoer might partially, or fully, reclaim her right against punishment. (shrink)

Substantial discussion in the neuroethical literature has addressed the possibility that deep brain stimulation (DBS) and adaptive DBS (aDBS) could result in changes in personality, agency, and ide...

Isaac Newton's Scientific Method examines Newton's argument for universal gravity and his application of it to resolve the problem of deciding between geocentric and heliocentric world systems by measuring masses of the sun and planets. William L. Harper suggests that Newton's inferences from phenomena realize an ideal of empirical success that is richer than prediction. Any theory that can achieve this rich sort of empirical success must not only be able to predict the phenomena it purports to explain, but (...) also have those phenomena accurately measure the parameters which explain them. Harper explores the ways in which Newton's method aims to turn theoretical questions into ones which can be answered empirically by measurement from phenomena, and to establish that propositions inferred from phenomena are provisionally accepted as guides to further research. This methodology, guided by its rich ideal of empirical success, supports a conception of scientific progress that does not require construing it as progress toward Laplace's ideal limit of a final theory of everything, and is not threatened by the classic argument against convergent realism. Newton's method endorses the radical theoretical transformation from his theory to Einstein's. Harper argues that it is strikingly realized in the development and application of testing frameworks for relativistic theories of gravity, and very much at work in cosmology today. (shrink)

As science and religion researchers begin to engage questions of mental health, mindfulness may prove to be a fruitful area of investigation. However, quantifying the physical effects of mindfulness on the brain is difficult because mindfulness deals with the problem of mental and physical interaction or, the mind/body problem. One system of understanding which may aid science and religion scholars in the pursuit of mindfulness is traditional Chinese medicine (TCM). Within TCM, heart Qi manages the body's present connection to time (...) and space. If the “being in the moment” is disrupted, then the heart Qi is blocked and mental illness or various neurological disorders occur. Succinctly, within TCM, mindfulness is understood as a nonphysical phenomenon (Qi) which directly affects physical systems, resulting in empirical data. This is tracked and treated through the TCM understanding of Qi. The TCM view of Qi in mental health may therefore provide a helpful new paradigm to investigations concerning mindfulness and the human brain. (shrink)

Science can reinforce the healthy aspects of the politics of the policy process, to identify and further the public interest by discrediting policy options serving only special interests and helping to select among “science-confident” and “hedging” options. To do so, scientists must learn how to manage and communicate the degree of uncertainty in scientific understanding and prediction, lest uncertainty be manipulated to discredit science or to justify inaction. For natural resource and environmental policy, the institutional interests of government agencies, as (...) well as private interests, pose challenges of suppression, over-simplification, or distortion of scientific information. Scientists can combat these maneuvers, but must also look inward to ensure that their own special interests do not undermine the usefulness of science. (shrink)

Introduction: the Study of Argumentation Although our overall organization of the readings suggests one way of dividing our selected literature, ...

Can God Be Free? is a penetrating study of a central problem in philosophy of religion: can it be right to regard God as free, and as praiseworthy for being perfectly good? Allowing that he has perfect knowledge and perfect goodness, if there is a best world for God to create he would have no choice other than to create it. But if God could not do otherwise than create the best world, he created the world of necessity, not freely, (...) and we have no reason to be thankful to God for creating us, since he couldn't do otherwise. William Rowe proposes the need for some substantial revision in contemporary thinking about the nature of God. (shrink)

Background: Locke's Conception of Freedom For how can we think any one freer than to have the power to do what we will. — John Locke n his chapter on power ...

This paper deals with what a government funded development agency should do when a developing country imposes restrictions on the development process which discriminate on the basis of gender against some members of the development agency’s staff. The conclusion is that there are circumstances in which development agencies should continue their work in the face of gender discrimination but they should not instigate development projects if doing so would involve them in gender discrimination. A set of procedures for a development (...) agency to follow in these difficult circumstances is outlined. It is argued that an agency is entitled to violate a moral principle when so doing will reduce violations of that same principle. (shrink)

Can God Be Free? is a penetrating study of a central problem in philosophy of religion: can it be right to regard God as free, and as praiseworthy for being perfectly good? Allowing that he has perfect knowledge and perfect goodness, if there is a best world for God to create he would have no choice other than to create it. But if God could not do otherwise than create the best world, he created the world of necessity, not freely, (...) and we have no reason to be thankful to God for creating us, since he couldn't do otherwise. William Rowe proposes the need for some substantial revision in contemporary thinking about the nature of God. (shrink)

The conceptual framework of religion is more like the frame of a picture than the frame of a house; and what goes on within the frame is other than conceptual. This is the hypothesis motivating the analysis which follows. Given the hypothesis, the problem is to conceive what religion is - this other-than-conceptual enterprise which tends to attract conceptual frames. A possible answer is available in Wittgensteinian ‘seeing-as’. A number of philosophers of religion have recently exercised this option. The present (...) paper adds to their work by comparing a number of types of religious seeing-as with the instances of visual ambiguity drawn on by Wittgenstein. (shrink)

A number of theologians and philosophers have found theodical value in the theme of divine solidarity with human suffering. To further develop this theme, I examine what it would mean to assert that Christ on the cross participated in a representative sample of human suffering. Particular attention is paid to Christ’s cry of dereliction. I argue that if God through Christ identified with the very worst kinds of human suffering on the cross, then the cry of dereliction should be interpreted (...) as indicating an epistemic break between God and Christ, and not merely an attentional disruption. According to this account, Christ’s death cry expressed his temporary inability to grasp the significance of his passion and death. In this way, Christ on the cross suffered the full effects of divine hiddenness, thus sharing with horror-sufferers the experience of meaning-negating suffering. (shrink)

This paper deals with what a government funded development agency should do when a developing country imposes restrictions on the development process which discriminate on the basis of gender against some members of the development agency’s staff. The conclusion is that there are circumstances in which development agencies should continue their work in the face of gender discrimination but they should not instigate development projects if doing so would involve them in gender discrimination. A set of procedures for a development (...) agency to follow in these difficult circumstances is outlined. It is argued that an agency is entitled to violate a moral principle when so doing will reduce violations of that same principle. (shrink)