§ 1. Общее понятие научной теории и ее структуры

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

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

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

185

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

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

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

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

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

Создателями метода конструирования такой теоретической системы (аксиоматического метода) считаются Г. Фреге, Д. Пеано, а также Д. Хилберт (действующий во второй половине XIX в. и начале XX в.). Согласно установленным ими критериям, аксиоматизированная система должна отвечать следующим требованиям: —

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

должны быть определены так называемые первичные термины теории; —

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

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

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

Формалистическая модель научной теории привлекала внимание ученых — естествоведов и философов науки, так как, с одной стороны, казалось, что она выполняет все формальные требования, предоставляющие возможность полного осуществления современного (начиная с Галилея) идеала науки, заключающегося в количественном (выраженном на языке математики) описании действительности, а с другой — открывала практически неограниченные возможности дальнейшего развития и совершенствования научного познания. Сформулирование первой полной системы математической логики, охватывающей и обобщающей все методы дедуктивных умозаключений, включая математику, а также революция в физике, совершающаяся в первые десятилетия XX в., как будто подтверждали эти ожидания и побуждали к изучению логических процессов, фактически используемых в разработке гипотез и теорий в области естественных наук, а также формальных требований, структуры, познавательного статуса и функций научных теорий. Эти исследования привели к выводу, что теории эмпирических наук не отвечают формалистическому идеалу аксиоматизированной, строго дедуктивной системы. Они также привели к созданию так называемой «стандартной концепции научной теории».