Формальные науки
Форма́льные нау́ки — совокупность наук, занимающихся исследованием формальных систем. К формальным наукам относятся: математика, логика, кибернетика, теоретическая информатика, теория информации, теория систем, теория принятия решений, статистика, некоторые аспекты лингвистики.

Формальные науки берут начало в математических текстах, датируемых 1800 г. до н. э. (вавилонская математика), 1600 г. до н. э. (древнеегипетская математика) и 1000 г. до н. э. (древнеиндийская математика), задолго до формирования научного метода. Индийские, древнегреческие и арабские математики внесли большой вклад в математику, в Китае и Японии независимо развивалась собственная математическая традиция.

Логика, так же как и математика, является примером формальной науки с древней историей (смотри статью История логики). Анализ способов логического вывода имел место в Древнем Китае, Древней Индии, Древнем Риме и Древней Греции. На современную логику оказала влияние, главным образом, древнегреческая традиция, которая получила продолжение в трудах арабских логиков.

Другие формальные науки во многом связаны с математикой и вышли из неё. В начале XVII века появляются первые работы по теории вероятностей (статистике). С середины XX века начинают бурно развиваться исследование операций, теория информации, теоретическая информатика и другие формальные науки. В отношении теоретической информатики следует отметить, что её зарождение усматривается в работах Тьюринга и иногда прослеживается до Бэббиджа и даже Лейбница. Появление новых дисциплин показывает, что математика была только одной из многих в ряду формальных наук.

В противоположность естественным и социальным наукам формальные науки в известном смысле логически и методологически независимы от эмпирических методов. В формальных науках подход к исследуемым объектам абстрактен, вместе с тем получаемые результаты находят приложение при изучении всех областей реальности.
Q336
наук
Concept
Q649732
формальных систем
Concept
Q395
математика
Concept
Q8078
логика
Concept
Q123637
кибернетика
Concept
Q2878974
теоретическая информатика
Concept
Q131222
теория информации
Concept
Q269699
теория систем
Concept
Q177571
теория принятия решений
Concept
Q12483
статистика
Concept
Q8162
лингвистики
Concept
Q787931
вавилонская математика
Concept
Q1330884
древнеегипетская математика
Concept
Q1279571
древнеиндийская математика
Concept
Q46857
научного метода
Concept
Q11772
древнегреческие
LOC
Q35323
арабские
Concept
Q148
Китае
LOC
Q17
Японии
LOC
Q468620
История логики
Concept
Q82972
Древнем Китае
ORG
Q133136
Древней Индии
TIME
Q1747689
Древнем Риме
LOC
Q11772
Древней Греции
LOC
Q35323
арабских
Concept
Q5862903
теории вероятностей
Concept
Q12483
статистике
Concept
Q194292
исследование операций
Concept
Q131222
теория информации
Concept
Q2878974
теоретическая информатика
Concept
Q7251
Тьюринга
PER
Q46633
Бэббиджа
PER
Q9047
Лейбниц
PER
Q816264
Формальные науки
Concept
1600-01-01T00:00:00Z^^http://www.w3.org/2001/XMLSchema#dateTime
1600
DATE
1000-01-01T00:00:00Z^^http://www.w3.org/2001/XMLSchema#dateTime
и 1000
DATE
+1600^^http://www.w3.org/2001/XMLSchema#decimal
1600
NUMBER
part of
part of
part of
part of
part of
part of
part of
part of
part of