 [on such an explication] the distinction between description and prediction, on the one hand, and explanation, on the other, is that the former can proceed in an extensional language framework, while the latter demands an intensional language framework. It remains to be seen whether the intensional logic can be satisfactorily formulated (Salmon 1989: 172, original emphasis).