Сравнительно совершенными идеальными типами, используемыми в качестве средств познания в обществоведении, можно считать упомянутые чистые типы государства Аристотеля (логически вполне корректные). Менее совершенными оказываются общественно-экономические формации, представленные в учении Маркса (логически построенные не вполне корректно).
Логическая корректность чистых типов государства Аристотеля обеспечена тем, что для их построения философ использовал два заданных изначально признака: количество носителей власти и благо тех, во имя кого власть осуществляется. Маркс же, строя свои формации, вынимал, как фокусник из кармана, нужные ему признаки, взятые из общественной практики: общественную и частную собственность, рабовладение, насильственный или экономический способы эксплуатации человека человеком, товарно-денежные отношения и т.д. Эти признаки, сами по себе реальные, отражающие действительность, не составляют логически взаимоувязанной совокупности. Тем не менее, марксистское учение способствовало познанию ряда общественных проблем и учету их в жизнедеятельности общества.
Как логическое средство идеальный тип соответствует обычному понятию в формальной логике. Оба они суть идеальные модели каких-то явлений. Разница между ними в том, что обычное понятие отражает серийные явления (например, вещи), а идеальный тип – уникальные или абстрактные, которые с трудом поддаются или вообще не поддаются количественному измерению (исторический период, капитализм, социальное действие, господство). Но в обоих случаях эти логические средства являются идеальными моделями каких-то явлений [Смирнов. 2012, с.158–159].
Главное достоинство моделей состоит в том, что, меняя их параметры, можно изучать возможное поведение отдельных явлений, не прибегая к экспериментам. Сравнение теоретически предсказанного поведения с реальным позволяет оценить пригодность конкретной модели для описания того или иного явления.
Второе важное достоинство моделирования в том, что оно устраняет проблему жесткого детерминизма, который якобы присущ естествознанию и не оправдывает себя в общественных науках.
В некоторых моделях (идеальных типах) естественных явлений жесткий детерминизм отсутствует. Функциональная зависимость возможного состояния явления от изменяющихся параметров определяется по усложненной формуле большой посылки условно-категорического силлогизма.