 We now turn to our second sort of “theory of meaning”: foundational theories of meaning, which are attempts to specify the facts in virtue of which expressions of natural languages come to have the semantic properties that they have.