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

Kepler attempted to prove Divine design in the system of the world but actually had to attribute the eccentricities of the planetary orbits to randomness. Kant and even Laplace supported Kepler’s conclusion although Newton had proved that the eccentricities depended on the velocities of planetary motion. However, the velocities themselves are random; the system of the world does not exclude ran...

Physical science, it appears, leaves no place for divine action. Modern science presupposes that the universe is a closed physical system, that interactions are regular and lawlike, that all causal histories can be traced, and that anomalies will ultimately have physical explanations. But traditional assertions of God acting in the world conflict with all four of these conditions: they presuppo...

1. A problem about God's freedom In his book Anselmian Explorations, Thomas Morris raises the question how God's freedom of will can be reconciled with His essential righteousness. 1 He provides an interesting and attractive solution to this problem, one which provides for divine freedom with respect to divine acts of supererogation. I shall argue that Morris' solution becomes considerably less...

ibn sina considers the first being in the world to be the first intellect, which issues from the necessary being on the basis of the principle, ‘only one issues from that which is one in all respects’, and through the different aspects of which all other beings come into existence. ibn arabi rejects the basis of ibn sina’s theory of the first emanation, which is the above mentioned principle, a...

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

A distinctive feature of many Jewish approaches to evolutionary theory has been a panentheistic understanding the cosmos. Among earliest Hebrew translations Darwin are those found in Toldot Adam or The Origin Man (1874) by Polish Naphtali Levy (1840–1894). Often regarded as traditionalist who sought harmonize science and Torah, was fact much more radical prepared prioritise over tradition. Rema...