Abstract
Intriguing parallels can be observed between the execution of computer programs
and the interpretation of ordinary discourse. Various elements of discourse, such
as assertions, suppositions and questions, may well be compared with statements
or sequences of statements in an imperative program. Let us concentrate on assertions
for the moment. Stalnaker 1979 sums up some
... read more