Формальні науки

Матеріал з Вікіпедії — вільної енциклопедії.
Перейти до: навігація, пошук

Формальні науки — сукупність наук, які займаються дослідженням формальних систем. До формальних наук, наприклад, відносяться: логіка, математика, теоретична інформатика, теорія інформації, теорія систем, теорія прийняття рішень, статистика, деякі аспекти лінгвістики.

Формальні науки беруть початок в математичних текстах, датованих 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. У: Studies in History and Philosophy of Science. Vol. 25, No. 4, pp. 513–533, 1994. (англ.)
  • Interdisciplinary conferences — Foundations of the Formal Sciences — матеріали конференцій з формальних наук. (англ.)
Наука Це незавершена стаття з науки.
Ви можете допомогти проекту, виправивши або дописавши її.