Логический анализ основных этапов становления теории тема диссертации и автореферата по ВАК РФ 09.00.07, доктор философских наук Карпович, Валентин Никонович

• Карпович, Валентин Никонович
• доктор философских наук
• 1982

Оглавление диссертации доктор философских наук Карпович, Валентин Никонович

Введение.

Глава I. ПРОБЛЕМА.

§ I. Общая характеристика места и роли проблемы в научном исследовании.

§ 2. Логическая структура проблем и условия их корректности.

§ 3. Научные проблемы, их виды и генезис.,.,.,.

§ 4. Судьбы научных проблем.

Глава П. ГИПОТЕЗА.

§ I. Понятие гипотезы.

§ 2. Логическая и гносеологическая классификация гипотез.

§ 3. Обоснованность и проверяемость гипотез.

§ 4. Функции гипотез в научном исследовании.

Глава Ш. ЗАКОН.

§ I. Диалектика постоянного и изменчивого и понятие переменной.

§ 2. Знаковая форма и содержание закона.

§ 3. Научный закон и объективная закономерность.

§ 4. Споры о логических критериях номологичности.

Глава 1У. ТЕОРИЯ.

§ I. Системный характер теоретического знания.

§ 2. Системность концептуального аппарата теории.

§ 3. Дедуктивные отношения внутри теории.

§ 4. Виды значения и интерпретация синтаксических структур.

§ 5. Формальные требования к научной теории.

Введение диссертации (часть автореферата) на тему «Логический анализ основных этапов становления теории»

АКТУАЛЬНОСТЬ ТЕМЫ Одной из важнейших функций марксистско-ленинской философии является методологическая функция, которую она выполняет по отношению к другим наукам. Такого рода взаимосвязь философии с естествознанием невозможна без специального философского анализа самого естествознания. В философской литературе, как у нас в стране, так и за рубежом, все большее и большее внимание уделяется исследованиям, посвященным рассмотрению структуры, развития и применения научного знания. Это объясняется, на наш взгляд, возрастанием роли науки в общественной жизни, сопровождаемым ростом объема научных исследований, количества научных организаций и научных сотрудников. Вместе с тем, за последние несколько десятков лет наука изменилась не только количественно, но и качественно. Огромную роль в современном естествознании играют теоретические построения высокого уровня абстракции, проникающие за наблюдаемые непосредственно или с помощью сложных приборов явления и отражающие не наблюдаемую, но только проявляющуюся в явлениях сущность окружающего человека природного и общественного мира.

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

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

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

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

СОСТОЯНИЕ РАЗРАБОТКИ ПРОБЛЕМЫ

В отечественной логико-методологической литературе проблемам развития и становления научного знания уделялось и уделяется достаточно большое внимание, что объясняется насущными потребностями самих конкретных научных дисциплин на современном этапе их развития. В исследованиях советских философов получили освещение различные аспекты структуры и динамика теоретического знания. Значительное внимание уделяется выяснению сущности научной теории, процессу ее формирования и развития. Проводятся исследования возможностей и границ формализации теоретического знания, классификации научных теорий и методов, соотношения теории и методов научного познания, теории и практики и многих других проблем. Логико-методологическим аспектам анализа научного знания посвящены работы таких видных советских философов как В.Ф.Асмус, Д.П.Горский, Б.М.Кедров, П.В.Коп-нин, Э.М.Чудинов, В.А.Смирнов, В.Н.Садовский, О.Ф.Серебрянников, В.И.Шинкарук, М.В.Попович, В.С.Крымский, В.С.Степин, И.С.Нарский, А.И.Ракитов, Г.И.Рузавин, В.А.Лекторский, B.C. Швырев, И.Д.Андреев, Л.Б.Баженов, Б.Г.Кузнецов, Ю.В.Сачков, А.И.Уемов, Е.А.Мамчур, Ю.А.Петров, Е.Д.Смирнова, Б.С.Грязнов, И.П.Меркулов и др.

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

Вместе с тем, конкретные логические результаты связаны как правило с исследованием достаточно узких и частных вопросов в анализе теоретического знания. Так, исследования логической структуры проблем проводились в основном на материале интеррогативной или эротетической логики. Задачи этих исследований вытекали из потребностей информатики или анализа вопросов как особой формы предложений в сшставе естественного языка. Гипотеза как форма развития научного знания в рамках собственно логического анализа порождает в основном проблемы экспликации различных процедур подтверждения утверждений на основе предъявленного эмпирического базиса. То же самое можно сказать и об анализе номологических утверждений в логике: основные результаты здесь связаны с попыткой эксплицировать различные виды импликативных отношений между суждениями, более точно соответствующих связи между исходными условиями и собственным,, содержанием научного закона. Что касается теоретического знания, то логический анализ исходит здесь в основном из дедуктивного представления знания, и все представления о структуре научной теории определяются именно этим подходом. Даже известная дихотомия теоретического-эмпирического в языке научных теорий фактически моделирует логическое различие между дескриптивными и логическими постоянными, устанавливаемое внутри языка до возникновения теоретического знания: уже еловарь теории разбивается на два класса терминов, независимо от данного содержания теории и его будущих возможных изменений^. Таким образом, логический анализ теоретического знания до самого последнего времени отвлекался от моментов развития теории, имел дело с теоретическим знанием лишь в один из моментов его развития, строго фиксируя наличное состояние анализируемой теории.

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

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

