Using logic programming for theory representation and scientific inference

The aim of this paper is to show that logic programming is a powerful tool for representing scientific theories and for scientific inference. In a logic program it is possible to encode the qualitative and quantitative components of a theory in first order predicate logic, which is a highly expressive formal language. A theory program can then be handed to an algorithm that reasons about the theory. We discuss the advantages of logic programming with regard to building formal theories and present a novel software package for scientific inference: Theory Toolbox. Theory Toolbox can derive any conclusions that are entailed by a theory, explain why a certain conclusion follows from a theory, and evaluate a theory with regard to its internal coherence and generalizability. Because logic is, or should be, a cornerstone of scientific practice, we believe that our paper can make an important contribution to scientific psychology.     

On the Legacy of Christian Ethics in Comparative Religious Ethics

This essay is an exploratory inquiry into possible Christian ethical residues in the field of comparative religious ethics (CRE), focusing particularly on the themes of tradition and canon, trajectories of ethical reflection, emancipatory criticism, common morality, and the notion of discipline. It is suggested that even if such traces exist, they may not be detrimental to the field as currently practiced.     

The cognitive structure of social categories

Support for the prototype theory of categorization was found in a study of the structure of social categories. Though occupational terms such as DOCTOR are socially defined, they do not have the classical structure their clear definitional origins would predict. Conceptions of social categories are richer and more complex than those of physical object categories and subjects agree upon them. Comparison of various instructions for eliciting attributes of categories showed that whether subjects are asked to define a term, give characteristics, or describe ways they recognize members of categories, the attributes they list contribute to a prototype structure. These data provide evidence against the view that prototype structure is relevant only to an identification procedure and not to the core of concepts, as has been suggested.     

A trainee psychotherapist’s heuristic exploration of losing a mother to suicide

ABSTRACT

Suicide bereavement is a newly developing field of research in the UK, yet over 6,600 people take their own lives here every year. This heuristic inquiry aims to explore the lived experiences of trainee psychotherapists bereaved by maternal suicide. It examines the lived experiences of the researcher and two participants, with data collected through interviews, dreams and journalling. The findings revealed five themes: 1) It’s not just about the suicide, 2) The pain continues – attachment, abandonment and fear, 3) Left with all the unprocessed feelings – “the shit”, 4) Trigger after trigger – complicated experiences of psychotherapy training, 5) A catastrophic loss that no one “gets”. Implications for the counselling and psychotherapy profession are discussed.