logical and mathematical propositions are analytic or a priori, and necessary. On this account, Twice two makes four, for example, has to be true, and we can determine its truth without appeal to experience, simply by analyzing the meanings of its constituent concepts.