Stegmtiller W. The Structure and Dynamics of Theories. N.Y.,1976, p.27-28. внимание уже полученные в логике формальные результаты. Сложившееся положение можно охарактеризовать следующим образом: в методологической литературе обращается основное внимание на самые общие и универсальные принципы развития научного знания, исследуется своего рода "макрологика" научного поиска; наоборот, в собственно логических работах на первый план выступают конкретные взаимосвязи между отдельными утверждениями той или иной теории, существующие между ними отношения выводимости или подтверждаемое™, т.е. то, что можно было бы назвать "микрологикой" научной теории. Между макро- и микрологическими исследованиями существует определенный разрыв? область, подлежащая дальнейшему исследованию - что и определяет цель и структуру настоящего исследования.

ЦЕЛЬ И ЗАДАЧИ ИССЛЕДОВАНИЯ Цель исследования заключается в том, чтобы выявить взаимосвязь основных элементов теории, показать их единство и генетическую взаимообусловленность. Так, проблема как исходный пункт исследования в науке может возникать и действительно возникает только в контексте научного знания; будучи сформулированной, проблема приводит к построению гипотезы; закон трактуется как особого рода гипотеза, удовлетворяющая некоторым дополнительным формальным, методологическим и гносеологическим требованиям; теория - это система законов, выявляющая взаимосвязи отдельных положений научного знания. Взятая в целом, цепочка "проблема - гипотеза - закон - теория" образует систему, которую можно рассматривать как научную идею: проблема - это истоки идеи, гипотеза - ее предварительное оформление, закон -законченная и проверенная опытом формулировка, теория - выявле-взаимосвязей с наличными на данное время научным контекстом*.

В диссертации рассматриваются только эмпирические науки в широком смысле этого слова, как противоположные формальным дисциплинам. Эмпирические науки исследуют закономерности реального мира. Двумя большими разделами эмпирических наук являются естествознание и обществоведение, изучающие соответственно законы природы и законы общества. Само употребление термина "эмпирические" применительно к наукам не является однозначным. Иногда его употребляют в том смысле, как он будет употребляться здесь: для обозначения наук, имеющих дело с Познани- У ем закономерностей реального мира. Так, когда Ф.Энгельс писал, что Маркс в "Капитале" применил диалектический метод к фактам 2 определенной эмпирической науки, политической экономии" , он употреблял термин "эмпирическая наука" именно в этом значении. Вместе с тем, когда Ф.Энгельс говорил о том, что в XIX в. естествознание "превратилось из эмпирической науки в теоретическую", "благодаря выявлению существующих в самой природе связей между различными областями исследования" , то термин "эмпирическая наука" он употреблял в гораздо более узком смысле: для обозначения собирательных наук, в отличие от систематизирующих.

Несоответствие между макро- и микрологическими исследованиями, о котором шла речь выше, проявляется, в частности, в своеобразном подходе к вопросу о соотношении эмпирических дан

1. Копнин П.В. Идея как форма мышления. Киев, 1963.

2. Энгельс Ф. Диалектика природы. - Маркс К., Энгельс Ф. Соч., т.20, с.371.

3. Там же, с.551. ных и научных идей. С одной стороны, в методологической литературе, как правило, подчеркивается зависимость эмпирических данных, способов их получения и трактовки от наличной теоретической идеи, выступающей в качестве регулятива научного поиска. Такой способ рассмотрения диктуется самой задачей анализа знания в его развитии. С другой стороны, в формально-логическом анализе, когда объектом исследования является теоретическое знание только на одном из этапов его развития, приоритет в рассмотрении получают эмпирические данные - что вполне естественно при фиксировании этапа развития теории и корпуса составляющих ее положений. Налицо противоречие способов рассмотрения одногьи того же объекта - теоретического содержания знания - с двух разных точек зрения. Зачастую эти два способа рассмотрения сочетаются: объектом исследования является развивающееся знание, а сам анализ становления и формирования теории начинается с методов получения эмпирического материала, и лишь затем рассматриваются способы формирования теоретических моделей изучаемой действительности.

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

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

