43

ТЕОРИЯ зей реальности, представленных с помощью определенных гипотетических допущений и идеализации. Построение идеализированного объекта теории — необходимый этап создания любой теории, осуществляемый в специфических для разных областей знания формах. Напр., идеализированным объектом теории в классической механике является система материальных точек, в молекулярно-кинетической теории — множество замкнутых в определенном объеме хаотически соударяющихся молекул, представляемых в виде абсолютно упругих материальных точек, и т. д. Идеализированный объект теории может выступать в разных формах, предполагать или не предполагать математического описания, содержать или не содержать того или иного момента наглядности, но при всех условиях он должен выступать как конструктивное средство развертывания всей системы теории. Т. о., идеализированный объект выступает не только как теоретическая схематизированная модель реальности, он вместе с тем неявно содержит в себе определенную программу исследования, которая и реализуется в построении теории. Соотношения элементов идеализированного объекта — как исходные, так и выводные — представляют собой теоретические законы, которые в отличие от эмпирических законов формулируются не непосредственно на основе изучения опытных данных, а путем определенных мыслительных действий с идеализированным объектом. Из этого вытекает, в частности, что законы, формулируемые в рамках теории и относящиеся по существу не к эмпирически данной реальности, а к реальности, как она представлена идеализированным объектом, должны быть соответствующим образом конкретизированы при их применении к изучению реальной действительности. Многообразию форм идеализации (и соответственно типов идеализированных объектов) соответствует и многообразие видов теории. В теории описательного типа, решающей гл. о. задачи описания и упорядочения обычно весьма обширного эмпирического материала, построение идеализированного объекта фактически сводится к вычленению исходной схемы понятий. В современных математизированных теориях идеализированный объект выступает обычно в виде математической модели или совокупности таких моделей. В дедуктивных теоретических системах построение идеализированного объекта по существу совпадает с построением исходного теоретического базиса. Процесс развертывания содержания теории предполагает максимальное выявление возможностей, заложенных в исходных посылках теории, в структуре ее идеализированного объекта. В частности, в теориях, использующих математический формализм, развертывание содержания предполагает формальные операции со знаками математизированного языка, выражающего те или иные параметры объекта. В теориях, в которых математический формализм не применяется или недостаточно развит, на первый план выдвигаются рассуждения, опирающиеся на анализ содержания исходных посылок теории, на мысленный эксперимент с идеализированными объектами. Наряду с этим развертывание теории предполагает построение новых уровней и слоев содержания теории на основе конкретизации теоретического знания о реальном предмете. Это связано с включением в состав теории новых допущений, с построением более содержательных идеализированных объектов. В итоге конкретизация исходной теории приводит ее к развитию в систему взаимосвязанных теорий, объединяемых лежащим в их основании идеализированным объектом. Этот процесс постоянно стимулируется необходимостью охвата в рамках и на основе исходных положений теории многообразия эмпирического материала, относящегося к предмету теории, развитие теории не есть поэтому только имманентное логическое движение теоретической мысли — это вместе с тем и активная переработка эмпирической информации в собственное содержание теорий, конкретизация и обогащение ее понятийного аппарата (см. Восхождение от абстрактного к конкретному). Именно это развитие содержания теории ставит определенные пределы возможной логической формализации процессов ее построения. При всей плодотворности формализации и аксиоматизации теоретического знания нельзя не учитывать, что реальный процесс конструктивного развития теории, ориентируемый задачами охвата нового эмпирического материала, не укладывается в рамки формально-дедуктивного представления о развертывании теорий. Современные представления, в частности о гипотетико-де- дуктивной теории (см. также Гипотетико-дедуктивная модель), поэтому не только выходят за рамки дедукции теорем из исходных гипотетических утверждений теории, подтверждаемых или опровергаемых в результате последующей эмпирической проверки, но и предполагают обращение к процессам изменения и развития исходных теоретических гипотетически принимаемых утверждений, что стимулировало разработку методологической проблематики критериев приемлемости подобных изменений (напр., критерии прогрессивного и регрессивного сдвига проблем в методологии исследовательских программ И. Лакатоса). Соответственно при таком подходе теория уже не рассматривается как «закрытая» неподвижная система. «Единицей» методологического анализа становится последовательность («серия») теорий по мере их изменения, единство которых определяется лежащим в их основе «твердым ядром» исследовательской программы, принятие которого в общем соответствует понятию исходного идеализированного объекта в классическом «статуарном» подходе к теории. Теория может развиваться в относительной независимости от эмпирического исследования — посредством знаково-симво- лических операций по правилам математических или логических формализмов, посредством введения различных гипотетических допущений или теоретических моделей (особенно математических гипотез и математических моделей), а также путем мысленного эксперимента с идеализированными объектами. Подобная относительная самостоятельность теоретического исследования образует важное преимущество мышления на уровне теории, ибо дает ему богатые эврити- ческие возможности. Но реальйое функционирование и развитие теории в науке осуществляется в органическом единстве с эмпирическим исследованием. Теория выступает как реальное знание о мире только тогда, когда она получает эмпирическую интерпретацию. Современная методология науки отвергает примитивные представления об оправдании теории в духе верификационизма или, напротив, однозначного ее опровержения в духе фалъсификационизма (см. Фальсификация). Однако она не отбрасывает идею оценки теории по ее объяснительно-предсказательным возможностям по отношению к эмпирии. Как подтверждение теории отдельными эмпирическими примерами не может служить безоговорочным свидетельством в ее пользу, так и противоречие теории отдельным фактам не есть достаточное основание для отказа от нее. Но подобное противоречие служит мощным стимулом совершенствования теории вплоть до пересмотра и уточнения ее ис-

