In recent years the formerly quite strong interest in patient compliance has been questioned for being too paternalistic and oriented towards overly narrow biomedical goals as the basis for treatment recommendations. In line with this there has been a shift towards using the notion of adherence to signal an increased weight for patients’ preferences and autonomy in decision making around treatments. This ‘adherence-paradigm’ thus encompasses shared decision-making as an ideal and patient perspective and autonomy as guiding goals of care. What (...) this implies in terms of the importance that we have reason to attach to (non-)adherence and how has, however, not been explained. In this article, we explore the relationship between different forms of shared decision-making, patient autonomy and adherence. Distinguishing between dynamically and statically framed adherence we show how the version of shared decision-making advocated will have consequences for whether one should be interested in a dynamically or statically framed adherence and in what way patient adherence should be assessed. In contrast to the former compliance paradigm (where non-compliance was necessarily seen as a problem), using observations about (non-)adherence to assess the success of health care decision making and professional-patient interaction turns out to be a much less straightforward matter. (shrink)

The first-order theory of the lattice of recursively enumerable closed subsets of an effective topological space is proved undecidable using the undecidability of the first-order theory of the lattice of recursively enumerable sets. In particular, the first-order theory of the lattice of recursively enumerable closed subsets of Euclidean n -space, for all n , is undecidable. A more direct proof of the undecidability of the lattice of recursively enumerable closed subsets of Euclidean n -space, n ⩾ 2, is provided using (...) the method of reduction and the recursive inseparability of the set of all formulae satisfiable in every model of the theory of SIBs and the set of all formulae refutable in some finite model of the theory of SIBs. (shrink)

Whether attempts should be punished as severely as the completed crime poses fundamental problems concerning the proper goals of the criminal law and the philosophy of punishment. An answer to this question would require an assessment of the significance of the fact that harm occurs as a result of conduct. Does the occurrence of harm give us any reason for distinguishing between completed offenses and attempts? Contemporary theory is almost united in the view that the occurrence of harm does not (...) mark a moral distinction. Yet, there does seem to be a common intuition that a person is somehow more blameworthy if his conduct results in harm than if it does not. This distinction in gravity between attempts and the completed crime is also recognized in the law; most United States’ jurisdictions provide a lesser punishment for attempts. (shrink)

In 2012, a U.S. Institute of Medicine report called for a different approach to health care: “Left unchanged, health care will continue to underperform; cause unnecessary harm; and strain national, state, and family budgets.” The answer, they suggested, would be a “continuously learning” health system. Ethicists and researchers urged the creation of “learning health organizations” that would integrate knowledge from patient‐care data to continuously improve the quality of care. Our experience with an ongoing research study on atrial fibrillation—a trial known (...) as IMPACT‐AFib—gave us some insight into one of the challenges that will have to be dealt with in creating these organizations. Although the proposed educational intervention study placed no restrictions on what providers and health plans could do, the oversight team argued that the ethical principle of beneficence did not allow the researchers to be “bystanders” in relation to a control group receiving suboptimal care. In response, the researchers designed a “workaround” that allowed the project to go forward. We believe the experience suggests that what we call “bystander ethics” will create challenges for the kinds of quality improvement research that LHOs are designed to do. (shrink)

On 18–19 May 2018, a symposium was held in the Research Institute of Irish and Scottish Studies at the University of Aberdeen to commemorate the tenth anniversary of the death of Ronald W. Hepburn (1927–2008). The speakers at this event discussed Hepburn’s oeuvre from several perspectives. For this book, the collection of the revised versions of their talks has been supplemented by the papers of other scholars who were unable to attend the symposium itself. Thus this volume contains contributions from (...) eighteen notable scholars of different disciplines, ranging from contemporary aesthetics and art theory through to philosophical approaches to religion, education and social anthropology. It also includes a bibliography of Hepburn’s writings. The essays were first published in two special issues of the Journal of Scottish Thought, vols. 10–11 (2018–2019). -/- Ronald William Hepburn was born in Aberdeen on 16 March 1927. He went to Aberdeen Grammar School, then he graduated with an M.A. in Philosophy (1951) and obtained his doctorate from the University of Aberdeen (1955). His tutor at Aberdeen was Donald MacKinnon (1913– 1994), a Scottish philosopher and theologian, the author of A Study in Ethical Theory (1957) and The Problem of Metaphysics (1974). Hepburn taught as Lecturer at the Department of Moral Philosophy at Aberdeen (1956–60), and he was also Visiting Associate Professor of Philosophy at New York University (1959–60). He returned from the United States as Professor of Philosophy at Nottingham University. In 1964, he was appointed as a Chair in Philosophy at the University of Edinburgh and between 1965 and 1968 he was also Stanton Lecturer in the Philosophy of Religion at the University of Cambridge. From 1975 until his retirement in 1996, he held the Professorship of Moral Philosophy at Edinburgh. He died in Edinburgh on 23 December 2008. His philosophical interests ranged from theology and the philosophy of religion through moral philosophy and the philosophy of education to art theory and aesthetics. Notably, Hepburn is widely regarded as the founder of modern environmental and everyday aesthetics as a result of the influence of papers in the 1960s which pioneered a new approach to the aesthetics of the natural world. (shrink)

