Aspects of Theory Evaluation

Abstract
Mathematical languages and computer algorithms are becoming important modes of analysis for theory evaluation in political science. Typically, the process involves (1) translating the major theoretical relationships into a ‘formal’ language for the logical analysis of internal consistency, or, (2) empirically interpreting the formal language in order to make specific predictions, which, in turn, allow evaluation of external consistency with theoretically significant real world phenomena. In this paper I wish to discuss, first, some basic concepts and, second, some aspects of the technology and methodology of these modes of theory evaluation.