The social sciences have achieved highly sophisticated methods for data collection and analysis, leading to increased control and tractability of scientific results. Meanwhile, methods for systematizing these results, as well as new ideas and hypotheses, into sociological theories have seen little progress, leaving most sociological arguments ambiguous and difficult to handle, and impairing cumulative theory development. Sociological theory, containing many valuable ideas and insights, deserves better than this. As a way out of the doldrums, this paper presents a systematic approach to computer-supported logical formalization, that is widely applicable to sociological theory and other declarative discourse. By increasing rigor and precision of sociological arguments, they become better accessible to critical investigation, thereby raising scientific debate to a new level. The merits of this approach are.