Таким образом, цель исследования и его задачи определяются необходимостью проанализировать логическими методами развивающееся теоретическое знание на этапе его становления.

МЕТОДОЛОГИЯ И МЕТОДИКА ИССЛЕДОВАНИЯ

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

Ф.Энгельс прямо утверждает, что наблюдение и эксперимент регулируются принятой ученым идеей, определяющей, во-первых, цель исследования и, во-вторых, различие между существенными и несущественными эмпирическими данными. Так, вслед за Гегелем он говорит, что "для опыта имеет существенное значение, какой ум приступает к изучению действительности. Великий ум делает великие наблюдения и усматривает в пестрой игре явлений то, что имеет значение"*. По мнению Ф.Энгельса, "последовательность мысли во все времена должна была помогать недостаточным еще знаниям двигаться дальше"^, и без "теоретического естествознания',1 которое "свои взгляды на природу насколько возможно объединяют в одно гармоническое целое., в наше время не может 3 обойтись даже самый скудоумный эмпирик. .

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

1. Энгельс Ф. Диалектика природы. - Маркс К., Энгельс Ф. Соч., т.20, с.520.

2. Там же, с.360.

3. Там же. ми их.»1.

Отсутствие в научной дисциплине достаточно общих и достаточно правдоподобных теорий приводит к тому, что интерпретации эмпирического материала оказывается неадекватной ему, основывается либо на обыденном знании, либо на устаревшей теории. Так было в свое время в теории электричества. Ф.Энгельс отмечает: ". Состояние разброда в современном учении об электричестве, делающее пока невозможным установление какой-либо всеобъемлющей теории, главным образом и обусловливает то, что в этой области господствует односторонняя эмпирия, та эмпирия, которая сама, насколько возможно, запрещает себе мышление, которая именно поэтому не только мыслит ошибочно, но и оказывается не в состоянии верно следовать за фактами или хотя бы только верно излагать их и которая, таким образом, превращает2 ся в нечто противоположное действительной эмпирии .

Эта зависимость эмпирических данных от теоретических предпосылок распространяется и на гуманитарные дисциплины, действуя не только в области естествознания, но и в эмпирических науках в целом. Так, в письме Энгельсу от 25 марта 1868 г. К.Маркс пишет: ". подобно тому, как геологи, даже лучшие из них, вроде Кювье, истолковывали некоторые факты совершенно превратно, так и филологи такого ранга, как Гримм, переводили неверно самые простые латинские фразы, потому что находились о под влиянием Мезере и т.д." .

1. Энгельс Ф. Диалектика природы. - Маркс К., Энгельс Ф. Соч., т.20, с.455-456.

2. Там же, с.434.

3. Маркс К. Письмо Ф.Энгельсу от 25 марта 1868 г. -Маркс К., Энгельс Ф. Соч., т.32, с.44-45.

- 15

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

В соответствии с этим Ф.Энгельс формулирует мысль о гипотетическом характере единичных суждений опыта, полемизируя с физиками, настроенными в духе позитивистского эмпиризма и считающими предложения наблюдения последними основаниями научного знания. В связи с этим мы несколько полнее процитируем уже приводившееся ранее высказывание Энгельса:"Исключительная эмпирия, позволяющая себе мышление в лучшем случае разве лишь в форме математических вычислений, воображает, будто она оперирует только с бесспорными фактами. В действительности же она оперирует преимущественно традиционными представлениями, по большей части устаревшими продуктами мышления своих предшественников, такими, например, как положительное и отрицательное электричество, электрическая разъединительная сила, контактная теория. Последние служат ей основой для бесконечных математических вы

I. Энгельс Ф. Диалектика природы. - Маркс К., Энгельс Ф. Соч., т.20, с.476. кладок, в которых из-за строгости математических формул легко забывается гипотетическая природа предпосылок. Даже экспериментально установленные факты мало-помалу неразрывно связываются у нее с соответствующими традиционными толкованиями их; в трактовку даже самого простого электрического явления вносится фальсификация при помощи, например, контрабандного протаскивания теории о двух электричествах. Эта эмпирия уже не в состоянии правильно изображать факты, ибо в изображение их у нее прокрадывается традиционное толкование этих фактов"*.

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

2) смысл единичных суждений опыта зависит от принятой теории, а не только от их связи с описываемой действительностью;

3) интерпретация единичных суждений опыта имеет гипотетический характер, что определяется гипотетичностью принятой теории.

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

I. Там же, с.455-456. лиза эмшфического материала, а со становления научной идеи.

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

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

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

