Proof Theory of Paraconsistent Quantum Logic

Paraconsistent quantum logic, a hybrid of minimal quantum logic and paraconsistent four-valued logic, is introduced as Gentzen-type sequent calculi, and the cut-elimination theorems for these calculi are proved. This logic is shown to be decidable through the use of these calculi. A first-order extension of this logic is also shown to be decidable. The relationship between minimal quantum logic and paraconsistent four-valued logic is clarified, and a survey of existing Gentzen-type sequent calculi for these logics and their close relatives is addressed.     

Combinatorial Bitstring Semantics for Arbitrary Logical Fragments

Logical geometry systematically studies Aristotelian diagrams, such as the classical square of oppositions and its extensions. These investigations rely heavily on the use of bitstrings, which are compact combinatorial representations of formulas that allow us to quickly determine their Aristotelian relations. However, because of their general nature, bitstrings can be applied to a wide variety of topics in philosophical logic beyond those of logical geometry. Hence, the main aim of this paper is to present a systematic technique for assigning bitstrings to arbitrary finite fragments of formulas in arbitrary logical systems, and to study the logical and combinatorial properties of this technique. It is based on the partition of logical space that is induced by a given fragment, and sheds new light on a number of interesting issues, such as the logic-dependence of the Aristotelian relations and the subtle interplay between the Aristotelian and Boolean structure of logical fragments. Finally, the bitstring technique also allows us to systematically analyze fragments from contemporary logical systems, such as public announcement logic, which could not be done before.     

A Systematic Comparison of African American and Non-African American Patients on Psychosocial Aspects of Hepatitis C Infection

The purpose of this study was to compare African American and non-African American hepatitis C virus (HCV) patients on self-reported symptoms of HCV liver disease and psychosocial characteristics commonly affected by it in a sample of 309 patients enrolled in a randomized controlled trial. African Americans (n = 196) rated a higher reliance on religion/spirituality for coping with HCV compared to non-African Americans. This study’s findings are a basis for encouragement of public health efforts and programs to seek partnerships with African American faith and religious communities to identify and treat undiagnosed cases of HCV and promote HCV awareness.     

Moral Objections and Fear of Hell: An Important Barrier to Suicidality

This review explores the literature to test the hypothesis that ‘moral objections to suicide (MOS), especially the conviction of going to hell after committing suicide, exert a restraining effect on suicide and suicidality.’ Medline and PsycInfo were searched using all relevant search terms; all relevant articles were selected, rated and reviewed. Fifteen cross-sectional studies were available on this topic, and raise sufficient evidence to confirm a restraining effect of MOS, and sparse data on fear of hell. MOS seem to counteract especially the development of suicidal intent and attempts, and possibly the lethality of suicidal attempts. A differential pattern of influence of MOS on the suicidal continuum is suggested.     

Agreement and Updating For Self-Locating Belief

In this paper, I argue that some plausible principles concerning which credences are rationally permissible for agents given information about one another’s epistemic and credal states have some surprising consequences for which credences an agent ought to have in light of self-locating information. I provide a framework that allows us to state these constraints and draw out these consequences precisely. I then consider and assess the prospects for rejecting these prima facie plausible principles.     

Principles for Object-Linguistic Consequence: from Logical to Irreflexive

We discuss the principles for a primitive, object-linguistic notion of consequence proposed by (Beall and Murzi, Journal of Philosophy, 3 pp. 143–65 (2013)) that yield a version of Curry’s paradox. We propose and study several strategies to weaken these principles and overcome paradox: all these strategies are based on the intuition that the object-linguistic consequence predicate internalizes whichever meta-linguistic notion of consequence we accept in the first place. To these solutions will correspond different conceptions of consequence. In one possible reading of these principles, they give rise to a notion of logical consequence: we study the corresponding theory of validity (and some of its variants) by showing that it is conservative over a wide range of base theories: this result is achieved via a well-behaved form of local reduction. The theory of logical consequence is based on a restriction of the introduction rule for the consequence predicate. To unrestrictedly maintain this principle, we develop a conception of object-linguistic consequence, which we call grounded consequence, that displays a restriction of the structural rule of reflexivity. This construction is obtained by generalizing Saul Kripke’s inductive theory of truth (strong Kleene version). Grounded validity will be shown to satisfy several desirable principles for a naïve, self-applicable notion of consequence.     

The Effect of Religious Belief and Forgiveness on Coping with Diabetes

We aimed to investigate the relationship of religious beliefs and forgiveness in diabetic patients with various sociodemographic characteristics, emotional problems and glycaemic control. The study comprises 100 patients diagnosed with type 2 DM. We used a data collection form, the Scale of Forgiveness and Religiosity (SFR), Problem Areas in Diabetes Scale (PAID), Beck Depression Inventory (BDI), State-Trait Anxiety Inventory (STAI) and the Audit of Diabetes-Dependent Quality of Life (ADDQoL). We also recorded blood glucose and HbA1c test results. A statistically significant relationship was determined only between the scores of the STAI-I and the religious belief scales (r = 0.198, p = 0.049). A statistically significant negative relationship was determined between the forgiveness scale points and the BDI (r = 0.326, p = 0.001), the STAI-II (r = 0.308, p = 0.002) and PAID (r = 0.313, p = 0.001) and a positive correlation with ADDQoL (r = 0.284, p = 0.004). To conclude, forgiveness by patient himself or others reduced the emotional problems which were experienced related to diabetes by reducing stress levels and could increase quality of life.     

Are Happiness and Life Satisfaction Different Across Religious Groups? Exploring Determinants of Happiness and Life Satisfaction

This study explores whether different religions experience different levels of happiness and life satisfaction and in case this is affected by country economic and cultural environment. Using World Value Survey (from 1981 to 2014), this study found that individual religiosity and country level of development play a significant role in shaping people’s subjective well-being (SWB). Protestants, Buddhists and Roman Catholic were happier and most satisfied with their lives compared to other religious groups. Orthodox has the lowest SWB. Health status, household’s financial satisfaction and freedom of choice are means by which religious groups and governments across the globe can improve the SWB of their citizens.     

Human Development and Pastoral Care in a Postmodern Age: Donald Capps,Erik H. Erikson,and Beyond

This article discusses Donald Capps’s use of Erik H. Erikson’s life-cycle theory as the basic psychological framework for his theory of pastoral care. Capps was attracted to Erikson’s existential-psychological model, his hermeneutic approach, and his religious sensitivity. Capps’s thought develops from first exploring biblical foundations for using Eriksonian theory for pastoral care to gradually embracing certain postmodern features. The article concludes with reflections on the usefulness of Erikson’s life-cycle theory and Capps’s work for contemporary pastoral care.     

Understanding the Association Between Spirituality,Religiosity, and Feelings of Happiness and Sadness Among HIV-Positive Indian Adults: Examining Stress-Related Growth as a Mediator

This study examined the role of stress-related growth as a mediator of the associations between spirituality, religiosity, and feelings of happiness and sadness in a sample of 178 HIV-positive Indian adults. Results indicated that spirituality, but not religiosity, was associated with feelings of happiness and sadness. Subsequent mediation analyses indicated that stress-related growth fully mediated the relationships involving spirituality and feelings of happiness and sadness. Overall, our findings point to the importance of facilitating greater spiritual development among HIV-positive Indians, as well as promoting strategies that help them develop and apply stress-related growth coping methods in their lives.