Формальная наука — это отрасль науки, изучающая дисциплины, связанные с абстрактными структурами, описываемыми формальными системами , такими как логика , математика , статистика , теоретическая информатика , искусственный интеллект , теория информации , теория игр , теория систем , теория принятия решений и теоретическая лингвистика . В то время как естественные науки и социальные науки стремятся охарактеризовать физические системы и социальные системы , соответственно, используя эмпирические методы, формальные науки используют языковые инструменты, связанные с характеристикой абстрактных структур, описываемых формальными системами . Формальные науки помогают естественным и социальным наукам, предоставляя информацию о структурах, используемых для описания физического мира, и о том, какие выводы можно сделать о них. [ необходима ссылка ]
Одна из причин, по которой математика пользуется особым уважением среди всех других наук, заключается в том, что ее законы абсолютно точны и неоспоримы, в то время как законы других наук в известной степени спорны и находятся в постоянной опасности быть опроверженными вновь открывающимися фактами.
— Альберт Эйнштейн [1]
Из-за своей неэмпирической природы формальные науки строятся путем изложения набора аксиом и определений , из которых выводятся другие утверждения ( теоремы ). По этой причине в логико-позитивистской концепции эпистемологии науки Рудольфа Карнапа теории , принадлежащие формальным наукам, понимаются как не содержащие синтетических утверждений , а содержащие только аналитические утверждения. [2] [3]
Медиа, связанные с Формальные науки на Wikimedia Commons