INTRODUCTION STATEMENT OF THE THESIS To the student of the social sciences it is interesting to observe the process by which, in one respect at least, ...

This paper examines the role of clinical practitioners and clinical researchers internationally in establishing the utility of harm-reduction approaches to substance use. It thus illustrates the potential for clinicians to play a pivotal role in health promoting structural interventions based on harm-reduction goals and public health models. Popular media images of drug use as uniformly damaging, and abstinence as the only acceptable goal of treatment, threaten to distort clinical care away from a basis in evidence, which shows that some ways (...) of using drugs are far more harmful than others and that punitive approaches and insistence on total abstinence as the only goal of treatment often increases the harms of drug use rather than reducing drug use. Therefore the leadership and scientific authority of clinicians who understand the health impact of harm-reduction strategies is needed. Through a review of harm-reduction interventions in Canada, the United Kingdom, the United States, Australia, Switzerland, and the Netherlands, we identify three ways that clinicians have helped to achieve a paradigm shift from punitive approaches to harm-reduction principles in clinical care and in drug policy: through clinical research to provide data establishing the effectiveness and feasibility of harm-reduction approaches, by developing innovative clinical programmes that employ harm reduction, and thereby changing the standard of care to include routine use of these evidence-based approaches in their practices. We argue that through promotion of harm-reduction goals and methods, clinicians have unique opportunities to improve the health outcomes of vulnerable populations. (shrink)

The quantified relevant logic RQ is given a new semantics in which a formula for all xA is true when there is some true proposition that implies all x-instantiations of A. Formulae are modelled as functions from variable-assignments to propositions, where a proposition is a set of worlds in a relevant model structure. A completeness proof is given for a basic quantificational system QR from which RQ is obtained by adding the axiom EC of 'extensional confinement': for all x(A V (...) B) -> (A V for all xB). with x not free in A. Validity of EC requires an additional model condition involving the boolean difference of propositions. A QR-model falsifying EC is constructed by forming the disjoint union of two natural arithmetical structures in which negation is interpreted by the minus operation. (shrink)

The Logic R4 is obtained by adding the axiom □ → to the modal relevant logic NR. We produce a model theory for this logic and show completeness. We also show that there is a natural embedding of a Kripke model for S4 in each R4 model structure.

The Logic R4 is obtained by adding the axiom □(A v B) → (◇A v □B) to the modal relevant logic NR. We produce a model theory for this logic and show completeness. We also show that there is a natural embedding of a Kripke model for S4 in each R4 model structure.

This paper uses an "admissible set semantics" to treat quantification in quantified modal logics. The truth condition for the universal quantifier states that a universally quantified statement (x)A(x) is true at a world w if and only if there is some proposition true at that world that entails every instance of A(x). It is shown that, for any canonical propositional modal logic the corresponding admissible set semantics characterises the quantified version of that modal logic.

The INBIOSA project brings together a group of experts across many disciplines who believe that science requires a revolutionary transformative step in order to address many of the vexing challenges presented by the world. It is INBIOSA’s purpose to enable the focused collaboration of an interdisciplinary community of original thinkers. This paper sets out the case for support for this effort. The focus of the transformative research program proposal is biology-centric. We admit that biology to date has been more fact-oriented (...) and less theoretical than physics. However, the key leverageable idea is that careful extension of the science of living systems can be more effectively applied to some of our most vexing modern problems than the prevailing scheme, derived from abstractions in physics. While these have some universal application and demonstrate computational advantages, they are not theoretically mandated for the living. A new set of mathematical abstractions derived from biology can now be similarly extended. This is made possible by leveraging new formal tools to understand abstraction and enable computability. [The latter has a much expanded meaning in our context from the one known and used in computer science and biology today, that is "by rote algorithmic means", since it is not known if a living system is computable in this sense (Mossio et al., 2009).] Two major challenges constitute the effort. The first challenge is to design an original general system of abstractions within the biological domain. The initial issue is descriptive leading to the explanatory. There has not yet been a serious formal examination of the abstractions of the biological domain. What is used today is an amalgam; much is inherited from physics (via the bridging abstractions of chemistry) and there are many new abstractions from advances in mathematics (incentivized by the need for more capable computational analyses). Interspersed are abstractions, concepts and underlying assumptions “native” to biology and distinct from the mechanical language of physics and computation as we know them. A pressing agenda should be to single out the most concrete and at the same time the most fundamental process-units in biology and to recruit them into the descriptive domain. Therefore, the first challenge is to build a coherent formal system of abstractions and operations that is truly native to living systems. Nothing will be thrown away, but many common methods will be philosophically recast, just as in physics relativity subsumed and reinterpreted Newtonian mechanics. -/- This step is required because we need a comprehensible, formal system to apply in many domains. Emphasis should be placed on the distinction between multi-perspective analysis and synthesis and on what could be the basic terms or tools needed. The second challenge is relatively simple: the actual application of this set of biology-centric ways and means to cross-disciplinary problems. In its early stages, this will seem to be a “new science”. This White Paper sets out the case of continuing support of Information and Communication Technology (ICT) for transformative research in biology and information processing centered on paradigm changes in the epistemological, ontological, mathematical and computational bases of the science of living systems. Today, curiously, living systems cannot be said to be anything more than dissipative structures organized internally by genetic information. There is not anything substantially different from abiotic systems other than the empirical nature of their robustness. We believe that there are other new and unique properties and patterns comprehensible at this bio-logical level. The report lays out a fundamental set of approaches to articulate these properties and patterns, and is composed as follows. -/- Sections 1 through 4 (preamble, introduction, motivation and major biomathematical problems) are incipient. Section 5 describes the issues affecting Integral Biomathics and Section 6 -- the aspects of the Grand Challenge we face with this project. Section 7 contemplates the effort to formalize a General Theory of Living Systems (GTLS) from what we have today. The goal is to have a formal system, equivalent to that which exists in the physics community. Here we define how to perceive the role of time in biology. Section 8 describes the initial efforts to apply this general theory of living systems in many domains, with special emphasis on crossdisciplinary problems and multiple domains spanning both “hard” and “soft” sciences. The expected result is a coherent collection of integrated mathematical techniques. Section 9 discusses the first two test cases, project proposals, of our approach. They are designed to demonstrate the ability of our approach to address “wicked problems” which span across physics, chemistry, biology, societies and societal dynamics. The solutions require integrated measurable results at multiple levels known as “grand challenges” to existing methods. Finally, Section 10 adheres to an appeal for action, advocating the necessity for further long-term support of the INBIOSA program. -/- The report is concluded with preliminary non-exclusive list of challenging research themes to address, as well as required administrative actions. The efforts described in the ten sections of this White Paper will proceed concurrently. Collectively, they describe a program that can be managed and measured as it progresses. (shrink)

