One of the most interesting and fruitful applications of logics, classical or other, has been in supplying formal frameworks for the semantics of natural language. In this paper, I discuss the following puzzle: there seem to be arguments that are logically valid - more precisely, that are instances of the rule of universal instantiation, and yet, the utterance of the premise is intuitively true while the conclusion is false. I will discuss two strategies, developed in response to different sorts of problems, that seem immediately applicable to this puzzle. While the so-called contextualist strategy blocks the puzzle at the level of syntax, the index-shifting strategy actually embraces the apparently paradoxical claim that there are logicall...