The Niche Hiker's Guide to Population Ecology: A logical reconstruction of organization ecology's niche theory

Logical formalization is a formal method for the analysis of theoretical arguments in the social sciences. Hannan and Freeman's organizational niche theory (1989) is rebuilt by means of First-Order Logic, and its predictions are derived as theorems. Translation into a formal language makes the theory's inference structure transparent and accessible to discussion, repair and development. The consistency of the model can be checked by computational means. The logical approach helps to specify niche theory's domain; it paints out hidden assumptions, highlights spots where the reasoning has to be modified, and provides solid foundations for further theory building. Moreover, the established premise set also allows for the deduction of some new results. Logical formalization supports empirical research by delineating constraints on and explicit relations between sociological concepts, facilitating their appropriate operationalization.