The central question addressed in this article is how (moral) values discussions in university courses can be integrated in a systematic way. Discussion of (moral) values is fundamental to the Dublin descriptor about judgement formation in use in European universities. To integrate this descriptor and its (moral) values aspects in university courses, we developed a tool for evaluating academic judgement learning: the Dilemma-Oriented Learning Model. We introduce this model and discuss the way it has been implemented and evaluated in some (...) university courses. We aim for students to develop critical, balanced and responsible judgements. The learning outcomes are used as the basis for the improvement of teaching. We found that our approach can be helpful in integrating the descriptor. However, the (moral) values dimension requires more attention. We intend to go on developing and implementing our approach as a means of integrating reflection on moral values into disciplinary courses. (shrink)

‘The problem with simulations is that they are doomed to succeed.’ So runs a common criticism of simulations—that they can be used to ‘prove’ anything and are thus of little or no scientific value. While this particular objection represents a minority view, especially among those who work with simulations in a scientific context, it raises a difficult question: what standards should we use to differentiate a simulation that fails from one that succeeds? In this paper we build on a structural (...) analysis of simulation developed in previous work to provide an evaluative account of the variety of ways in which simulations do fail. We expand the structural analysis in terms of the relationship between a simulation and its real-world target emphasizing the important role of aspects intended to correspond and also those specifically intended not to correspond to reality. The result is an outline both of the ways in which simulations can fail and the scientific importance of those various forms of failure. (shrink)

In Nietzsche, Psychology, and First Philosophy, Robert Pippin suggests intriguing connections between Nietzsche and the traditional French moralistes, especially Montaigne, Pascal, and La Rochefoucauld. 1 But the point of placing Nietzsche in this company is philosophical, not historical. In contrast to the wide-ranging and detailed historical analyses that have found their place in Pippin’s ongoing history of modernism (Modernism as a Philosophical Problem; Idealism as Modernism: Hegelian Variations), the present book does not focus on repairing our awareness of the (...) French tradition or on philologically tracing Nietzsche’s interesting references to it. Instead, Pippin’s fanciful treatment of Nietzsche himself as .. (shrink)

One of the most dominant approaches to semantics for relevant (and many paraconsistent) logics is the Routley-Meyer semantics involving a ternary relation on points. To some (many?), this ternary relation has seemed like a technical trick devoid of an intuitively appealing philosophical story that connects it up with conditionality in general. In this paper, we respond to this worry by providing three different philosophical accounts of the ternary relation that correspond to three conceptions of conditionality. We close by briefly discussing (...) a general conception of conditionality that may unify the three given conceptions. (shrink)

This paper examines the role of clinical practitioners and clinical researchers internationally in establishing the utility of harm-reduction approaches to substance use. It thus illustrates the potential for clinicians to play a pivotal role in health promoting structural interventions based on harm-reduction goals and public health models. Popular media images of drug use as uniformly damaging, and abstinence as the only acceptable goal of treatment, threaten to distort clinical care away from a basis in evidence, which shows that some ways (...) of using drugs are far more harmful than others and that punitive approaches and insistence on total abstinence as the only goal of treatment often increases the harms of drug use rather than reducing drug use. Therefore the leadership and scientific authority of clinicians who understand the health impact of harm-reduction strategies is needed. Through a review of harm-reduction interventions in Canada, the United Kingdom, the United States, Australia, Switzerland, and the Netherlands, we identify three ways that clinicians have helped to achieve a paradigm shift from punitive approaches to harm-reduction principles in clinical care and in drug policy: through clinical research to provide data establishing the effectiveness and feasibility of harm-reduction approaches, by developing innovative clinical programmes that employ harm reduction, and thereby changing the standard of care to include routine use of these evidence-based approaches in their practices. We argue that through promotion of harm-reduction goals and methods, clinicians have unique opportunities to improve the health outcomes of vulnerable populations. (shrink)

I am very grateful to both commentators for these thoughtful and stimulating questions and remarks and especially for the care and generous charity animating their summations of the position I defend in the book. That has not always been the case in discussions of the book.Both critics rightly note the importance of the French moralistes in my attempt to understand why Nietzsche should have said that “psychology” might now (that is, for him) become once again the “queen of the sciences” (...) and so once more the “path to the fundamental problems.” My purpose in invoking the tradition of Pascal, LaRochefoucauld, and above all Montaigne, aside from the fact that Nietzsche’s frequent praise of that tradition and .. (shrink)

Earthcare: Readings and Cases in Environmental Ethics presents a diverse collection of writings from a variety of authors on environmental ethics, environmental science, and the environmental movement overall. Exploring a broad range of world views, religions and philosophies, David W. Clowney and Patricia Mosto bring together insightful thoughts on the ethical issues arising in various areas of environmental concern.