Abstract

This paper is a tentative step toward formalizing in symbolic logic some of the central assumptions of Clark L. Hull's theory of behavior. There will be noticeable deviations from Hull's own terminology and form of statement, but this will be largely in the interest of greater logical simplicity. The notation of symbolic logic will not be used, but the behavioral axioms will be so stated as to admit of easy translation into such notation. Such easy translatability seems to be a prerequisite if theorems are to be derivable with genuine deductive rigor.