Abstract

The aim of the paper is to analyze different approaches to anaphora with restricted quantifiers. An important point is distinguishing the anaphoric process, which is in fact structured, from the outcomes of that process. Requirements which we put on anaphora cannot be met by equipping the classical semantic theories of anaphora . Anaphora is then explained as an algorithmic process in which the semantic value of the anaphoric expression is a higher-order structured function. This function can also be represented as an algorithm consisting of two main sub-algorithms: a calling procedure of picking up the semantic value of a restricted quantifier and an execution procedure containing the semantic value already selected. The result is that semantic values/structured functions of anaphoric expressions depend on semantic values of antecedent expressions without violating the principle of preserving the meaning. Given the identity of extensional relevant algorithmic parts, also the extensions of these functions are the same