Standard analyses of omniscience are advanced in terms of a being's knowing the truth value of propositions. For example, Kenny writes that 'The doctrine of omni-science is easy to formulate precisely: it is the doctrine that for all p, then God knows that p.1 Richard Swinburne proposes that 'To say of a person P that he is omniscient at time t is to say that at t P knows of every true proposit...

A write-once, read-many persistent store has been developed for Concurrent Scheme, a distributed-memory parallel Lisp for the Mayyy multicomputer. The prototype implementation 2 supports the explicit store and implicit retrieval of instances of the Scheme data types. Items are stored into per node repositories, using a modiied form of the original Concurrent Scheme \message" format. Potential a...

The laws of Nature, that is to say the laws of God, plainly made every human being a law unto himself, we must steadfastly refuse to obey those laws, and we must as steadfastly stand by the conventions which ignore them, since the statutes furnish us peace, fairly good government, and stability, and therefore are better for us than the laws of God, which would soon plunge us into confusion and ...

I’m going to argue that omniscience is impossible and therefore that there is no God. The argument turns on the notion of grounding. After illustrating and clarifying that notion, I’ll start the argument in earnest. The first step will be to lay out five claims, one of which is the claim that there is an omniscient being, and the other four of which are claims about grounding. I’ll prove that t...

“...the whole world had one language one common speech for all people. The people of the earth became skilled in construction and decided to build a city with a tower that would reach to heaven. By building the tower they wanted to make a name for themselves and also prevent their city from being scattered. God came to see their city and the tower they were building. He perceived their intentio...

The first surgical procedure, as is well known, was that performed by God on Adam. According to the Torah, God "caused unconsciousness to fall upon Adam and he slept";1 that is, God administercd an anesthetic to Adam, and then performed an operation somewhat akin to a Siamese section. The result of this was the formation of the first male and the first female. Rashi, consistent with the Talmud,...

In this paper I present a novel objection to ontological arguments. The argument concerns ontological arguments in general and has the general form of a reductio ad absurdum. Roughly, it rests on the fact that if a sound ontological argument were available, it would contradict the very nature of God. For God aims at maximising the development of human good qualities (including thus faith) and i...

In the penultimate chapter of the Bible, in the opening statement of the very last speech God makes in the whole of the Christian Scriptures, God says: "Behold I am making all things new" (Rev 21:5). The prophet sees the old heavens and the old earth the universe as it now is passing away, and new heavens and a new earth, God's new creation of all things, coming into being. It is not that God r...

Mainstream model transformation tools operate on graph structured models which are described by class-based meta-models. In the traditional grammarware space, transformation tools consume and produce tree structured terms, which are described by some kind of algebraic datatype or grammar. In this paper we explore a functional style of model transformation using Rascal, a meta-programming langua...