We present a tutorial for formalizing verbal theories of psychological phenomena – social or otherwise. The approach builds on concepts and tools from the mathematics of computation. We use intuitive examples and illustrate the intrinsic dialectical nature of the formalization process by presenting dialogues between two fictive characters, called Verbal and Formal. These characters’ conversations and thought experiments serve to highlight important lessons in theoretical modeling.

Publication available in open access