This paper surveys the various forms of Deduction Theorem for a broad range of relevant logics. The logics range from the basic system B of Routley-Meyer through to the system R of relevant implication, and the forms of Deduction Theorem are characterized by the various formula representations of rules that are either unrestricted or restricted in certain ways. The formula representations cover the iterated form,A 1 .A 2 . ... .A n B, the conjunctive form,A 1&A 2 & ...A n (...) B, the combined conjunctive and iterated form, enthymematic version of these three forms, and the classical implicational form,A 1&A 2& ...A n B. The concept of general enthymeme is introduced and the Deduction Theorem is shown to apply for rules essentially derived using Modus Ponens and Adjunction only, with logics containing either (A B)&(B C) .A C orA B .B C .A C. (shrink)

In [1], we established Gentzenizations for a good range of relevant logics with distribution, but, in the process, we added inversion rules, which involved extra structural connectives, and also added the sentential constantt. Instead of eliminating them, we used conservative extension results to relate them back to the original logics. In [4], we eliminated the inversion rules andtand established a much simpler Gentzenization for the weak sentential relevant logicDW, and also for its quantificational extensionDWQ, but a restriction to normal formulae (...) (defined below) was required to enable these results to be proved. This method was quite general and hope was expressed about extending it to other relevant logics.In this paper, we develop an innovative method, which makes essential use of this restriction to normality, to establish two simple Gentzenizations for the normal formulae of the slightly weaker logic B, and then extend the method to other sentential contraction-less logics. To obtain the first of these Gentzenizations, for the logicsBandDW, we remove the two branching rules (F&) and (T∨), together with the structural connective ‘,’, to simplify the elimination of the inversion rules andt. We then eliminate the rules (T&) and (F∨), thus reducing the Gentzen system to one containing only ˜ and → and their four associated rules, and reduce the remaining types of structures to four simple finite types. Subsequently, we re-introduce (T&) and (F∨), and also (F&) and (T∨), to obtain the second Gentzenization, which contains ‘,’ but no structural rules. (shrink)

This is a general account of metavaluations and their applications, which can be seen as an alternative to standard model-theoretic methodology. They work best for what are called metacomplete logics, which include the contraction-less relevant logics, with possible additions of Conjunctive Syllogism, & →.A→C, and the irrelevant, A→.B→A, these including the logic MC of meaning containment which is arguably a good entailment logic. Indeed, metavaluations focus on the formula-inductive properties of theorems of entailment form A→B, splintering into two types, M1- (...) and M2-, according to key properties of negated entailment theorems. Metavaluations have an inductive presentation and thus have some of the advantages that model theory does, but they represent proof rather than truth and thus represent proof-theoretic properties, such as the priming property, if ├ A $\vee$ B then ├ A or ├ B, and the negated-entailment properties, not-├ ∼ and ├ ∼ iff ├ A and ├ ∼ B. Topics to be covered are their impact on naive set theory and paradox solution, and also Peano arithmetic and Godel’s First and Second Theorems. Interesting to note here is that the familiar M1- and M2-metacomplete logics can be used to solve the set-theoretic paradoxes and, by inference, the Liar Paradox and key semantic paradoxes. For M1-logics, in particular, the final metavaluation that is used to prove the simple consistency is far simpler than its correspondent in the model-theoretic proof in that it consists of a limit point of a single transfinite sequence rather than that of a transfinite sequence of such limit points, as occurs in the model-theoretic approach. Additionally, it can be shown that Peano Arithmetic is simply consistent, using metavaluations that constitute finitary methods. Both of these results use specific metavaluational properties that have no correspondents in standard model theory and thus it would be highly unlikely that such model theory could prove these results in their final forms. (shrink)

We present an algebraic-style of semantics, which we call a content semantics, for quantified relevant logics based on the weak system BBQ. We show soundness and completeness for all quantificational logics extending BBQ and also treat reduced modelling for all systems containing BB d Q. The key idea of content semantics is that true entailments AB are represented under interpretation I as content containments, i.e. I(A)I(B) (or, the content of A contains that of B). This is opposed to the truth-functional (...) way which represents true entailments as truth-preservations over all set-ups (or worlds), i.e. (VaK) (if I(A, a) = T then I(B, a)= T). (shrink)

We provide a semantics for relevant logics with addition of Aristotle's Thesis, ∼(A→∼A) and also Boethius,(A→B)→∼(A→∼B). We adopt the Routley-Meyer affixing style of semantics but include in the model structures a regulatory structure for all interpretations of formulae, with a view to obtaining a lessad hoc semantics than those previously given for such logics. Soundness and completeness are proved, and in the completeness proof, a new corollary to the Priming Lemma is introduced (c.f.Relevant Logics and their Rivals I, Ridgeview, 1982).