НАУЧНАЯ НОВИЗНА Научная новизна исследования заключается прежде всего в подходе к анализу научного знания. Обычно такой анализ начинают с рассмотрения процедур сбора эмпирических данных, поскольку согласно методологической рефлексии самих ученых, эмпирические данные и факты представляют собой основной элемент научного знания. Философский анализ науки часто повторяет в способе рассмотрения теоретического знания этот методологический прием"^. Автор стремился последовательно реализовать противо

I. В отечественной методологической литературе, не посвященной специально анализу проблем, доминирует противопоставление "факт-теория", что отчасти может быть объяснено задачами критики позитивистской философии науки, неправильно представлявшей отношение теории и опыта. Вместе с тем, если отвлечься от задач критики;то обзор литературы дает основание полагать, что установку на прямое сопоставление теории и опыта необходимо дополнить рассмотрением проблемы как опосредствующего звена между теорией и действительностью. В качестве работ, недостаточно учитывающих роль проблем в формировании наук, можно указать на следующие исследования ведущих ученых-методологов: Баженов Л.Б. Строение и функции естественнонаучной теории. М., 1978; Зотов А.Ф. Структура научного мышления. М., 1973; Крымский С.Б. Научное знание и принципы его трансформации. Киев, 1974; Мам-чур Е.А. Природа научного познания. Логико-методологический аспект. Минск, 1979; Ракитов А.И. Философские проблемы науки. положный способ рассмотрения: начать не с данных, а с предпосылок, определяющих сбор и систематизацию - что и составляет один из основных моментов новизны настоящего исследования. Другой основной момент новизны заключается в применении логических приемов анализа к традиционной методологической проблематике. Все остальное, что может быть отнесено к новизне, следует из установок, определяющих новизну подхода в целом, и конкретизируется уже в следующих ЗАЩИЩАЕМЫХ ПОЛОЖЕНИЯХ:

I. Проблема является исходным, а не конечным пунктом научного исследования. Более того, только сознательная постановка проблемы отличает научную деятельность от всех видов другой разумной деятельности, ибо только научные проблемы носят концептуальный характер. Сам объект исследования имеет значение для науки лишь в силу того, что он "встроен" в некоторое предшествующее ему и порождаемое им множество проблем. Все цели научной деятельности, в сущности, группируются вокруг проблем и сводятся к следующему: обнаружению проблем, которые оставались незамеченными ранее; формулированию найденных или предложенных ранее, но неправильно поставленных проблем; включению сформулированных проблем в ту или иную наличную систему знания и попытке решить их с целью обогащения и развития этой системы знания. Поэтому можно сказать, что один из аспектов прогресса знания состоит в постановке, уточнении и решении новых проблем. Проблема при этом выступает как связующий элемент в поступательном движении человеческого знания от неполного и неточного ко

Системный подход. М., 1977; Рузавин Г.И. Научная теория. Логико-методологический анализ. М., 1978; Швырев B.C. Теоретическое и эмпирическое в научном познании. М., 1978; Степин B.C. Становление научной теории. Минск, 1976. все более полному и точному.

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

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

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

2. С точки зрения логики вопросов в любой проблемной ситуации можно выделить четыре компонента, каждый из которых описывается соответствующей формулой. Во-первых, это сама проблема, которая, в формальной записи, имеет вполне определенный общий вид£?у)/460 . Во-вторых, это пропозициональная функция, которая порождает проблему, будучи предварена оператором вопроса - АО-) , или основание вопроса. В-третьих, это предпосылка вопроса, имеющая вид т$у А(*) и составляющая то самое необходимое предварительное знание, без которого вообще невозможно сформулировать вопрос. Наконец, решение проблемы можно символически представить формулой Ж**-) .

Синтаксические условия правильности проблемы заключаются в следующем: проблема всегда содержит переменную, которая и служит неизвестным в вопросе (I); проблема должна быть определенной, т.е. не содержать свободных переменных (2);пробле-мы делятся на объектные и атрибутивные, и введение других видов проблем по данному основанию не имеет смысла (3); каждая неэлементарная правильно построенная проблема представляет собой сочетание элементарных правильно построенных проблем.

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

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

4. Гипотезу как форму развития естествознания можно определять 'следующим образом: некоторое утверждение представляет собой гипотезу тогда и только тогда, когда оно, во-первых, непосредственно или опосредованно относится к пока или в принципе ненаблюдаемым фактам и, во-вторых, может быть уточнено и исправлено при наличии нового знания. Следует отличать гипотезу от логических допущений: не всякое допущение представляет собой гипотезу, и не всякая гипотеза может фактически использоваться в качестве допущения для последующих выводов.

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

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

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

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

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

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

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

