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 their 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.