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

Формальные науки берут начало в математических текстах, датируемых 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). 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 - материалы конференций по формальным наукам (англ.)

Wikimedia Foundation . 2010 .

• Формазин
• Формальные методы

Смотреть что такое "Формальные науки" в других словарях:

- ’НАУКИ О ПРИРОДЕ И НАУКИ О КУЛЬТУРЕ’ (1910) одна из наиболее значимых работ Риккерта, в которой излагаются основы разработанной им методологии исторического знания. Книга представляет собой переработку и публикацию, причем в значительно… …

НАУКИ О ПРИРОДЕ И НАУКИ О КУЛЬТУРЕ - (1910) одна из наиболее значимых работ Риккерта, в которой излагаются основы разработанной им методологии исторического знания. Книга представляет собой переработку и публикацию, причем в значительно расширенном виде, идей доклада, прочитанного… … История Философии: Энциклопедия

математизация науки - МАТЕМАТИЗАЦИЯ НАУКИ применение математики для теоретического представления научного знания. И само научное знание, и математика, и математизация научного знания зародились в античности. Первую математическую концепцию природы создали… … Энциклопедия эпистемологии и философии науки

У этого термина существуют и другие значения, см. Наука (значения) … Википедия

Научное знание

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

КЛАССИФИКАЦИЯ НАУК - многоступенчатое, разветвленное деление наук, использующее на разных этапах деления разные основания. Все науки обычно делятся на три группы: естественные науки, социальные и гуманитарные науки, формальные науки. К естественным наукам относятся… … Философская энциклопедия

КРОMAH - (Kroman), Кристиан Фредерик Вильгельм (29 марта 1846 – 26 июля 1925) – дат. бурж. философ, проф. Копенгагенского ун та (1884–1922). Гносеология (см. О познании природы – Vor Naturerkendelse , 1883) близка к неокантианской. К. строит теорию… … Философская энциклопедия

ХВОСТОВ Вениамин Михайлович - (29.02.1868, Керчь 5.02.1920, Москва) философ, социолог, правовед. Окончил юридический ф т Московского ун та, в к ром, получив степень магистра, а затем степень доктора, с 1895 по 1911 г. и с 1917 г. читал лекции по римскому праву. Преподавал… … Русская Философия. Энциклопедия

- (лат. institutum установление, учреждение) социальная структура или порядок общественного устройства, определяющие поведение некоторого множества индивидов того или иного сообщества. Институты характеризуются своими возможностями… … Википедия

Книги

• Философия науки В 2-х частях. Часть 1. Учебник для бакалавриата и магистратуры , Ивин А.А.. Настоящий учебник посвящен основным проблемам философии науки. Наука в нем понимается предельно широко, она включает естественные, социальные, гуманитарные и формальные науки. Книга состоит…

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

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

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

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

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

Примечания

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. In: Studies in History and Philosophy of Science. Vol. 25, No. 4, pp. 513-533, 1994

Ссылки

• Interdisciplinary conferences - Foundations of the Formal Sciences - материалы конференций по формальным наукам (англ.)

формальные науки биологии, формальные науки изучающие, формальные науки о, формальные науки юношей

Формальные науки Информацию О

Все мы, попадая в школу, затем в ВУЗ, не задумываемся над тем, что обычному человеку дается лишь малая часть основ разных наук. На самом деле, этих самых наук существует множество. Чтобы разобраться, какие есть науки, нужно сначала выяснить, как они классифицируются и на какие группы делятся.

Виды наук

Мы попытаемся представить вам наиболее распространенную карту наук. Все существующие системы знаний по определенной теме, подразделяются всего лишь на три группы. Это:

• Естественные
• Гуманитарные
• Формальные науки

Каждая группа содержит огромный пласт подразделов, который, в свою очередь расслаивается на еще более узкие специализации. Мы назовем лишь базовые, так как перечислить, какие существуют науки будет достаточно трудоемко.

Естественные науки

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

Какие науки изучают человека? Из естественных наук это биология, точнее, ее подраздел. Большинство же наук о человеке попадает в следующую группу – гуманитарных.

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

Гуманитарные науки

Это также широкий пласт наук. К ним относятся социальные и типично гуманитарные науки.

