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

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

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

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

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

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

Литература

• 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). [www.maths.unsw.edu.au/~jim/philosophersstone.pdf The formal sciences discover the philosophers' stone]. In: Studies in History and Philosophy of Science. Vol. 25, No. 4, pp. 513-533, 1994

Ссылки

• [www.math.uni-bonn.de/people/fotfs/ Interdisciplinary conferences — Foundations of the Formal Sciences] — материалы конференций по формальным наукам  (англ.)

Отрывок, характеризующий Формальные науки

– Да, да, маменька, очень тяжелые времена! – сказал Берг.
Наташа вышла вместе с отцом и, как будто с трудом соображая что то, сначала пошла за ним, а потом побежала вниз.
На крыльце стоял Петя, занимавшийся вооружением людей, которые ехали из Москвы. На дворе все так же стояли заложенные подводы. Две из них были развязаны, и на одну из них влезал офицер, поддерживаемый денщиком.
– Ты знаешь за что? – спросил Петя Наташу (Наташа поняла, что Петя разумел: за что поссорились отец с матерью). Она не отвечала.
– За то, что папенька хотел отдать все подводы под ранепых, – сказал Петя. – Мне Васильич сказал. По моему…
– По моему, – вдруг закричала почти Наташа, обращая свое озлобленное лицо к Пете, – по моему, это такая гадость, такая мерзость, такая… я не знаю! Разве мы немцы какие нибудь?.. – Горло ее задрожало от судорожных рыданий, и она, боясь ослабеть и выпустить даром заряд своей злобы, повернулась и стремительно бросилась по лестнице. Берг сидел подле графини и родственно почтительно утешал ее. Граф с трубкой в руках ходил по комнате, когда Наташа, с изуродованным злобой лицом, как буря ворвалась в комнату и быстрыми шагами подошла к матери.
– Это гадость! Это мерзость! – закричала она. – Это не может быть, чтобы вы приказали.
Берг и графиня недоумевающе и испуганно смотрели на нее. Граф остановился у окна, прислушиваясь.
– Маменька, это нельзя; посмотрите, что на дворе! – закричала она. – Они остаются!..
– Что с тобой? Кто они? Что тебе надо?
– Раненые, вот кто! Это нельзя, маменька; это ни на что не похоже… Нет, маменька, голубушка, это не то, простите, пожалуйста, голубушка… Маменька, ну что нам то, что мы увезем, вы посмотрите только, что на дворе… Маменька!.. Это не может быть!..
Граф стоял у окна и, не поворачивая лица, слушал слова Наташи. Вдруг он засопел носом и приблизил свое лицо к окну.
Графиня взглянула на дочь, увидала ее пристыженное за мать лицо, увидала ее волнение, поняла, отчего муж теперь не оглядывался на нее, и с растерянным видом оглянулась вокруг себя.
– Ах, да делайте, как хотите! Разве я мешаю кому нибудь! – сказала она, еще не вдруг сдаваясь.
– Маменька, голубушка, простите меня!
Но графиня оттолкнула дочь и подошла к графу.
– Mon cher, ты распорядись, как надо… Я ведь не знаю этого, – сказала она, виновато опуская глаза.
– Яйца… яйца курицу учат… – сквозь счастливые слезы проговорил граф и обнял жену, которая рада была скрыть на его груди свое пристыженное лицо.
– Папенька, маменька! Можно распорядиться? Можно?.. – спрашивала Наташа. – Мы все таки возьмем все самое нужное… – говорила Наташа.
Граф утвердительно кивнул ей головой, и Наташа тем быстрым бегом, которым она бегивала в горелки, побежала по зале в переднюю и по лестнице на двор.