Защитные гипотезы в принципе неустранимы из науки и играют чрезвычайно положительную роль в научном исследовании, обеспечивая обоснование для других гипотез и их связь с уже проверенными и принятым знанием. Отрицание защитных гипотез базируется на их отождествлении с гипотезами <%<£ что в принципе неверно.

7. Научный закон представляет собой подтвержденную научную гипотезу о наличии инвариантной связи между двумя или более переменными, каждая из которых представляет свойства или признаки конкретных объектов или явлений.

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

В теоретическом виде закон всегда является общим утверждением: в отличие от статистических утверждений вероятностный закон содержит квантор общности по индивидным переменным. Более того, вероятностный закон является также условным суждением, чего не наблюдается в логической форме статистического обобщения.

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

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

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

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

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

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

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

Употребление неоднозначных терминов равносильно обращению к противоречивой теории, поскольку в обоих случаях следствия из принятых допущений получают совершенно произвольный характер.

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

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

12. Формальными требованиями к логической структуре теории являются условия внутренней и внешней непротиворечивости, независимости исходных понятий и аксиом. Характерным признаком всех названных требований является то, что определение соответствующего признака теории не дает метода, посредством которого можно бьщо бы установить, обладает ли предъявленная теория данным признакам. Иначе говоря, наряду с определением, в этом случае нужны еще критерии непротиворечивости теории, независимости ее аксиом и исходных понятий, которые могут быть как семантическими, так и синтаксическими.

НАУЧНО-ПРАКТИЧЕСКАЯ ЗНАЧИМОСТЬ ИССЛЕДОВАНИЯ

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

Автором читались курсы диалектического и исторического материализма, где учебные темы по теории познания и законам развития природы и общества излагались с учетом полученных результатов. Кроме того, для студентов факультета естественных наук этого же университета результаты диссертации нашли применение в спецкурсе "Структура научного исследования".

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

В-третьих, результаты исследования использовались и используются при разработке комплексной программы "Сибирь", в разделе "Социальные проблемы развития Сибири". Разработки -автора вошли в доклад Президиуму Сибирского отделения АН СССР по разделу "Логика и методология науки" и были представлены на выставке по программе "Сибирь" (Академнородок, 1980 г.).

АПРОБАЦИЯ РАБОТЫ Результаты диссертации и их применения были представлены в письменных докладах и устных выступлениях на ХУ1 Международном философском конгрессе (Дюссельдорф, 1979), УП Всесоюзном симпозиуме по логике и методологии науки (Киев, 1976), советско-финском симпозиуме по логике и методологии науки (Москва, 1979) и других конференциях и совещаниях. Монография автора "Проблема, гипотеза, закон" была представлена на Всесоюзный конкурс молодых ученых и специалистов по общественным

- 32 наукам, проводившийся ЦК ВЛКСМ, Академией наук СССР, Министерством высшего и среднего специального образования СССР, Министерством просвещения СССР и Академией педагогических наук СССР. По результатам конкурса автор был награжден дипломом лауреата ("Вопросы философии", 1981, № II).

ПУБЛИКАЦИИ

1. Термины в структуре теорий. Логический анализ. Новосибирск: Наука, 1978 (7 а.л.).

2. Проблема, гипотеза, закон. Новосибирск: Наука, 1980 (9 а.л.).

3. Логика и язык научных теорий. Новосибирск: Наука, 1982 (10 а.л., в соавторстве).

4. К проблеме определимости диспозиционных предикатов. - В кн.: Логика и методология науки. М., 1973 (0,5 а.л.).

5. Проблема определения диспозиционных предикатов. - В кн.: Философские науки, 1973, № б (0,5 а.л., в соавторстве).

6. 0 допущениях, вводимых редукционными предложениями. -В кн.: Философия в современном мире. Философия и логика. М., 1974 (0,5 а.л.).

7. Остенсивные определения в языке наблюдения. - Известия СО АН СССР, серия общественных наук, 1976, № 6 (0,3 а.л.)

8. Экспликация и анализ предпосылок тезиса недоопределенности в языке теорий со стандартной формализацией. - В кн.: Тезисы сообщений УП Всесоюзного симпозиума по логике и методологии науки. Октябрь, 1976. Киев, 1976 (0,2 а.л.).

9. Некоторые традиционные проблемы в концепции твердых десигнаторов. - Известия СО АН СССР, серия общественных наук, 1977, № II (0,5 а.л.).

- 33

10. К вопросу о логической структуре рациональных объяснений в истории. - Философские науки, 1977, № 3 (0,5 а.л., в соавторстве).

11. О двух видах общих утверждений и критериях их различения. - В кн.: Методологические проблемы научного познания. Новосибирск, 1977 (0,7 а.л.).

