Формальная теория и формализация теории
в основе изменяющегося “содержания” последовательной интеракции (см. Форма и содержание; Диада и триада). Георг Зиммель, социология которого более других идентифицируется с этим подходом, обращался к оценкам этих форм как к составляющим “геометрию социальной жизни”.
Следуя Канту и указывая на то, что они обладают априорным (или “необходимым”) характером, а также эмпирическим выражением, Зиммель представлял свои “формы” в качестве априорно синтетических понятий, отличая их от всяких стандартных априорных (то есть чисто “аналитических”) или стандартных эмпирических (то есть чисто “синтетических”). Среди социальных форм и других общих понятий, затронутых Зим- мелем, фигурируют “конкуренция” и “конфликт”, общительность и новичок.401
Хотя Зиммель не основал “школу” в строгом смысле слова, многочисленные признаки влияния его формальной социологии можно обнаружить в трудах фон Вайзе, Чикагской школы и Гофмана. См. также Теория конфликта.
ФОРМАЛЬНАЯ ТЕОРИЯ И ФОРМАЛИЗАЦИЯ ТЕОРИИ
(formal theory and formalization of theory) — представление теоретических суждений в отношении специфического явления с точки зрения совокупности логических и дедуктивно взаимосвязанных пропорций, причем некоторые из суждений рассматриваются как аксиомы или посылки, из которых остальное может быть выведено в качестве теорем. Зеттерберг (1965), например, стремился именно таким образом формализовать “Разделения труда” Дюркгейма (1893), выдвигая следующие десять суждений:
(а) больше разделения труда — больше консенсуса;
(б) больше солидарности — больше ассоциаций на одного члена;
(в) больше ассоциаций на одного члена — больше консенсуса;
(г) больше консенсуса — меньше число неприятий девиантов;
(д) больше разделения труда — меньше неприятий девиантов;
(е) больше ассоциаций на одного члена — меньше число неприятий девиантов;
(ж) больше разделения труда — больше солидарности;
(з) больше солидарности — больше консенсуса;
(и) больше число ассоциаций на одного члена — больше разделения труда;
(к) больше солидарности — меньше неприятий девиантов.
Зеттерберг выбирает суждения (ж) — (к) в качестве аксиом, из
которых можно вывести остальное. Хотя формализации такого сор-
402