The Logic of the Method of Agent-Based Simulation in the Social Sciences: Empirical and Intentional Adequacy of Computer Programs

摘要: The classical theory of computation does not represent an adequate model reality for simulation in the social sciences. aim this paper is to construct a methodological perspective that able conciliate formal and empirical logic program verification computer science, with interpretative multiparadigmatic We attempt evaluate whether implies additional about way one can understand concepts computation. demonstrate at least two distinct types verifications reflect epistemological distinction kind knowledge have programs. Computer programs seem possess causal capability (Fetzer, 1999) intentional scientific theories possess. This associated verification, which we call verification. demonstrate, by means, computational phenomena are also phenomena, such particularly manifest agent-based simulation. Ascertaining credibility results requires focus on identification new category should be considered outcome experimental exercise, albeit empirical, acquired within context limited consensus. seems only possible character science terms science. contribute, additionally, clarification several questions found perspectives discipline, as nature, scalability,