“A very clear and succinct statement is in the introduction to his Methods of Logic, fourth edition (Cambridge: Harvard University Press, 1982”