12. К вопросу об интерпретации процедур введения метрики в эмпирические теории.- В кн.: Логико-методологические проблемы естественных и общественных наук. Новосибирск, 1977 (0,5 а.л.).

13. О логико-методологических основаниях различения теоретических и эмпирических терминов. - В кн.: Методы логического анализа. М., 1978, (0,8 а.л.).

14. Межтеоретический перевод и онтологическая редукция. -В кн.: Логика и онтология. М., 1978 (0,5 а.л.).

15. Логико-методологический анализ оснований выбора последовательных проблем. - В кн.: Наука. Организация и управление. Новосибирск, 1979 (0,8 а.л.).

16. Применение логики в философии и языкознании. - Известия СО АН СССР, серия общественных наук, вып. I, 1980, № II 0,5 а.л., в соавторстве).

17. О формальном критерии эмпирической содержательности теоретических терминов. - В кн.: Проблемы логики и методологии науки. Новосибирск, 1981 (I а.л.).

18. Проблема эмпирической значимости и понятие языка наблюдения. - В кн.: Проблемы логики и методологии науки. Новосибирск, 1981 (,1,5 а.л.).

19. Системный характер теоретического знания. - В кн.: Структура и развитие научного знания. Системный подход к методологии науки (Материалы к УШ Всесоюзной конференции "Логика и методология науки", Вильнюс, 1982). М., 1982 (0,3 а.л.).

20. Reduction sentenses and evidential bias. - Succeses and limitations of mathematization. M., 1978 (0,5 а.л.).

Заключение диссертации по теме «Логика», Карпович, Валентин Никонович

ЗАКЛЮЧЕНИЕ

Научное исследование представляет собой познавательную деятельность, протекающую по вполне определенным законам. Следовательно, для более полного овладения предметом исследования и более эффективной организации самой познавательной деятельности необходимо исследовать законы познания, гносеологические, логические и методологические принципы, лежащие в его основе. Одним из .наиболее очевидных путей является последовательное изучение процесса становления тех элементов, из которых состоит всякая научная теория: проблем, гипотез и законов. Подобный анализ является необходимой предпосылкой как для рассмотрения структуры теоретического знания в целом, так и для постановки вопроса о соотношении теории и действительности. Имея представление о генезисе основных элементов теории, их структуре и взаимосвязи, легче обозреть целое, хотя, конечно, знание об элементах еще не дает полного представления об их взаимодействии внутри системно организованного / единства. Именно эту задачу "поэлементного" рассмотрения составных частей теоретического знания и ставил перед собой автор, иногда сознательно огрубляя картину реальных взаимосвязей проблем, гипотез и законов внутри научной теории. Оправданием в данном случае может служить лишь то, что благодаря такой схематизации сложных реальных взаимодействий можно было подробнее проследить структуру самих элементов теоретического знания, представить их не как нечто простое и далее нерасчлененное, а как своеобразные подсистемы более сложно организованной системы.

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

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

Необходимо отметить, что при постановке этих вопросов автор исходил из общепринятого в марксистско-ленинской философии деления проблем на действительные, научные и мнимые, ненаучные. Так, критикуя мистифицирующую сторону диалектики Гегеля и спекулятивной философий вообще, К.Маркс и Ф.Энгельс в "Святом семействе" отмечали, что спекулятивная философия "считала необходимым переводить все вопросы из формы здравого человеческого рассудка в форму спекулятивного разума и превращать действительный вопрос в спекулятивный, чтобы суметь ответить на него"*. В.И.Ленин также указывал на то, что научные проблемы

I. Маркс К., Энгельс Ф. Святое семейство, или критика критической критики. Против Бруно Бауэра и компании. - Маркс К., ЭнБельс Ф. Соч., т.2, с.99.

- 283 имеют определенные границы осмысленности. В частности, вопрос о противоположности материи и духа он считал необходимым и истинным лишь в тех пределах, "которые определяют направление гносеологических исследований"*. Таким образом, сама по себе задача различения видов проблем, и в особенности отличения проблем научных от всех других разновидностей проблемных ситуаций, уже давно сформулирована в марксистско-ленинской филосор фии, и имеются определенные подходы к решению этой задачи . Автор попытался только применить к рассмотрениб и классификации проблем средства и методы, известные в логике.

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

1. Ленин В.И. Материализм и эмпириокритицизм. - Полн.собр. соч., т.18, с.259.

2. Лимантов Ф.С. Лекции по логике вопросов. Л., 1975; Мо-чалов И.И. Мнимые проблемы науки. - Вопросы философии, 1966, № I, с.55-64; мые в единичных суждениях опыта.

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

