the mystical anthropological notion of internationalism means belonging to a common divine origin and natural interfaces between humans, beyond national and linguistic differences. accordingly, it is necessary to consider a metaphysical hometown as origin and ultimate goal for human being. in rumi’s mystical approach, human is defined as an observer of his relationship with the origin of being ...

More than 700 years ago, Dante Alighieri (1265-1321) wrote an epic poem about a man's journey through the afterworlds of Hell, Purgatory and Heaven. In his Divine Comedy, he catalogued the vices and virtues of people who had passed into those spiritual domains, in part to provide a valuable insight to us, the living. Dante described hell as a very unhappy and inhospitable place that had differe...

According to the much-discussed argument from divine hiddenness, God’s existence is disconfirmed by the fact that not everyone believes in God. The argument has provoked an impressive range of theistic replies, but none has overcome – or, I suggest, could overcome – the challenge posed by the uneven distribution of theistic belief around the world, a phenomenon for which naturalistic explanatio...

I begin by noting that several theologians and others object to special divine action (divine intervention and action beyond conservation and creation) on the grounds that it is incompatible with science. These theologians are thinking of classical Newtonian science; I argue that in fact classical science is in no way incompatible with special divine action, including miracle. What is incompati...

We present an extension of the DIVINE software model checker to support programs with exception handling. The extension consists of two parts, a language-neutral implementation of the LLVM exception-handling instructions, and an adaptation of the C++ runtime for the DIVINE/LLVM exception model. This constitutes an important step towards support of both the full C++ specification and towards ver...