I just came across this article by Paul Smaldino on formalizing verbal theories. I think there are interesting connections to be made for the humanities.
Turning verbal theories into formal models is an essential business of a mature
science. Here I elaborate on taxonomies of models, provide ten lessons for translating a verbal
theory into a formal model, and discuss the specific challenges involved in collaborations between modelers and non-modelers. It’s a start