formal theory and formalization of theory) — представление теоретических суждений в отношении специфического явления с точки зрения совокупности логических и дедуктивно взаимосвязанных пропорций, причем некоторые из суждений рассматриваются как аксиомы или посылки, из которых остальное может быть выведено в качестве теорем. Зеттерберг (1965), например, стремился именно таким образом формализовать "Разделения труда" Дюркгейма (1893), выдвигая следующие десять суждений: (а) больше разделения труда — больше консенсуса; (б) больше солидарности — больше ассоциаций на одного члена; (в) больше ассоциаций на одного члена — больше консенсуса; (г) больше консенсуса — меньше число неприятий девиантов; (д) больше разделения труда — меньше неприятий девиантов; (е) больше ассоциаций на одного члена — меньше число неприятий девиантов; (ж) больше разделения труда — больше солидарности; (з) больше солидарности — больше консенсуса; (и) больше число ассоциаций на одного члена — больше разделения труда; (к) больше солидарности — меньше неприятий девиантов. Зеттерберг выбирает суждения (ж) — (к) в качестве аксиом, из вторых можно вывести остальное. Хотя формализации такого сорта особенно часто применяются в раскрытии логических слабостей предыдущего неформального теоретического утверждения, они не считаются необходимыми в науке или в социологии.