Формальные науки

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

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

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

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

В противоположность естественным и социальным наукам формальные науки в известном смысле логически и методологически независимы от эмпирических методов. В формальных науках подход к исследуемым объектам абстрактен, вместе с тем получаемые результаты находят приложение при изучении всех областей реальности^[1].

Примечания

1. ↑ Классификация наук // Философия: Энциклопедический словарь. — М.: Гардарики. Под редакцией А. А. Ивина. 2004

Литература

• Mario Bunge (1985). Philosophy of Science and Technology. Springer.
• Mario Bunge (1998). Philosophy of Science. Rev. ed. of: Scientific research. Berlin, New York: Springer-Verlag, 1967.
• C. West Churchman (1940). Elements of Logic and Formal Science, J.B. Lippincott Co., New York.
• James Franklin (1994). The formal sciences discover the philosophers' stone. In: Studies in History and Philosophy of Science. Vol. 25, No. 4, pp. 513-533, 1994

Ссылки

• Interdisciplinary conferences — Foundations of the Formal Sciences — материалы конференций по формальным наукам  (англ.)

Это заготовка статьи о науке. Вы можете помочь проекту, исправив и дополнив её. Это примечание по возможности следует заменить более точным.