Формальные науки: различия между версиями
| [отпатрулированная версия] | [непроверенная версия] |
Содержимое удалено Содержимое добавлено
Addbot (обсуждение | вклад) м Перемещение 26 интервики на Викиданные, d:q816264 |
Oleg-ch (обсуждение | вклад) Нет описания правки |
||
Строка 5:
Кроме математики, логика является примером формальной науки с древней [[история логики|историей]]. Явный анализ способов логического вывода имел место в Китае, Индии и Древней Греции. На современную логику оказала влияние, главным образом, древнегреческая традиция, которая получила продолжение в трудах арабских логиков.
Другие формальные науки во многом связаны с математикой и вышли из неё. В начале XVII века появляются первые работы по [[теория вероятностей|теории вероятностей]] ([[статистика|статистике]]). С середины XX века начинают бурно развиваться [[исследование операций]], [[теория информации]], [[теоретическая информатика]] и другие формальные науки. В отношении теоретической информатики следует отметить, что её зарождение усматривается в работах [[Тьюринг, Алан|Тьюринга]] и иногда прослеживается до [[Бэббидж, Чарльз|Бэббиджа]] и даже [[Лейбниц]]а. Появление новых дисциплин показывает, что математика была только одной из многих в ряду формальных наук.
В противоположность естественным и социальным наукам формальные науки в известном смысле логически и методологически независимы от эмпирических методов. В формальных науках подход к исследуемым объектам абстрактен, вместе с тем получаемые результаты находят приложение при изучении всех областей реальности<ref>Классификация наук // Философия: Энциклопедический словарь. — М.: Гардарики. Под редакцией А. А. Ивина. 2004</ref>.
| |||