A major question for the relevant logics has been, “Under what conditions is Ackermann's ruleγ from -A ∨B andA to inferB, admissible for one of these logics?” For a large number of logics and theories, the question has led to an affirmative answer to theγ problem itself, so that such an answer has almost come to be expected for relevant logics worth taking seriously. We exhibit here, however, another large and interesting class of logics-roughly, the Boolean extensions of theW — (...) free relevant logics (and, precisely, the well-behaved subsystems of the 4-valued logicBN4) — for which γ fails. (shrink)

The logic E4 is related to Brady’s BN4 in a similar way to which Anderson and Belnap’s logic of entailment E is related to their logic of the relevant implication R. In ‘A companion to Brady’s 4-valued relevant logic: the 4-valued logic of entailment E4’, quoted in this paper, three alternatives to BN4 and another three to E4 are summarily introduced in a couple of pages as the only alternatives containing Routley and Meyer’s basic logic B, provided some conditions are (...) fulfilled. The aim of this note is to prove BN4 and its three alternatives are the same logic up to some point, since they are functionally equivalent to each other, as it is the case with E4 and its three alternatives, which are also functionally equivalent to each other; to some extent, E4 is superior to BN4, since the latter is functionally included in the former, but not conversely. (shrink)

The logics BN4 and E4 can be considered as the 4-valued logics of the relevant conditional and (relevant) entailment, respectively. The logic BN4 was developed by Brady in 1982 and the logic E4 by Robles and Méndez in 2016. The aim of this paper is to investigate the implicative variants (of both systems) which contain Routley and Meyer’s logic B and endow them with a Belnap-Dunn type bivalent semantics.

In [60] N. Belnap presented an 8-element matrix for the relevant logic R with the following property: if in an implication A → B the formulas A and B do not have a common variable then there exists a valuation v such that v(A → B) does not belong to the set of designated elements of this matrix. A 6-element matrix of this kind can be found in: R. Routley, R.K. Meyer, V. Plumwood and R.T. Brady [82]. Below we prove (...) that the logics generated by these two matrices are the only maximal extensions of the relevant logic R which have the relevance property: if A → B is provable in such a logic then A and B have a common propositional variable. (shrink)

As it is well known, in the forties of the past century, Curry proved that in any logic S closed under Modus Ponens, uniform substitution of propositional variables and the Contraction Law, the naïve Comprehension axiom trivializes S in the sense that all propositions are derivable in S plus CA. Not less known is the fact that, ever since Curry published his proof, theses and rules weaker than W have been shown to cause the same effect as W causes. Among (...) these, the Contraction rule or the Modus Ponens axiom, for example, are to be noted. But, moreover, as Brady has proved, even the Generalized Modus Ponens axiom or the Generalized Contraction rule give rise to “Curry’s Paradox” under the same circumstances as W does. In some previous work by us, “weak relevant model structures” are defined on “weak relevant matrices” by generalizing Brady’s model structure MCL built upon Meyer’s Crystal matrix CL. We have proved that wr-ms only verify logics with the “depth relevance condition”. The aim of this paper is to show how to falsify gMPa and gRW in certain wr-ms. In particular, it will be shown that gMPa is falisfied in any wr-ms and gRW in any wr-ms verifying Routley and Meyer’s basic positive logic B+. (shrink)

--Father Hart, by J.D. Collins.--The meeting of the ways, by J.A. McWilliams.--On the notion of subsistence, by J. Maritain.--Metaphysics and unity, by E.G. Salmon.--What is really real? By W.N. Clarke.--Professor Scheltens and the proof of God's existence, by F.X. Meehan.--On the mathematical approach to nature, by V.E. Smith.--The assimilation of the new to the old in the philosophy of nature, by L.A. Foley.--In seipsa subsistere, by I. Brady.--St. Thomas and the unity of man, by A.C. Pegis.--Law and morality, by G.B. (...) Phelan.--Thomistic thoughts on government and rulers, by I. Smith. (shrink)

The apolipoprotein E gene plays an important role in the pathogenesis of Alzheimer's disease , and amyloid plaque comprised mostly of the amyloid-beta peptide ) is one of the major hallmarks of AD. However, the relationship between these two important molecules is poorly understood. We examined how A treatment affects APOE expression in cultured cells and tested the role of the transcription factor NF-B in APOE gene regulation. To delineate NF-B's role, we have characterized a 1098 nucleotide segment containing the (...) 5'-flanking region of the human APOE gene . Sequence analysis of this region suggests the presence of two potential NF-B elements. To demonstrate promoter activity, the region was cloned upstream of a promoterless luciferase gene. This segment was able to drive expression of luciferase in transient transfections of human fetal glial cells. Promoter activity was stimulated twofold by A treatment. Pretreatment with double-stranded DNA decoy oligonucleotides against NF-B reduced A stimulation. Deletion and mutagenetic analyses demonstrated that the distal NF-B element was functional and showed a strong DNA-protein complex band in gel shift analysis, similar to that from control NF-B consensus element. An anti-inflammatory and anti-NF-B drug, sodium salicylate, significantly blocked A-induced APOE promoter function. Our data provide evidence that upregulation of APOE by A in astroglial cells is mediated by an NF-B-element present in the 5'-flanking region of the APOE gene. (shrink)