The paper offers a semantic analysis of anaphora using bound variables in two distinct logical systems – predicate calculus and dynamic predicate calculus. First, it offers a general explanation of anaphora. Further, basic relevant notions of both systems are discussed. Finally, the existing models of anaphora are analysed to show their deficiencies.
JavaScript is turned off in your web browser. Turn it on to take full advantage of this site, then refresh the page.