Partial Deductive Closure: Logical Simulation and Management Science

This research is part of a larger effort to build machine-based tools for developing scientific theories. In analogy with the research process in empirical research, we describe a logical cycle of theory development: (1) starting with an informal version of a theory, (2) then moving to its formal representation, (3) applying formal logic to investigate this representation, and (4) using the results as feedback for the update/revision of the original theory. A central aspect of the logical cycle is the detection of the (hidden) implications of a theory (called "partial deductive closure"). In this paper, we present an algorithm that performs the partial deductive closure for a relevant class of theorems, while filtering out trivial results. The algorithm is applied to an important organization theory, Organizational Ecology, and is shown to generate new theorems of interest.