The central point I want to emphasize is that what one actually gives is a theory: a set of axioms. (It is not so important what the details of this theory are, or even whether it is a truth theory as opposed to an assignment of intensional meanings---the sort of thing about which Quinians and Davidsonians tend to be sceptical).