Системный характер научных гипотез проявляется не только в наличии в них составляющих элементов и их внутренней связи, но и в связи гипотез с уже имеющимся знанием. Эта проблематй^-ка была подробно рассмотрена в параграфе, посвященном обоснованию и проверке гипотез. С этой точки зрения научное предположение представляет собой не просто новый шаг в развитии знания, очередной этап в переходе от незнания, зафиксированного в проблеме, ко все более полному и точному знанию, но является расширением уже имевшейся к определенному моменту совокупности знаний. Научная гипотеза поэтому фиксирует момент преемственности в развитии науки и культуры в целом. |

При анализе структуры и специфики научных гипотез автор ставил и питался решить следующие вопросы: Чем отличается научная гипотеза от предположений, используемых в обыденной повседневной практике? Каковы основные составляющие научных гипотез? Какие виды гипотез применяются в научном исследовании? Каким требованиям должна удовлетворять научная гипотеза с точки зрения ее формулировки? Какие гипотезы можно называть проверяемыми? Как могут быть связаны различные виды гипотез с наличным знанием? Всегда ли гипотезы выполняют одинаковые функции в научном исследовании? Если не всегда, то как можно описать различие в функционировании гипотез различных видов? Имеются ли достаточно строгие методы формулирования гипотез?

Все перечисленные вопросы представляются достаточно важными для логико-методологического и философского анализа развития знания, особенно в виду широкого разнообразия мнений относительно роли гипотез в науке. Фактически это разнообразие доходит до полной противоположности: с одной стороны; общеизвестно и вызывает определенные симпатии заявление Ньютона "Гипотез же я не измышляю!", а другой стороны, гипотетико-дедук-тивный метод часто признают не только основным, но и единственным методом развития знания. В сложившейся ситуации анализ роли и места гипотезы в научном исследовании представляется со вершенно необходимым.

Следующим предметом рассмотрения в данной работе служило

- 286 понятие научного закона. В отличие от гипотезы, закон не прос^ то фиксирует значение переменной в научной проблеме, но описывает инвариантную связь между переменными. Следует особо отметить, что научный закон устанавливает постоянное отношение не между бесконечным, но только между конечным числом переменных. Выбор основных переменных для формулировки научного закона представляет собой абстрагирование от несущественных свойств и признаков явлений и осуществляется лишь в результате долгого исторического развития средств и методов познания, примером чего может служить история формирования понятия массы в физике*. Закон - это центральная категория в анализе теоретического знания. Через научный закон теория соприкасается с сущностью наблюдаемых явлений. Формулируя закон науки, исследователь как бы подводит ряд разнообразных явлений под одну категорию, чем и достигается высокий уровень общности и глубина проникновения в реальность. —*

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

