Abstract

The thesis of this paper is that extensional language alone provides an essentially inadequate foundation for the logical formalization of any lawlike statement. The arguments presented are intended to demonstrate that lawlike sentences are logically general dispositional statements requiring an essentially intensional reduction sentence formulation. By introducing a non-extensional logical operator, the 'fork', the difference between universal and statistical laws emerges in a distinction between dispositional predicates of universal strength as opposed to those of merely statistical strength. While the logical form of universal and statistical laws appears to be fundamentally dissimilar on the standard account, from this point of view their syntactical structure is basically the same.