Формальные науки
Форма́льные нау́ки — совокупность наук, занимающихся исследованием формальных систем. К формальным наукам относятся: математика, логика, кибернетика, теоретическая информатика, теория информации, теория систем, теория принятия решений, статистика, некоторые аспекты лингвистики.
Формальные науки берут начало в математических текстах, датируемых 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, Сеть, компьютер, Информация о Формальные науки, Что такое Формальные науки? Что означает Формальные науки?
Forma lnye nau ki sovokupnost nauk zanimayushihsya issledovaniem formalnyh sistem K formalnym naukam otnosyatsya matematika logika kibernetika teoreticheskaya informatika teoriya informacii teoriya sistem teoriya prinyatiya reshenij statistika nekotorye aspekty lingvistiki Sledstvie formuly Ejlera Eta formula yavlyaetsya matematicheskoj Formalnye nauki berut nachalo v matematicheskih tekstah datiruemyh 1800 g do n e vavilonskaya matematika 1600 g do n e drevneegipetskaya matematika i 1000 g do n e drevneindijskaya matematika zadolgo do formirovaniya nauchnogo metoda Indijskie drevnegrecheskie i arabskie matematiki vnesli bolshoj vklad v matematiku v Kitae i Yaponii nezavisimo razvivalas sobstvennaya matematicheskaya tradiciya Logika tak zhe kak i matematika yavlyaetsya primerom formalnoj nauki s drevnej istoriej smotri statyu Istoriya logiki Analiz sposobov logicheskogo vyvoda imel mesto v Drevnem Kitae Drevnej Indii Drevnem Rime i Drevnej Grecii Na sovremennuyu logiku okazala vliyanie glavnym obrazom drevnegrecheskaya tradiciya kotoraya poluchila prodolzhenie v trudah arabskih logikov Drugie formalnye nauki vo mnogom svyazany s matematikoj i vyshli iz neyo V nachale XVII veka poyavlyayutsya pervye raboty po teorii veroyatnostej statistike S serediny XX veka nachinayut burno razvivatsya issledovanie operacij teoriya informacii teoreticheskaya informatika i drugie formalnye nauki V otnoshenii teoreticheskoj informatiki sleduet otmetit chto eyo zarozhdenie usmatrivaetsya v rabotah Tyuringa i inogda proslezhivaetsya do Bebbidzha i dazhe Lejbnica Poyavlenie novyh disciplin pokazyvaet chto matematika byla tolko odnoj iz mnogih v ryadu formalnyh nauk V protivopolozhnost estestvennym i socialnym naukam formalnye nauki v izvestnom smysle logicheski i metodologicheski nezavisimy ot empiricheskih metodov V formalnyh naukah podhod k issleduemym obektam abstrakten vmeste s tem poluchaemye rezultaty nahodyat prilozhenie pri izuchenii vseh oblastej realnosti Sm takzheTochnye naukiPrimechaniyaKlassifikaciya nauk Filosofiya Enciklopedicheskij slovar M Gardariki Pod redakciej A A Ivina 2004LiteraturaMario 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 angl 1994 The formal sciences discover the philosophers stone In Studies in History and Philosophy of Science Vol 25 No 4 pp 513 533 1994SsylkiInterdisciplinary conferences Foundations of the Formal Sciences materialy konferencij po formalnym naukam angl Eto zagotovka stati o nauke Pomogite Vikipedii dopolniv eyo Eto primechanie po vozmozhnosti sleduet zamenit bolee tochnym
