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...

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

Islamic medical jurisprudence, which is the subjectconcemed with the application of Islamic laws to the area of medicine, has never been discussed as an independent field of jurisprudence, although several selected topics, especially those concerning food and beverages, sexuality, death, wounds and injuries, and doctor-patient relations have been more discussed than others. The results of a...

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 is a response given at the book launch for Christopher Insole’s Kant and Divine: From Contemplation to Moral Law (Oxford: Oxford University Press, 2020), hosted jointly, in November 2020, by Centre Catholic Studies, Durham University, Australian University. The considers gap between textual (as set out Insole), received Kant, reflects on how theologians have been too quick either condemn d...

This paper adopts a law and humanities-based methodology to critique the binary distinction between remembering forgetting that often features in policy. Using right be forgotten as case study, argues such conceals many ways are intrinsically connected. In particular, understands not remembering. But can also take form of enlightened remembering: deliberate choice think differently about past, ...

In his recent version of the logical problem evil, James Sterba articulates several moral principles that, on assumption that God is morally perfect, seem to entail God’s non-existence. Such principles, however, only apply he a agent. I first argue against this by appealing work Mark Murphy before, secondly, suggesting an alternative way frame Sterba’s argument in terms divine love. One can dis...