It is clearly explained:
*What it is for a statement to be necessarily true,
*Why necessity, possibility, existence, and non-existence are properties of propositions (truths and falsehoods), not of objects or states of affairs,
*What conditions a class of expressions must meet if the expressions belonging to it jointly constitute a single language,
*The significance for meta-linguistic research of the concepts of systematicity and productivity, as Chomsky defines these terms, and the relevance of these concepts to researches into the nature of necessity,
*Why Quine's attempt to prove the non-existence of analytic truth is not only false but self-defeating,
and, finally,
*Why empirical science relies on truths of purely conceptual, non-observational kind to organize the data at its disposal.