Abstract

Soames thinks the dependencies show up in the semantics if they are generated by variable binding. That will only partially overlap with Pinillos's ambitions for the notion of de jure codesignation. This chapter contributes towards 'domesticating' the kind of predicates that fans of de jure codesignation are friendly to, that is, making them seem less alien and somewhat less 'magical'. It surveys a novel kind of semantic structure that has been posited by Mark Richard, Kit Fine, Ángel Pinillos, and others. It focuses on anaphora, especially cases that cannot be handled by a 'bound‐variable' analysis, and distinguishes our target view from other treatments of anaphora. The chapter discusses the semantics of attitude reports and discusses two kinds of complex anaphoric dependency. It explains a difference in how functions in a programming language can be sensitive to the identity of their operands.