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 analyzed to show their deficiencies.