There are two gods. One god lives on the highest
mountain and showers manna on the land
below. The other god lives on the coldest mountain (which is not
the highest) and hurls
thunderbolts. Each god is omniscient in a very particular
sense. He knows the truth-values of all
non-indexical sentences. (e.g. he knows the truth value of 'there
is a god on the highest
mountain' but not of 'I am the god on the highest mountain.') Can
either of the gods deduce the
truth-values of any indexical sentences? Could either god work
out which of the two gods he is?