МЕТОДОЛОГИЯ ДЕДУКТИВНЫХ НАУК


МЕТОДОЛОГИЯ ДЕДУКТИВНЫХ НАУК
МЕТОДОЛОГИЯ ДЕДУКТИВНЫХ НАУК
методология наук, в которых используется по преимуществу или даже единственно дедуктивная аргументация. Отличительной особенностью дедуктивных теорий является возможность логического вывода большей части их содержания из небольшого числа исходных посылок, называемых аксиомами или постулатами. К таким теориям относятся, прежде всего, теории математики и математического естествознания (механики, теоретической физики), а также тех наук, в которых широко используются математические методы исследования. В отличие от фактуальных наук, логическая структура дедуктивных теорий может быть представлена наиболее точно и определенно с помощью аксиоматического метода. Согласно этому методу, все понятия теории разделяются на немногие основные, или первоначальные, понятия и большинство производных, которые получаются из основных с помощью определений. Аналогично этому все утверждения теории разбиваются на два класса: исходные утверждения, или аксиомы, и утверждения, логически выводимые из них с помощью правил дедукции, называемые теоремами или просто следствиями.
Наибольшие успехи в настоящее время достигнуты в исследовании структуры математических теорий. Они являются результатом преодоления тех трудностей и парадоксов, которые возникли в теории множеств, считавшейся незыблемым фундаментом классической математики. С этой целью математики стали тщательно анализировать исходные понятия и принципы теории множеств. Чтобы избежать парадоксов, обнаруженных в этой теории, ее стали строить в аксиоматической форме. Крупные результаты в исследовании структуры математических теорий, опирающихся на аксиоматическую теорию множеств, были получены коллективом математиков, выступающих под псевдонимом Н. Бурбаки. Они рассматривают все математические теории как некоторые комбинации абстрактных структур: «Чтобы определить структуру, задают одно или несколько отношений, в которых находятся элементы ...затем постулируют, что данное отношение или данные отношения удовлетворяют некоторым условиям (которые перечисляют и которые являются аксиомами рассматриваемой структуры). Построить аксиоматическую теорию данной структуры — это значит вывести логические следствия из аксиом структуры, отказавшись от к.-л. других предложений относительно рассматриваемых элементов». Именно отвлечение от конкретного содержания изучаемых элементов и их свойств обеспечивает широкое применение математических методов в др. науках. Понятие абстрактной структуры играет первостепенную роль в математике. Обычно в ней выделяют три основных типа структур: 1) алгебраические, в которых два любых элемента однозначно определяют третий элемент; 2) структуры порядка, где рассматриваются не только порядок следования элементов, но и их сравнение по величине и др. свойствам; 3) топологические структуры, опирающиеся на понятия непрерывности и предела. Эти основные, или порождающие, структуры образуют более сложные, или комбинированные, структуры, с помощью которых можно анализировать реально существующие математические теории. Переход от основных, порождающих, структур к сложным, объединяющим несколько основных, дает возможность не только обнаружить глубокие внутренние связи между теориями, но и выявить неизвестные раньше фундаментальные структуры. Так, в последние десятилетия в математике возникла теория категорий, которая является, по мнению ее создателей, более общей, чем теория множеств, и, кроме того, подчеркивает конструктивный аспект математической деятельности.
С формальной т.зр. все высказывания, встречающиеся в математической теории, могут претендовать на роль аксиом, а сама теория рассматриваться как система аксиом, замкнутых для дедукции. Это означает, что каждое множество высказываний, которое содержит все свои логические следствия, будет представлять замкнутую систему, или теорию. Как показал А. Тарский, двумя исходными понятиями — осмысленного высказывания и следствия — можно охарактеризовать важнейшие результаты в М.д.н. С помощью этих терминов могут быть определены такие характеристики теорий, как непротиворечивость, полнота, аксиоматизируемость и некоторые др.
Однако чисто формальный подход, несмотря на его значительные достоинства, нуждается в дополнительном, содержательном рассмотрении. Формальный анализ, напр., не может объяснить, почему в качестве аксиом выбираются не любые, а лишь определенные утверждения. Какими целями руководствуются при их выборе? Почему при формальном тождестве структур предпочтение отдается одним, а не др. теориям? И т.д. Именно поэтому сами ученые рассматривают структуры как своего рода идеализации, представляющие собой определенное приближение к действительно существующим дедуктивным наукам и, прежде всего, к математике. Особого внимания заслуживают результаты исследований К. Гёделя, сформулированные в двух знаменитых его теоремах. В первой из них доказывается, что всякая формальная система, содержащая по крайней мере формальную арифметику, неполна. Это означает, что в такой системе всегда можно построить некоторую формулу, которая будет в ней неразрешима, т.е. ни истинность, ни ложность ее нельзя будет доказать. Из этой теоремы следует важный методологический результат: содержательную математику нельзя формализовать полностью. Это свидетельствует о том, что в развитии дедуктивного знания приоритет принадлежит содержанию, а не форме. Вторая теорема устанавливает, что если формальная система непротиворечива, то не существует доказательства ее непротиворечивости с помощью средств, формализуемых в этой системе. Отсюда можно сделать предположение о существовании целой иерархии формальных систем, в которой каждая из последующих превосходит предыдущую систему по силе средств формализации. Следовательно, в ходе развития дедуктивных наук их формализация не может быть завершена на каком-то исторически определенном этапе.

