- •Тема 1. Предмет и основные концепции современной философии науки
- •1. Три аспекта науки. Предмет философии науки.
- •Эволюция подходов к анализу науки
- •2. Становление и развитие философии науки: неопозитивизм, поспозитивизм
- •Наука в культуре современной цивилизации
- •Тема 2. Возникновение науки и основные стадии ее исторической эволюции
- •1. Возникновение науки
- •2. Античная наука
- •З. Наука средневековья
- •З. Формирование идеалов науки Нового времени
- •Глава 4 структура эмпирического знания
- •4.1. Особенности эмпирического уровня познания
- •4.2. Структура эмпирического знания
- •Структура теоретического знания
- •5.1. Абстрагирование и идеализация — начало теоретического познания
- •5.2. Научные факты и их обобщение
- •5.3. Выдвижение, построение и проверка научных гипотез
- •5.4. Научные законы, регулярность и случайность
- •5.5. Научные теории, их структура и классификация
- •Глава 6 основания науки
- •6.1. Структура оснований науки
- •6.2. Идеалы и нормы научного познания
- •6.3. Научная картина мира
- •6.4. Философские основания науки
- •Глава 7 рациональность в научном познании
- •7.1. Основные формы рациональности
- •7.2. Классическая концепция рациональности
- •7.3. Диалектический подход к проблеме рациональности
- •7.4. Нормативно-методологическая интерпретация рациональности
- •7.5. Социологическая интерпретация рациональности
- •7.6. Рациональность как деятельность
- •Глава 8
- •8.1. Экстерналистский и интерналистский взгляды на развитие науки
- •8.2. Кумулятивистский подход к росту науки
- •8.3. Эмпирический взгляд на рост научного знания
- •8.4. Эволюционная концепция роста научного знания
- •8.5. Модель структуры научных революций т. Куна
- •Глава 9 научные традиции и научные революции
- •9.1. Взаимодействие традиций и новаций в развитии науки
- •9.2. Научные революции как перестройка оснований науки
- •9.3. Типология научных революций
- •9.4. Научные революции как точки бифуркации в развитии знания
- •Глава 10 особенности современного этапа развития науки
- •10.1. Современные процессы дифференциации и интеграции наук
- •10.2. Освоение самоорганизующихся, «синергетических» систем и новые стратегии научного поиска
- •10.3. Глобальный эволюционизм как синтез эволюционного и системного подходов
- •10.4. Глобальный эволюционизм и современная научная картина мира
- •10.5. Проблемы биосферы и экологии в современной науке
- •10.6. Усиление взаимосвязи между естественнонаучным и социально-гуманитарным знанием
- •10.7. Современная наука и изменение ее мировоззренческих принципов
- •Глава 11
- •11.1. Общая характеристика методов науки
- •11А Взаимодействие методологии с другими дисциплинами
- •11.6. Анализ исследования и обоснования его результатов
- •12.1. Проблема как связующее звено между наблюдением и теорией
- •12,3. Возникновение проблем в развитии научного знания
- •12.4. Решение проблем и прогресс научного знания
- •12.5. Постановка и разработка научных проблем
- •13.1. Индуктивная модель обоснования науки
- •13.5. Метод математической гипотезы и его применение в науке
- •13.6. Гипотетико-дедуктивная модель науки
- •14.1. Абдукция как альтернатива гипотетико-дедуктивному методу
- •14.2. Абдуктивные рассуждения и их особенности
- •14.3. Возможные способы применения абдуктивных рассуждений
- •14.4. Критика и дальнейшее развитие принципов абдукции
- •14.5. Новые подходы к анализу роли абдукции в научном поиске
- •15.1. Общая характеристика природы и структуры научной теории
- •15.4. Основные функции научной теории
- •16.1. Типы и методы научного объяснения
- •16.2. Дедуктивно-номологическая модель объяснения
- •16.3. Альтернативные модели научного объяснения
- •16.4, Методы и модели исторического объяснения
- •17.1. Проблема понимания в герменевтике
- •17.2. Понимание как семантическая интерпретация
- •17.4. Понимание как процесс развития познания
- •17.5, Особенности понимания в исторической науке
- •18.1. Логическая структура предсказаний
- •18.3. Прогнозирование как особый тип предвидения
- •18.4. Предвидения и пророчества в истории
- •Глава 11 164
13.1. Индуктивная модель обоснования науки
Основателем индуктивного метода исследования по праву считается родоначальник материализма Нового времени Фрэнсис Бэкон. Недовольный силлогистикой Аристотеля, он в противовес его «Органону» создал свой «Новый Органон», в котором изложил хорошо знакомые нам теперь каноны, или правила, индуктивных рассуждений. Однако он настолько переоценивал значение своей индуктивной логики, что считал ее универсальным инструментом для открытия любых новых истин о природе. В подробной цитате, которую мы привели в 1 главе, Бэкон утверждает, например, что его метод «немногое оставляет остроте и силе дарования» и даже сравнивает его с циркулем и линейкой. Открытие новых истин превращалось, таким образом, в чисто механический процесс применения правил. Используя современную терминологию, мы могли бы сказать, что Бэкон надеялся, что ему удалось построить логический алгоритм открытий.
Хотя с помощью индукции действительно можно делать обобщения и открывать простейшие эмпирические законы, все они, во-первых, не выходят за рамки наблюдаемых свойств явлений, во-вторых, результаты индукции никогда не бывают безошибочными и достоверно истинными, а только вероятными или правдоподобными в той или иной степени. Почти после двух столетий Джон Стюарт Милль систематизировал и усовершенствовал каноны индукции Бэкона, чтобы использовать их для открытия законов причинной связи явлений. Но и с помощью таких канонов можно было устанавливать лишь простейшие причинные законы, выражающие регулярные, эмпирически отношения между свойствами наблюдаемых явлений. Раскрытие же глубоких внутренних связей между ними требует обращения к теоретическим понятиям и обобщениям фактов путем выдвижения смелых гипотез. Поэтому никакого чисто логического пути перехода от эмпирических фактов к теоретическим законам не существует хотя бы потому, что в эмпирическом познании отсутствуют теоретические понятия. Единственный путь, который остается для этого, заключается в выдвижении таких общих по форме и глубоких по содержанию гипотез, следствия которых надежно подтверждаются систематическими наблюдениями, экспериментами или практикой.
В связи с этим во второй половине XIX века начинается критика индуктивной модели научного открытия. Пожалуй, одним из первых против нее выступил английский историк науки У. Уэвелл в своей книге «Философия индуктивных наук», опубликованной в 1847 г. Научное открытие, указывал он, должно всегда зависеть от какой-либо счастливой мысли, проследить происхождение которой мы не в состоянии. Однако из этого вовсе не следует, что научное познание происходит посредством случайных догадок. Удачные догадки и предположения возникают не на пустом месте, а являются результатом систематических эмпирических и теоретических исследований, в результате которых в науке появляются сначала гипотезы, а затем хорошо проверенные законы и теории.
Несостоятельность индуктивной модели развития науки с философской точки зрения напрямую связана с проблемой обоснования, или оправдания самой индукции. На каком основании мы можем утверждать, что общее или универсальное заключение, опирающееся на частные суждения о результатах опыта, окажется истинным? Для этого необходимо допустить существование особого принципа индукции, который оправдывал бы индуктивные умозаключения. Для дедуктивных выводов такой принцип действительно существует: если посылки дедукции истинны, то правила логики гарантируют истинность заключения. Ничего подобного не имеется для индукции: истинность ее посылок не обеспечивает истинности заключения. Для заключения об истинности универсальных заключений из частных суждений опыта необходим общий принцип обоснования индукции, который некоторые философы видели в единообразии природы (Д.С. Миль), априорном характере причинной связи (И. Кант) или сведении индукции к вероятности (Г. Рейхенбах).
Однако все эти попытки оказались несостоятельными, поскольку для их обоснования пришлось бы обратиться к новым, более общим принципам и т.д., а тем самым прибегнуть к регрессу в бесконечность.
13-2 Гипотетико-дедуктивный метод рассуждений
Гипотетико-дедуктивная модель, заменившая индуктивную, получила широкое распространение в 30-е годы XX века среди сторонников логического позитивизма, которые ограничивали задачу философии науки логическим анализом существующего знания. Однако сами гипотетико-дедуктивные рассуждения можно обнаружить еще в античной Греции. Они использовались в качестве средства аргументации и убеждения в публичной полемике при обсуждении общественных вопросов на народных собраниях, обучении риторике или эристике (искусству спора). Аналогичный метод критического рассуждения лежит в основе античной диалектики, как искусства поиска истины путем раскрытия противоречий в мышлении. Об этом свидетельствует, в частности, этимология самого слова «диалектика», происходящего от древнегреческого диалего, означающего вести диалог, беседу, полемику. В ходе такого диалога один из его участников выдвигает определенные предположения или мнения, а другой — оспаривает, критикует или опровергает их. В конце концов участники диалога либо приходят к установлению истины, или, по крайней мере, выясняют, в чем они соглашаются и в чем расходятся.
Блестящим мастером проведения диалогов по нравственным и общественно-политическим проблемам был Сократ, от которого, к сожалению, не сохранилось письменных источников, так как он предпочитал излагать свои взгляды устно. Но о его мастерстве мы можем судить по сочинениям его великого ученика Платона, написанных в форме диалогов. По собственным словам Платона, истина не может быть в противоречии с самой собой. Поэтому, если, исходя из какой-либо гипотезы, мы приходим к противоречию, то она должна быть отброшена. Таким способом, в процессе перехода от одной гипотезы к другой, преодолевают заблуждения. По признанию Платона, диалектика есть точный метод доказательства и в его диалогах не встречается иного метода доказательства, кроме опровержения гипотез1. В настоящее время гипотетико-дедуктивные рассуждения не потеряли своего значения и по-прежнему нередко используются в процессе обучения, но значительно большее применение они получили в разнообразных спорах, дискуссиях и полемике, начиная от состязания сторон в судебных заседаниях и кончая хорошо организованными научными дискуссиями и диспутами. Не случайно поэтому в последние годы вновь возродился интерес к античной логике и диалектике в связи с разработкой теоретических проблем аргументации и практики убеждения.2
Что касается применения гипотетико-дедуктивного метода в науке, то ее роль оставалась неоцененной вплоть до Нового времени. Совершенное иное значение этот метод приобрел с возникновением экспериментального естествознания. Одной из первых ги- потетико-дедуктивных систем стала система классической механики, созданная Ньютоном. Эту систему часто называют так именно потому, что в ее основе лежат гипотезы, опирающиеся на огромное число наблюдений и экспериментов, проверенных и обоснованных опытом и практикой.
Совершенно иначе обстоит дело с, абстрактными математическими теориями, аксиомы которых не допускают непосредственной эмпирической проверки. Если принципы и законы эмпирических наук уточняются и изменяются под влиянием опыта и практики, то при выборе математических аксиом руководствуются требованиями логики развития теории. Так, например, Н.И. Лобачевский выбрал новую аксиому о параллельных3 и создал новую неевклидовую геометрию после многочисленных безуспешных попыток, в том числе и собственных, доказать Евклидову аксиому о параллельных. Заменив его противоположным постулатом, Лобачевской из новой системы аксиом получил следствия, которые хотя и противоречили интуитивным пространственным представлениям, но оказались логически непротиворечивыми. Например, в геометрии Евклида сумма внутренних углов треугольника равна 180°, а в геометрии Лобачевского должна быть меньше этой величины. Впоследствии были построены другие системы неевклидовых геометрий.
Вопрос о том, какая геометрия лучше подходит для описания реального пространства, решается не математикой, а эмпирической наукой, какой является, в частности физика. На этом примере мы убеждаемся в том, что абстрактная теория может быть логически непротиворечивой, но не обязательно применимой для описания реального мира. Чтобы убедиться в этом, мы должны абстрактным понятиям геометрии дать определенную интерпретацию. Так, прямую линию можно интерпретировать как путь светового луча, а точку — как пересечение таких лучей. После этого следует проверить экспериментальными методами, в какой мере ее теоремы выполняются в мире физического опыта. Если в математике обращение к гипоте- тико-дедуктивному методу происходит редко и в основном при проверке ее теорий, то в эмпирических науках этот метод используется для построения самих ее теорий. Для этого отдельные обобщения и гипотезы не остаются изолированными, а связываются в определенную систему таким образом, чтобы менее общие гипотезы можно было бы логически вывести из более общих гипотез. По мере увеличения числа гипотез необходимость их упорядочения и приведения в логическую систему все больше возрастает. В связи с этим уточняется и сама логическая структура системы гипотез. В результате этого повышается и теоретическая зрелость соответствующей науки. Не случайно поэтому гипотетико-дедуктивный метод получил наибольшее применение в тех отраслях естествознания, где существует развитый концептуальный аппарат и математические методы исследования. В социальных науках таким требованиям больше всего отвечают экономические теории.
В описательных науках, где преобладают изолированные обобщения и гипотезы, установление логической связи между ними наталкивается на немалые трудности, потому что в них, во-первых, трудно найти и выделить основные, наиболее сильные гипотезы, из которых можно было бы с помощью логической дедукции получить другие гипотезы; во-вторых, вследствие этого нелегко выявить не основные, производные гипотезы, в-третьих, само число гипотез бывает весьма велико. Поэтому в таких науках главные усилия должны быть направлены на поиски более общих и логически сильных гипотез, из которых можно было бы логически вывести менее общие, производные гипотезы, а из последних — высказывания о фактах В дальнейшем такого рода общие гипотезы могли бы стать ядром будущей теории. Характеризуя состояние современной этнографии, Л.Н. Гумилев указывал, например, что в ней «количество фактов столь многочисленно, что речь идет не об их пополнении, а тех, которые имеют отношение к делу...Количество сведений росло, но в новое качество не переходило»1.
По мере превращения описательной науки в теоретическую возрастает и роль дедукции в интеграции гипотез в целостную гипоте- тико-дедуктивную систему. В этом мы можем убедиться на примере формирования классической механики, первой опытной науки, с которой началось развитие классического естествознания.
13.3. Гипотетико-дедуктивный метод в естествознании
Как свидетельствует история науки, первоначальное накопление эмпирической информации и ее систематизация занимают значительный период времени. Даже в математике первые сведения о свойствах чисел и геометрических фигур были установлены эмпирическим путем еще в донаучную эпоху.
В естествознании процесс накопления эмпирических фактов и их обобщения, а тем более теоретического их осмысления и установления логической связи между ними проходил значительно медленнее и по сути дела начался только в XVII веке. Поскольку наибольшие результаты в XVII—XVIII в.в. были достигнуты в изучении механического движения земных и небесных тел, то первые попытки использования гипотетико-дедуктивного метода были предприняты именно в механике. Уже Галилей прибегал к этому методу при анализе равноускоренного движения, частным случаем которого является свободное падение тел под действием силы тяготения. В своей замечательной книге «Беседы и математические доказательства...» в форме живого диалога он излагает важнейшие идеи, относящиеся к механике. Для нас особый интерес представляет день третий «Бесед», где рассматривается метод, с помощью которого он пришел к своему открытию. Речь идет об установлении закона постоянства ускорения свободно падающих тел вблизи земной поверхности. В современных математических терминах его можно записать в виде следующего дифференциального уравнения:
где # — ускорение свободного падения; 5 — путь; I — время. Интегрируя это уравнение, легко найти, что скорость падающего тела пропорциональна времени падения:
у= аз/А = &
Вначале Галилей, как и его предшественники — Леонардо да Винчи, Бенедетти и другие — полагал, что скорость падения пропорциональна пройденному пути. Впоследствии он отказался от этой гипотезы, так как она приводила к следствиям, которые не подтверждаются опытом. Наоборот, гипотеза, что скорость пропорциональна времени падения, приводит к следствию, что путь, пройденный падающим телом, пропорционален квадрату времени падения, хорошо подтверждается данными опыта. Чтобы представить себе ход рассуждений, которые могли привести Галилея к его открытию, можно предположить, что он анализировал последовательный ряд гипотез:
Гипотеза 1: # = (128/с1(, из которой интегрированием получается гипотеза 2-го уровня: скорость падающего тела пропорциональна времени падения. Гипотеза 2\ V = с18/с11, последовательным интегрированием из который вытекает гипотеза 3-го уровня: путь, пройденный падающим телом пропорционален квадрату времени падения:
Гипотеза 3: 8 = &12/2 + 8о-
Из гипотезы 3 можно получить неограниченное число частных случаев, рассматривая путь свободного падения (в метрах) за одну, две, три и т.д. секунды:
Гипотеза 4: 8] = § /2 = 4,9.
Гипотеза 5: 82 = 8-4/2 = 19,6.
Гипотеза 6: 83 = §.9/2 = 44,1.
Все перечисленные гипотезы имеют низший уровень абстрактности и поэтому их можно непосредственно проверить на опыте. Именно подтверждение таких гипотез заставило Галилея поверить в гипотезу высшего уровня. Таким образом, здесь перед нами налицо все характерные особенности сравнительно простой гипотетико- дедуктивной системы. Каждая из последовательно рассматриваемых гипотез 1, 2, 3 имеет более низкий уровень абстрактности, чем предыдущая. Поэтому каждая из последующих гипотез может быть выведена из предыдущей с помощью чисто логико-математических методов. Наконец, вся система гипотез строится с таким расчетом, чтобы обеспечить проверку гипотез самого низкого уровня непосредственно на опыте с помощью соответствующих эмпирических измерений переменных величин, фигурирующих в гипотезе.
В сочинениях Галилея можно встретить и другие простые примеры гипотетико-дедуктивных систем, состоящих из трех-четырех гипотез соответствующего уровня. Но такие системы характерны для этапа возникновения и становления науки, когда она еще только складывается как теоретическая система путем обобщения и систематизации первоначально накопленной эмпирической информации.
Значение гипотетико-дедуктивного метода возрастает при построении научного знания в развивающихся отраслях естествознания. Здесь речь идет не просто о дедуктивной связи группы гипотез, а о целой системе предположений, допущений, обобщений, эмпирических и теоретических законов и принципов. Поскольку все они в конечном итоге опираются на твердо установленные, действительные факты, но в то же время выходят за их рамки, постольку их можно, — а с логической точки зрения и необходимо, — рассматривать как гипотезы. Правда, степень их подтверждения неодинакова: простые обобщения, и даже эмпирические законы, имеют меньшую степень правдоподобия, чем законы теоретические и тем более системы теоретических законов, составляющие ядро развитой научной теории.
В принципе любые теоретические утверждения и системы в опытных и фактуальных науках, начиная от эмпирических утверждений и кончая теориями, представляют собой гипотезы. Поскольку они рассматриваются не обособленно, а в логической взаимосвязи друг с другом, постольку степень их правдоподобия бывает настолько высока, что приближается к практической достоверности. Именно поэтому, например, законы классической механики на протяжении двух столетий казались незыблемыми, абсолютными законами природы. Такой характер придала им гипотетико-дедуктивная система, созданная для механики И. Ньютоном. В знаменитых «Математических началах натуральной философии» он начинает изложение своей системы с определения исходных понятий механики и трех основных законов движения. Важнейшим из них служит 2-й закон, устанавливающий, что «изменение количества движения пропорционально приложенной движущей силе и происходит по направлению той прямой, по которой эта сила действует»*.
Математически он выражается формулой
Р = ё(ту)/(11,
где Р — сила; ш — масса; у — скорость.
Считая массу постоянной, можно получить формулу, связывающую силу с ускорением.
Р = т.ду/ск = т.а,
где а — ускорение.
Из этого и двух других основных законов механики можно вывести ранее открытый Галилеем закон свободного падения, а добавив к ним еще закон всемирного тяготения, то и закон Кеплера о движении планет.
Роль Ньютона в разработке гипотетико-дедуктивного метода и построении на ее основе классической механики трудно переоценить. До возникновения теории относительности законы или принципы, выдвинутые Ньютоном, считались непререкаемыми истинами. Обычно вклад Ньютона в развитие гипотетико-дедуктивного метода сравнивают с достижениями Евклида, который применил аксиоматический метод для построения элементарной геометрии. Тем более, что сам Ньютон говорил, что в построении своей механики он следовал античным традициям ясности и точности изложения. Современные исследователи творчества Ньютона рассматривают его метод как метод принципов, который он выразил следующим образом.
«Вывести два или три общих принципа движения из явлений и после этого изложить, каким образом свойства и действия всех телесных вещей вытекаю': из этих явных принципов, было бы очень важным шагом в философии, хотя бы причины этих принципов и не были еще открыты»1.
Нахождение и правильная формулировка таких принципов составляют труднейший и важнейший этап создания научной теории, в котором наряду с теоретическим анализом и синтезом весьма существенную роль играют воображение, интуиция, не говоря уже о таланте и опыте ученого. Разумеется, такой поиск принципов предполагает широкое использование гипотез самого различного характера, начиная от индуктивных обобщений отдельных случаев и кончая универсальными гипотезами типа принципов Ньютона. Иногда в литературе по истории и методологии науки можно встретить утверждения, что Ньютон был противником использования гипотез в науке, в доказательство чего приводят его известное заявление: «НуроИгезез поп /т$о» («гипотез не измышляю»). В действительности же он выступал против измышления чисто умозрительных, натурфилософских и произвольных гипотез, которые были в большом ходу в его время. Он также боролся, против приписывания предметам и явлениям так называемых скрытых качеств, с помощью которых натурфилософы пытались объяснить реальные явления природы. Ньютон считал, что такие объяснения ничего нового не дают, а лишь затемняют процесс познания явлений. Поэтому он рассматривает исходные принципы науки не как утверждения о «скрытых качествах», а как «общие законы природы, согласно которым образованы все вещи».
На первоначальном этапе исследования, указывал Ньютон, не следует принимать возражений против заключений, кроме полученных из опыта и других достоверных истин. «Ибо гипотезы не должны рассматриваться в экспериментальной философии. И хотя аргументация на основании опытов не является доказательством общих заключений, однако это лучший путь аргументации, допускаемый природой вещей, и может считаться тем более сильным, чем общее индукция... Путем такого анализа мы можем переходить от соединений к их ингредиентам, от движений — к силам, их производящим, от частных причин к общим, пока аргумент не закончится наиболее общей причиной»1.
Метод принципов Ньютона оказал громадное воздействие на все дальнейшее развитие теоретической физики и фактически был доминирующим в XVIII—XIX вв. Значение этого метода возрастает по мере того, как увеличивается расстояние между основными принципами науки и теми ее следствиями, которые допускают опытную проверку. Эйнштейн отмечал, что раньше многие ученые склонялись к мысли о возможности получения основных понятий и принципов физики из опытов логическим путем с помощью про-* цесса абстрагирования:
«Ясное понимание неправильности такого представления, — пишет он, — дала лишь общая теория относительности; она показала, что, опираясь на фундамент, значительно отличающийся от ньютоновского, можно объяснить соответствующий круг экспериментальных данных более удовлетворительным образом, чем, опираясь на фундамент, взятый Ньютоном»2.
По мнению Эйнштейна, именно факт существования различных теоретических принципов свидетельствует об умозрительном характере самих принципов.
«Результаты опыта — чувственные восприятия — заданы нам, теория же, которая интерпретирует и объясняет их, создается человеком. Эта теория, — продолжает Эйнштейн, — является результатом исключительно трудоемкого процесса приспособления: гипотетического, никогда окончательно не законченного, постоянно подверженного спорам и сомнениям»3.
Ценность любой теоретической системы опытного знания состоит прежде всего в том, как много логических следствий, доступных опытной проверке, она позволяет получить. Отсюда становится ясным, что в опытных науках, которые раньше считались исключительной сферой приложения индуктивного метода, дедукция служит не только средством объединения и систематизации результатов эмпирического исследования, но и поиска и обоснования наиболее общих и глубоких теоретических законов.
По отношению к такой развитой и теоретически зрелой науке, как физика, эта роль была подчеркнута в известной речи А. Эйнштейна «О методе теоретической физики»:
«Законченная система теоретической физики состоит из понятий, основных принципов, относящихся к этим понятиям, и следствий, выведенных из них путем логической дедукции. Именно эти следствия должны соответствовать нашим опытам; их логический вывод занимает в теоретическом труде почти все страницы»4.
13.4. Логическая структура гипотетико-дедуктивных систем
Хотя гипотетико-дедуктивный метод начал применяться в естествознании еще в XVII в., но логики заинтересовались им лишь в XIX веке. Это объясняется, с одной стороны, давним отрывом логики от методологических проблем науки, а с другой, — недооценкой значения дедукции для развития опытных наук. Если защитники индукции считали, что научные законы открываются с помощью наблюдений и опыта, то наука показала, что путь к глубоким теоретическим законам лежит через гипотезы, об истинности которых можно судить лишь путем проверки вытекающих из них следствий. Таким образом, подобные законы опираются также на гипотетико- дедуктивные рассуждения, так как их посылками служат гипотезы, а заключения получаются с помощью дедукции.
Традиционная логика ограничивалась изучением самых общих принципов гипотетических умозаключений и почти совершенно не вникала в логическую структуру систем, используемых в развитых эмпирических науках. Между тем, на примере физики мы видели, что в таких науках имеют дело не с изолированными гипотезами, а с определенной их логической системой. Новая тенденция, которая наметилась в современной методологии эмпирических наук, как раз обращает внимание на эту их особенность, рассматривая любую систему опытного научного знания как гипотетико-дедуктивную систему.
Нередко гипотетико-дедуктивные системы рассматриваются в логике как содержательные аксиоматические системы, допускающие одну-единственную возможную интерпретацию. Такой подход вполне согласуется со специфическими особенностями дедуктивной организации опытного знания, где аксиомы являются в сущности гипотезами. В связи с этим небезынтересно отметить, что Ньютон называл свои принципы или законы механики также аксиомами движения. Несомненно, на него повлияла здесь традиция древнегреческой математики с ее стремлением к логической строгости рассуждений и доказательств.
Однако в современной математике аксиомы рассматриваются с более общей точки зрения, поскольку допускают возможность множества различных конкретных интерпретаций. Поэтому при аксиоматическом построении математических теорий от конкретного содержания таких интерпретаций абстрагируются, что дает возможность разрабатывать теории в самой общей форме. Для пояснения этого тезиса выясним различие между знакомой нам геометрией Евклида, как интерпретированной физической системой, с одной стороны, и геометрией как формальной системой, с другой. Известно, что геометрия Евклида долгое время считалась единственно верным учением о свойствах окружающего нас физического пространства, а Кант возвел такое мнение даже в ранг априорного знания. После открытия неевклидовых геометрий положение в корне изменилось. Теперь мы знаем, что с чисто логической точки зрения неевклидовые геометрические системы являются непротиворечивыми, как и геометрия Евклида. Следовательно, с логической точки зрения все они являются одинаково равноценными и допустимыми в науке. Когда же абстрактным геометрическим системам придается определенная интерпретация, тогда они превращаются в конкретные гипотетико-дедуктивные системы, например, физические. Проверить, какая из них лучше отображает физические свойства пространства, может только физический эксперимент. Опытные науки в целях систематизации всего накопленного знания стремятся поэтому к построению интерпретированных систем, где понятия и суждения имеют вполне конкретный смысл и содержание, связанные с изучением определенной области реального мира. При математическом же исследовании совершенно абстрагируются от конкретного содержания и строят абстрактные системы объектов, которые впоследствии могут получить самые разные интерпретации.
По своей логической структуре гипотетико-дедуктивная система может, рассматриваться как иерархия гипотез, степень абстрактности которых увеличивается по мере удаления от своего эмпирического базиса. На самом верху системы располагаются гипотезы, при формулировании которых используются наиболее абстрактные теоретические понятия и суждения. Именно поэтому они и не могут быть непосредственно соотнесены с конкретными фактами изучаемой области действительности. Для того, чтобы установить косвенную связь между гипотезами, расположенными на верхних уровнях, и конкретными фактами, вводят множество промежуточных гипотез, связанных между собой отношением логической дедукции. На самом низу иерархической системы оказываются гипотезы, связь которых с опытом в достаточной мере ясна. Но чем менее абстрактными и общими являются гипотезы, тем меньший круг эмпирических явлений они могут объяснить. Характерная особенность гипотетико-дедуктивных систем в том именно и состоит, что в них логическая сила гипотез увеличивается с возрастанием уровня, на котором находится гипотеза. Чем больше логическая силы гипотезы, тем большее количество следствий можно вывести из нее, а, значит, тем больший круг явлений она может объяснить.
