Abstract

The statements traditionally labelled “necessary,” among them the valid theorems of mathematics and logic, are identified as “those whose truth is independent of experience.” The “truth” of a necessary statement has to be independent of the truth or falsity of experiential statements; a necessary statement can be neither confirmed nor refuted by empirical tests.The admission of genuinely necessary statements presents the empiricist with a troublesome problem. For an empiricist may be defined, in terms of the current idiom, as one who adheres to some version, however “weak,” of a principle of verifiability. One, that is, who claims that no statement can have cognitive meaning unless its truth depends, however indirectly, upon the truth of experiential statements; unless it can be provisionally confirrned or refuted by empirical tests. Allowing that some necessary statements have cognitive meaning, then, would be to provide a prima facie case against the validity of the principle of verifiability.