Abstract
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 points 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

This publication has 13 references indexed in Scilit: