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