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