Социальные науки включают в себя экономику, социологию, политологию, и другие. Эти науки описывают действия, события, и они же оценивают их. Однако они не имеют четкую черно-белую картину восприятия. Их оценка, скорее, сравнительная, нежели абсолютная.

А какие науки гуманитарные? Это история, психология, лингвистика. Весь ряд наук сплошь пестрит абсолютными, но динамично-развивающимися категориями. Например, они четко обозначают временные параметры (что было, что есть или что будет), и стремятся дать абсолютную оценку изучаемым фактам и категориям.

Есть еще подраздел гуманитарных наук, который совсем немного, но стоит особняком. Это науки, формирующие восприятие и дающие оценку. К ним относятся искусствоведение, этика и подобные им.

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

Здесь все предельно ясно. К формальным наукам относятся логика, математика, статистика, информатика. Эта категория наук имеет четкие термины, единственно принятые стандарты и понятия.

Эти категории наук понятны, однако не все исследователи согласны с подобной классификацией. Например, можно подразделить весь этот объем знаний по критериям, оценивающим близость науки к человеку. Какие науки изучают общество, а какие – абстрактные вещи? Здесь возможны разные варианты, благо, есть где разгуляться, учитывая тот факт, что наук, которые изучает человек более 20 тысяч.

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

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

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

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

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

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 - www.maths.unsw.edu.au/~jim/philosophersstone.pdf. In: Studies in History and Philosophy of Science . Vol. 25, No. 4, pp. 513-533, 1994

Формальные науки - дисциплины, касавшиеся формальных систем, таких как логика, математика, статистика, теоретическая информатика, информационная теория, теория игр, теория систем, теория решения и части лингвистики. Принимая во внимание, что естественные науки стремятся характеризовать физические системы, формальные науки касаются характеристики абстрактных структур, описанных системами знака. Формальные науки помогают естественным наукам, предоставляя информацию о структурах последнее использование, чтобы описать мир, и какие выводы могут быть сделаны о них.

История

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

Помимо математики, логика - другой пример одного из самых старых предметов в области формальных наук. Как явный анализ методов рассуждения, логика получила поддержанное развитие первоначально в трех местах: Индия с 6-го века до н.э, Китай в 5-м веке до н.э и Греция между 4-м веком до н.э и 1-м веком до н.э. Формально сложная обработка современной логики спускается с греческой традиции, будучи информированной от передачи аристотелевской логики , которая была тогда далее развита исламскими логиками. Индийская традиция также продолжалась в ранний современный период. Родная китайская традиция не выживала вне старины , хотя индийская логика была позже принята в средневековом Китае.

Поскольку много других дисциплин формальной науки полагаются в большой степени на математику, они не существовали, пока математика не развилась на относительно продвинутый уровень. Пьер де Ферма и Блез Паскаль (1654), и Христиан Гюйгенс (1657) начали самое раннее исследование теории вероятности. В начале 1800-х, Гаусс и Лаплас развили математическую теорию статистики, которая также объяснила использование статистики в страховке и правительственном бухгалтерском учете. Математическая статистика была признана математической дисциплиной в начале 20-го века.

В середине двадцатого века математика была расширена и обогащена повышением новых математических наук и технических дисциплин, таких как операционное исследование и системное проектирование. Эти науки извлекли выгоду из фундаментального исследования в электротехнике и затем развитием электрического вычисления , которое также стимулировало информационную теорию, числовой анализ (научное вычисление), и теоретическая информатика. Теоретическая информатика также извлекает выгоду из дисциплины математической логики, которая включала теорию вычисления.

Различия от других форм науки

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

Хотя формальные науки - концептуальные системы, испытывая недостаток в эмпирическом содержании, это не означает, что у них нет отношения к реальному миру. Но это отношение таково, что их формальные заявления держатся во всех возможных мыслимых мирах (см. действительную формулу) – тогда как, заявления, основанные на эмпирических теориях, такой как, скажем, Общая теория относительности или эволюционная биология, не держатся во всех возможных мирах, и, может в конечном счете оказаться, не держится в этом мире также. Именно поэтому формальные науки применимы во всех областях и полезны во всех эмпирических науках.

Из-за их неэмпирического характера формальные науки истолкованы, обрисовав в общих чертах ряд аксиом и определений, из которых выведены другие заявления (теоремы). Другими словами, теории в формальных науках не содержат синтетических заявлений ; все их заявления