We have a few available approaches, which are distinct from each other in their logical structure, in behavior theory (Skinner 1953; Tolman 1935, Hull 1943; Ogawa 1957). Nevertheless, they all have a common goal to establish functional relationship between socalled independent variables and dependant variables. In the present paper, auther tries to reiterate these approaches in terms of set theory and symbolic logic. In this attempt the followings are to be clarified: First, that the preceding approaches can be categorized among 156 logically possible alternatives. Second, other alternatives should have logically equal possibility in leading us to the common goal, the construction of theory which enables us to predict, to control and to explain human and animal behavior.