In the field of hioethics, freedom and autonomy assume the ability of self-regulation and determination. If one has the ability to make one 's own decisions, then one represents an autonomous and free person. Such a view of autonomy faces many difficidties, because it idtimately limits those who can be considered autonomous. Tlie Orthodox theology of the one Hypostasis of Jesus Christ presents ...

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

The author highlights the importance of emotions in all ethical reflections. He describes the most common positions of ethicists employing duties and rights as the basis for ethical thought. The author, goes to Freudian theory as viewed by the utilitarians, stating that the 'quest for pleasure' is not necessarily egocentric, especially for adults. For example, the feeling of solidarity emerges ...

The above approaches certainly have their place but also have their limitations. The repeated invocation of archival material tends to create an impression that ethical edicts are merely of historical significance and are irrelevant today. Some of the historical texts on medical ethics are based on morality, at times even bordering on the spiritual or the religious. This could be a hindrance to...

1 Intelligent Interactive Distributed Systems Faculty of Sciences, Vrije Universiteit Amsterdam De Boelelaan 1081A, 1081 HV Amsterdam, the Netherlands 2 Computer and Law Institute Faculty of Law, Vrije Universiteit Amsterdam De Boelelaan 1105, 1081 HV Amsterdam, the Netherlands 3 The Center for Law, Public Administration and Informatization Faculty of Law, Tilburg University Warandelaan 2, 5000...

This article centres on the pamphlet The Life and Death of Griffin Flood informer (1623), which tells career execution through pressing an murderer working in early modern London. It outlines what archival research reveals about this figure, thereby re-examines how far crime pamphlets were rooted social actuality. Secondly, it shows that does not follow historians have identified as conventions...