44

lfcOrWM ходных принципов. Решение же об окончательном отказе от теории обычно связано с общей дискредитацией фактически лежащей в ее основе программы исследования и появлением новой программы, выявляющей более широкие объяснительно-предсказательные возможности по отношению к сфере реальности, изучаемой данной теорией. Лит.: Лакатос И. Фальсификация и методология научно-исследовательских программ. М., 1995; Мамчур Е. А. Проблема выбора теории. М., 1975; Нугаев Р. М. Реконструкция процесса смены фундаментальных научных теорий. Казань, 1989; Швырев В. С. Теоретическое и логическое в научном познании. М, 1978; Степин В. С. Теоретическое знание. М., 2000. В. С. Швырев ТЕОРИЯ В ЛОГИКЕ представляет собой логически связную систему предложений. В качестве логической связи используются процедуры дедукции, формализующие отношение выводимости. В зависимости от степени проясненности (выяв- ленности) дедуктивных связей различают несколько типов теорий. К первому типу относятся содержательные теории. В их составе дедукция используется лишь для связи отдельных положений. При этом исходные утверждения в рассуждениях представляют собой некоторые допущения, называемые посылками. Посылки не обязаны быть (и не всегда бывают) истинными, а потому любое предложение, которое дедуцируется с их использованием, считается условно истинным: заключение истинно при условии, что посылки являются истинными. Примером содержательной теории является школьная арифметика. Другой тип — это т. н. формализованные теории. К их числу относятся теории, содержание которых взаимосвязано и дедуктивно выводится из некоторых первоначально принятых исходных утверждений, называемых аксиомами. Т. к. аксиомы рассматриваются как истинные высказывания о некоторой предметной области, все другие положения, дедуцируемые из них, тоже считаются истинными относительно этой области. Примерами таких теорий являются: небесная механика Ньютона, специальная и общая теории относительности Эйнштейна, квантовая механика, геометрия Евклида и многие другие. Формализованные теории — это уже хорошо организованные теории. Однако их недостатком является то обстоятельство, что в них специально не выделяются средства дедукции, а потому многие дедуктивные шаги осуществляются на интуитивном уровне, что приводит, во-первых, к пропуску значительного числа шагов в рассуждениях, а во-вторых, к недостаточно четкой фиксации всех аксиом, необходимых для получения других положений. Именно такая ситуация имела место, напр., с геометрией, построенной Евклидом. С этой точки зрения более совершенны формальные теории, в которых оформляются (структурируются) не только само знание, но и средства его получения. К таким теориям относятся очень многие математические теории — множеств теория, формальная арифметика и другие. Среди формальных особо можно выделить те теории, содержание которых фиксируется на специально созданном символическом языке, а все допустимые преобразования (в т. ч. и рассуждения) строятся как преобразования одних последовательностей символов в другие их последовательности. Такого рода теории называются исчислениями. Только относительно формальных теорий можно решать ме- татеоретические проблемы: устанавливать их непротиворечивость, полноту, выявлять вопрос о разрешимости, обосновывать наличие различных отношений между ними и т. д. Поэтому в науке формулируется формальное понятие теории, с которым удобно теоретически и практически работать. При этом предварительно фиксируется язык, на котором формулируется теория, и определяется понятие выводимости. В качестве языка L теории Т берется обычно та или иная разновидность языка логики предикатов, содержащего словарь логических и нелогических терминов. В словарь логических терминов входят знаки логических констант, словарь нелогических терминов состоит из списка индивидных, предикатных и функциональных констант (если таковые имеются). Понятие выводимости в этом случае определяется средствами исчисления предикатов. Итак, пусть Т будет некоторым множеством предложений, сформулированных на языке L, пусть А будет предложением языка L, тогда: теория(Т)= VA(ThA<»AeT), Df т. е. множество предложений Т считается теорией при условии, что каждое предложение входит в него тогда и только тогда, когда оно выводимо из данной совокупности. Более кратко это выражается следующей словесной формулой: «теория — это множество предложений, замкнутое относительно отношения выводимости». Данное формальное понятие, хотя и является весьма абстрактным и общим, позволяет успешно решать целый комплекс проблем, возникающих при метатеоретическом исследовании теорий. Если во множестве предложений Т существует рекурсивное подмножество Л, т. е. Л может быть задано некоторой порождающей процедурой (алгоритмом), таким что VA(A|-A<*AeT), то говорят, что теория Т аксиоматизируема. В качестве аксиом в этом случае выступают предложения, входящие в множество А. Если множество А конечно, то говорят, что теория Т конечно аксиоматизируема. Если список нелогических терминов не содержит конкретных имен, предметных функторов и предикаторов естественного языка, то мы имеем дело с чистой логической теорией, напр. стандартным исчислением предикатов 1-го порядка. Если же список нелогических терминов содержит какие-либо из указанных выражений естественного языка, то мы имеем дело с прикладной логической теорией. Если, кроме того, в составе теории присугствуют аксиомы, задающие смыслы этих выражений, то речь идет о нелогических теориях. Среди теорий различают теории двух типов — дедуктивные и эмпирические. К дедуктивным относятся логические и математические теории. Эмпирические теории — это теории разнообразных эмпирических наук: физики, химии, биологии, геологии, истории, социологии, психологии и т. д. Логические и математические теории выполняют в научном познании инструментальную роль, т. е. входят в состав других теорий в качестве средств, позволяющих осуществлять индуктивные и дедуктивные процедуры вывода. Логические теории входят в состав любой другой теории — будет ли она дедуктивной или эмпирической, а потому каждая из последних может рассматриваться как прикладная логика. Математические теории входят в состав математизированных эмпирических теорий, а потому любая математизированная эмпирическая теория может трактоваться как прикладная математика. С каждой непротиворечивой теорией Т соотносится объект (возможная реализация) вида: <\J,P],P2i...,Pn,...,F],F2,...,Fk,...>,