I. Джеммер М. Понятие массы в классической и современной физике. М., 1967. у (• О < ,!, "

- 287 добного рода является следующее указание В.И.Ленина "Мышление, восходя от конкретного к абстрактному, не отходит - если оно правильное. - от истины, а подходит к ней. Абстракция материи, закона природы, абстракция стоимости и т.д., одним словом, все научные (правильные, серьезные, не вздорные) абстракции отражают природу глубже, вернее, полнее"*.

При рассмотрении проблематики научного закона автор ставил себе задачу ответить на следующие вопросы: Какова логическая форма закона? В чем заключается общность научных законов? Можно ли различать законы по степени общности? Всегда ли законы формулируются в виде условных суждений? Как соотносятся формулировка научного закона и объективная закономерность? Можно ли в принципе выработать логические критерии номологичности? Какое значение для логики и методологии науки могут иметь подобного рода критерии? Где следует искать специфику номологической связи - в составляющих закон понятиях или в их соотношении?

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

В последней главе рассматривается строение научной теории в рамках логического подхода. Главное внимание уделяется различным видам взаимосвязей внутри теории: отношение между теоретической системой в целом и теоретической моделью; взаимосвязи понятий теории; дедуктивным отношениям между утверждениями теории; видам и способам интерпретации теории.

I. Ленин В.И. Философские тетради. - Полн.собр.соч., т.29, с.152.

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

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

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

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

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

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

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

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

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

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

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

Список литературы диссертационного исследования доктор философских наук Карпович, Валентин Никонович, 1982 год

1. Маркс К., Энгельс Ф. Святое семейство, или критика критической критики. Против Бруно Бауэра и компании. - Маркс К., Энгельс Ф. Соч., т.2, с.3-230.

2. Маркс К. Письмо Ф.Энгельсу от 25 марта 1868 г. Маркс К., Энгельс Ф. Соч., т.32, с.43-46.

3. Маркс К. Капитал, ч.1. Маркс К., Энгельс Ф. Соч., т.25,

4. Маркс К. Введение. Из экономических рукописей 1857-1858 годов. Маркс К., Энгельс Ф. Соч., т.12, с.709-738.

5. Энгельс Ф. Людвиг Фейербах и конец немецкой классической философии. Маркс К., Энгельс Ф. Соч., т.21, с.269-317.

6. Энгельс Ф. Диалектика природы. Маркс К., Энгельс Ф. Соч., т.20, с.343-626.

7. Энгельс Ф. Письмо И.Блоху от 21 сентября 1890 г. Маркс К., Энгельс Ф. Соч., т.37, с.393-397.

8. Энгельс Ф. Письмо К.Шмидту от 12 марта 1895 г. Маркс К., Энгельс Ф. Соч., т.39, с.352-358.

9. Ленин В.И. Философские тетради. Полн.собр.соч., т.29.

10. Ленин В.И. Материализм и эмпириокритицизм. Полн.собр. соч., т.18.

11. Абдильдин Ж. Проблема начала в теоретическом познании. Алма-Ата, 1967.

12. Амбарцумян В. Марксистско-ленинская философия и современное естествознание. Коммунист, 1969, № 18, с.27-41.

13. Аристотель. Об истолковании. СПб., 1891.

14. Артюх А.Т. Категориальный синтез теории. Киев, 1967.

15. Баженов А.А. Структура и подструктура физической теории. В кн.: Логико-методологические проблемы естественных и общественных наук. Новосибирск: Наука, 1977, с.63-71.- 309

16. Баженов Л.Б. Основные вопросы теории гипотезы. М.,1967.

17. Баженов Л.Б. Современная научная гипотеза. В кн.: Материалистическая диалектика и методы естественных наук. М., 1968, с.294-321.

18. Баженов Л.Б. Строение и функции естественнонаучной теории. М., 1978.

19. Баженов Л.Б., Пятницын Б.Н. Гипотеза в современной науке.- В кн.: Ленинская теория отражения и современная наука. Теория отражения и естествознание. София, 1973, с.59-77.

20. Бунге М. Структура и наука. М., 1967.

21. Бунге М. Философия физики. М., 1976.

22. Бурдун Г.Д. Единицы физических величин. М., 1967.

23. Бух Л.А. Понятие элементарного объекта физической теории.- В кн.: Проблемы истории и методологии научного познания. М., 1974, с.294-308.

24. Вавилов С.И. Исаак Ньютон. М.-Л., 1945.

25. Вернадский В.И. Очерки и речи. Вып.П. Пг., 1922.

26. Вернадский В.И. Биогеохимические очерки. М., 1940.

27. Войшвилло Е.К. Понятие. М., 1967.

28. Геворкян Г.А. Вероятное и достоверное знание. Ереван,1965.

29. Гегель Г.Ф.Г. Соч., т.6. М.-Л., 1934.

30. Гейзенберг В. Физика и философия. М., 1963.

31. Гейзенберг В. Роль феноменологических теорий в системе теоретической физики. Успехи физических наук, 1967, т.91, вып.4, с.731-733.

32. Генцен Г. Непротиворечивость чистой теории чисел. В кн.: Математическая теория логического вывода. М., 1967, с.77-153.

33. Горский Д.П. Вопросы абстракции и образования понятий.1. М., 1961.

34. Горский Д.П. Проблемы общей методологии наук и диалектической логики. М., 1966.

35. Грюнбаум А. Философские проблемы пространства и времени. М., 1969.

36. Грязнов Б.С. 0 взаимоотношении проблем и теорий. Природа, 1977, № 4, с.60-64.

37. Грязнов Б.С., Дынин B.C., Никитин Е.П. Теория и ее объект. М., 1973.

38. Декарт Р. Правила для руководства ума, В кн.: Декарт Р. Избранные произведения. М., 1950, с.77-170.

39. Джеммер М. Понятие массы в классической и современной физике. М., 1967.

40. Дгогем П. Физическая теория, ее цель и строение. СПб.,1910.

41. Золотарев В.К. К вопросу об эквивалентных описаниях в физике. В кн.: Некоторые философские вопросы современного естествознания. М., 1974.

42. Зотов А.Ф. Философское наследие В.И.Ленина и проблема объективного содержания научных законов. Вопросы философии, 1970, № 2, с.32-42.

43. Канак Ф.М. Физическое знание и его объекты. В кн.: Логика и методология науки. У1 Всесоюзный симпозиум. Киев, июнь 1965, М., 1976, с.269.

44. Карнап Р. Эмпиризм, семантика и онтология. В кн.: Карнап Р. Значение и необхоьдимость. М., 1959, с.258-320.

45. Карнап Р. Философские основания физики. М., 1973.

46. Карпович В.Н. Термины в структуре теорий. Логический анализ. Новосибирск: Наука, 1978.47