Since ancient times, in societies throughout the world, mankind has interpreted some dreams in the context of religion – from invoking the gods into their dreams in incubation temples, to recording dream narratives in holy scriptures of religions that thrive in today’s world. This paper acknowledges that the role of dreams has diminished in many faiths, most noticeably in western Christianity, ...

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

Sense of coherence (SOC) is thought to be a stress-buffering personality construct. We explored if SOC has a moderating effect on the distress experienced following mortality salience. SOC, mindfulness, neuroticism, and meaning in life were measured as potential moderators. Participants reported on death anxiety and completed a worldview defense task. Results indicated that all potential modera...

One line of theorizing suggests considering death reminders—i.e., mortality salience (MS) inductions—unique in their effect on worldview defenses (e.g., Pyszczynski et al., 2006). Other theorizing suggests that meaning and certainty threats produce effects similar to MS and thus that these threats be considered theoretically equivalent (e.g., Proulx & Heine, 2006; McGregor, 2006). To help recon...

This paper inquires about the defensibility of spiritual faith in this Nominalistic age, i.e., an age when all reality is reduced to scientifically ascertainable matter and realities are deemed be irreal. worldview was developed late Middle Ages became one major presuppositions Modernity. It has made it ever more difficult defend legitimacy its objects. also played important, albeit seldom reco...

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