History
and Philosophy of Logic,
10 (1989), 203-212.
An
interpretation in modal and tense logic is proposed for Boethius' reconciliation
of God's foreknowledge with human freedom from The
Consolation of Philosophy, Book V. The interpretation incorporates a
suggestion by Paul Spade that God's special status in time be explained as a
restriction of God's knowledge to eternal sentences. The argument proves valid,
and the seeming restriction on omnipotence is mitigated by the very strong
expressive power of eternal sentences.