Let me begin with a simple theme, repentance, and a simple message: repent from complacency in the practice and defense of social science history (SSH). I say this because I do not see social science historians meeting three major challenges that must be overcome if the larger, collective enterprise is to survive with the same vitality it had a decade ago. Those challenges are, first, to bring social theory forcefully back into historical research; second, to take formal methods to a new, higher level; and, third, to seek to train the next generation of social science historians in the theory and methods they will need in the next century.
Automated deduction and formal methods
