Is the Christian doctrine of the Trinity consistent with a very strong version of the thesis of divine simplicity? Yes, so long as the simple divine nature is a relational nature, a nature that could be characterized in terms of such relations as knowing and loving. This divine nature functions simultaneously as agent, patient, and action: as knower, known and knowledge, and lover, beloved, and...

Model checking became a standard method of analysing complex systems in many application domains. No doubt, a number of applications is placing great demands on model checking tools. The process of analysis of complex and real-life systems often requires vast computation resources, memory in particular. This phenomenon, referred to as the state space explosion problem, has been tackled by many ...

The thesis focuses on counterexample explanation in model checking, which aims to provide useful information about the cause of an error so that the system designer can find and fix the error faster. We summarize some of the existing methods to deal with this problem and implement the method of Alex Groce and Willem Visser. This method describes three ways of comparing failing and unfailing run...

Two studies explored how domestic violence may be implicitly or explicitly sanctioned and reinforced in cultures where honor is a salient organizing theme. Three general predictions were supported: (a) female infidelity damages a man's reputation, particularly in honor cultures; (b) this reputation can be partially restored through the use of violence; and (c) women in honor cultures are expect...

Cover illustration: A farmer from Devon, England, 1942, with the divine power of finding water using only his hands and a hazel twig.

Sheridan, in his “Toward an Eclectic Ontology of Presence” (Sheridan, 1999), approaches the semblance of an ontological argument with discussion of “divine presence” in relation to virtual reality communications media and the consequent effect of virtuality upon the mind/matter ensemble. Although he doesn’t offer proof for God, Sheridan (and subsequently Mantovani and Riva, who accept Sheridan’...

This essay explains and analyzes Robert John Russell’s theory of divine action. Russell’s proposal has exercised significant influence on others working in the area of science and religion with interests in Christian systematic theology. It would be valuable to trace the lines of that influence, but I do not have space to do that here. I can testify to his influence in more personal terms, howe...

This article compares murder cases labeled "honor killings" with cases labeled "family/spousal murders" in the Canadian news media, exploring the construction of boundaries between these two practices. We conducted a systematic qualitative content analysis, examining a sample of 486 articles from three major Canadian newspapers between 2000 and 2012. Our analysis shows that "honor killings" are...

The popular image of Turkey as a secular, Westernized country gracefully bridging the divide between the traditional religious Middle East and modern Europe does not capture the full spectrum of Turkish society. Although Turkey may appear to have fully entered the modern Western world, the continued prevalence of honor killings and the patriarchal social structure that supports the practice tes...

African pastoralists have historically used aggression strategically to restock after major losses. On the basis of anthropological studies of African pastoral societies, cultural psychologists have linked the psychological roots of pastoral aggression to the cultural complex of honor. This article is a critical examination of this link. It argues, first, that honor cultures are likely to be fo...