Форма́льные нау́ки — совокупность наук, занимающихся исследованием формальных систем. К формальным наукам относятся: математика, логика, кибернетика, теоретическая информатика, теория информации, теория систем, теория принятия решений, статистика, некоторые аспекты лингвистики.
![image](https://www.wikidata.ru-ru.nina.az/image/aHR0cHM6Ly93d3cud2lraWRhdGEucnUtcnUubmluYS5hei9pbWFnZS9hSFIwY0hNNkx5OTFjR3h2WVdRdWQybHJhVzFsWkdsaExtOXlaeTkzYVd0cGNHVmthV0V2WTI5dGJXOXVjeTkwYUhWdFlpOHdMekEzTHlWRU1DVkJNU1ZFTUNWQ1FpVkVNQ1ZDTlNWRU1DVkNOQ1ZFTVNVNE1TVkVNU1U0TWlWRU1DVkNNaVZFTUNWQ09DVkVNQ1ZDTlY4bFJERWxPRFFsUkRBbFFrVWxSREVsT0RBbFJEQWxRa01sUkRFbE9ETWxSREFsUWtJbFJERWxPRUpmSlVRd0pVRkVKVVF3SlVJNUpVUXdKVUpDSlVRd0pVSTFKVVF4SlRnd0pVUXdKVUl3WHlVeU9EUTJNSGd5T0RRbE1qa3VjRzVuTHpJeU1IQjRMU1ZFTUNWQk1TVkVNQ1ZDUWlWRU1DVkNOU1ZFTUNWQ05DVkVNU1U0TVNWRU1TVTRNaVZFTUNWQ01pVkVNQ1ZDT0NWRU1DVkNOVjhsUkRFbE9EUWxSREFsUWtVbFJERWxPREFsUkRBbFFrTWxSREVsT0RNbFJEQWxRa0lsUkRFbE9FSmZKVVF3SlVGRUpVUXdKVUk1SlVRd0pVSkNKVVF3SlVJMUpVUXhKVGd3SlVRd0pVSXdYeVV5T0RRMk1IZ3lPRFFsTWprdWNHNW4ucG5n.png)
Формальные науки берут начало в математических текстах, датируемых 1800 г. до н. э. (вавилонская математика), 1600 г. до н. э. ((древнеегипетская математика)) и 1000 г. до н. э. ((древнеиндийская математика)), задолго до формирования научного метода. Индийские, древнегреческие и арабские математики внесли большой вклад в математику, в Китае и Японии независимо развивалась собственная математическая традиция.
Логика, так же как и математика, является примером формальной науки с древней историей (смотри статью (История логики)). Анализ способов логического вывода имел место в Древнем Китае, Древней Индии, Древнем Риме и Древней Греции. На современную логику оказала влияние, главным образом, древнегреческая традиция, которая получила продолжение в трудах арабских логиков.
Другие формальные науки во многом связаны с математикой и вышли из неё. В начале XVII века появляются первые работы по теории вероятностей (статистике). С середины XX века начинают бурно развиваться исследование операций, теория информации, теоретическая информатика и другие формальные науки. В отношении теоретической информатики следует отметить, что её зарождение усматривается в работах Тьюринга и иногда прослеживается до Бэббиджа и даже (Лейбница). Появление новых дисциплин показывает, что математика была только одной из многих в ряду формальных наук.
В противоположность естественным и (социальным) наукам формальные науки в известном смысле логически и методологически независимы от эмпирических методов. В формальных науках подход к исследуемым объектам абстрактен, вместе с тем получаемые результаты находят приложение при изучении всех областей реальности.
См. также
Примечания
- Классификация наук // Философия: Энциклопедический словарь. — М.: Гардарики. Под редакцией А. А. Ивина. 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.
- [англ.] (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 — материалы конференций по формальным наукам (англ.)
Это о науке. Помогите Википедии, дополнив её. |
Википедия, чтение, книга, библиотека, поиск, нажмите, истории, книги, статьи, wikipedia, учить, информация, история, скачать, скачать бесплатно, mp3, видео, mp4, 3gp, jpg, jpeg, gif, png, картинка, музыка, песня, фильм, игра, игры, мобильный, телефон, Android, iOS, apple, мобильный телефон, Samsung, iphone, xiomi, xiaomi, redmi, honor, oppo, nokia, sonya, mi, ПК, web, Сеть, компьютер