Философия: Энциклопедический словарь. — М.: Гардарики. . 2004.


.

Смотреть что такое "МЕТОДОЛОГИЯ ДЕДУКТИВНЫХ НАУК" в других словарях:

  • МЕТОДОЛОГИЯ —         (от метод игреч. слово, понятие, учение), система принципов и способов организации и построения теоретич. и практич. деятельности, а также учение об этой системе. Первоначально М. была неявно представлена в практич. формах взаимоотношений …   Философская энциклопедия

  • методология —         МЕТОДОЛОГИЯ тип рационально рефлексивного сознания, направленный на изучение, совершенствование и конструирование методов (см. Метод) в различных сферах духовной и практической деятельности. Существуют методологические представления и… …   Энциклопедия эпистемологии и философии науки

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

  • ЛОГИКА НАУЧНОГО ПОЗНАНИЯ — или Логика науки, применение идей, методов и аппарата логики в анализе научного познания. Развитие логики всегда было тесно связано с практикой теоретического мышления и прежде всего с развитием науки. Конкретные рассуждения дают логике материал …   Философская энциклопедия

  • логика научного познания (логика науки) — применение идей, методов и аппарата логики в анализе научного познания. Развитие логики всегда было тесно связано с практикой теоретического мышления и прежде всего с развитием науки. Конкретные рассуждения дают логике материал, из которого она… …   Словарь терминов логики

  • современная логика — одно из имен для обозначения нынешнего этапа в развитии (формальной) логики, начавшегося во второй половине XIX в. начале XX в. В качестве других имен этого этапа в развитии логики используются также термины математическая логика и символическая… …   Словарь терминов логики

  • ЛОГИКА — (от греч. logos слово, понятие, рассуждение, разум), или Формальная логика, наука о законах и операциях правильного мышления. Согласно основному принципу Л., правильность рассуждения (вывода) определяется только его логической формой, или… …   Философская энциклопедия

  • ЛОГИКА В РОССИИ — эволюция современной (математической) логики в России. Кон. 19 в. и нач. 20 в. знаменуют выход логики за рамки силлогистики и появление логиков новаторов, таких как П.С. Порецкий, М.В. Каринский, Л.В. Рутковский, СИ. Поварнин, и др. Казанский… …   Философская энциклопедия

  • ТЕОРИЯ — (от греч. theoria рассмотрение, исследование) совокупность высказываний, замкнутых относительно логического следования. Такое предельно общее и наиболее абстрактное определение Т. дает логика. С логической т.зр. теорией можно назвать любое… …   Философская энциклопедия

  • МЕТАЛОГИКА — раздел логики, в котором изучаются логические исчисления и формализованные логические теории. В рамках данного раздела изучаются все те универсальные отношения, которые могут иметь место между смысловыми значениями символов того или иного языка;… …   Философская энциклопедия


Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»

We are using cookies for the best presentation of our site. Continuing to use this site, you agree with this.