Текст книги "Новая философская энциклопедия. Том четвёртый Т—Я"

Автор книги: авторов Коллектив

сообщить о нарушении

Текущая страница: 8 (всего у книги 126 страниц)

40

ТЕОЛОГИЯ ФИЛОСОФСКАЯ кое переосмысление всей христианской традиции. Радикализм переосмысления христианской традиции, признание того, что Бог как трансцендентный творец и как исторический Иисус Христос остался в прошлом, составляет специфику теологии родительного падежа. Эта критическая работа оставила след в протестантской теологии. Что же касается позитивной программы, то здесь представители теологии родительного падежа не нашли общего языка. Расхождения оказались столь велики, что «теологии» не смогли конституироваться в академическое богословское образование и из теологии родительного падежа сложиться в единую теологию родительного падежа. Отсутствие этой перспективы было зафиксировано появлением «теологии смерти теологии» (Т. Альтицер, К. Раш– ке): «смерть бога» означает также и конец иллюзии о возможности установить соотнесенность теологического языка с описываемой им общезначимой реальностью, а с исчезновением предмета теологии исчезает и сама теология. Лкг.: Робинсон Д. Честно перед богом. М., 1992; КоксХ. Мирской град. Секуляризация и урбанизация в теологическом аспекте. М., 1995; Vahanian G. The Death of God. The Calture of our Post-Christian Era. N. Y, 1961; Buren P. van. The Secular Meaning of the Gospel. L., 1963; Altizer Th. The Gospel of Christian Atheism. Phil., 1966; Altiier Th., Hamilton W. Radical Theologie and the Death of God. L., 1968; Solle D. Atheistisch an Gott glauben. Freiburg im Br., 1968; Bastian H.-D. Theologie der Frage. Munch., 1969; ShaulR. Revolution in theologischer Perspektive.– RendtorfT., TodtE. Theologie der Revolution. Analysen und Materialien. Fr./M., 1969; Klaus A. M., Pannenberg W. Erwagungen zu einer Theologie der Natur. Gutersloh, 1970; FluckigerF. Theologie der Geschichte. Wuppertal, 1970; BuriF. Zur Theologie der Verantwortung. Bern—Stuttg., 1971; BassarakG. Theologie des Genetivs? Wider falsche Wege des Dienstes am Ntort. В., 1975; Сох H. Religion in the Secular City. Toward a Postmodern Theology. N. Y, 1984. В. И. Гараджа ТЕОЛОГИЯ ФИЛОСОФСКАЯ – в широком смысле слова соотносится со всем спектром позитивных отношений между философией и религией, между философией и теологией в истории европейской мысли; базисным принципом философской теологии в узком, строгом, смысле является стремление создать учение о Боге сугубо философскими средствами. В контексте европейской культуры это означает прежде всего, что учение о Боге должно создаваться в отвлечении или даже просто безотносительно факта и содержания божественного Откровения, данного в библейском тексте. Безотносительность предполагает в первую очередь начальные условия философско-теологического рассуждения, а также способы развертывания этого рассуждения. Исходным моментом философского рассуждения должны становиться сугубо «естественные» данности человеческого существования и опыта. А само рассуждение, определяющее философско-теологичес– кое построение, должно соответствовать критериям и стандартам развертывания философской аргументации, обоснования и систематизации. Философская теология этого вида опирается на утверждение о том, что такое богопознание является единственно возможным для человека, если ему не дано или если бы не было дано божественное Откровение, т. е. если Бог не дал или не дал бы человеку знание о Самом Себе непосредственным образом. Философская теология в широком смысле слова по существу совпадает с некоторыми другими видами философской деятельности, такими, как религиозная философия, философия религии, христианская философия – они в той или иной форме и степени реализуют интенцию философского богопозна– ния (это объясняет синонимичное использование указанных дисциплинных обозначений). «Религиозная философия» означает философскую рефлексию, осуществляемую с религиозной точки зрения. Эта рефлексия может иметь любую объектно-тематическую направленность, т. е. объектом постижения и осмысления в соответствующем плане может становиться любой сегмент природно-космической, антропологической и божественной реальности. Философская теология может восприниматься как одна из важнейших форм философии религии – наряду с философским религиеведением, объектом осмысления которого является гл. о. религиозное отношение человека, т. е. отношение к божественной реальности, к Богу. В историческом плане принципиальная возможность автономного философского богопознания, соответственно философской теологии в строгом смысле, была дана вследствие авто– номизации философии по отношению к античной религии, а также вследствие того, что античная философия просто предшествовала во времени христианству. В эту же эпоху можно говорить о появлении – и терминологически, и по содержанию – философской теологии. Она предстает как философское размышление о последней и высшей реальности, определяющей всякую другую реальность. Принципиальная возможность, а также некоторые способы реализации этой возможности античной философии в христианскую эпоху были сохранены и продолжены в «естественной теологии». «Христианская философия» может пониматься как религиозная философия, реализуемая в специфически христианской перспективе. Христианская философия тесно примыкает или в значительной своей части совпадает с теологией христианских конфессий. В истории европейской мысли сама идея автономного философского богопознания всегда ассоциировалась в первую очередь с традицией естественной теологии. Условия появления этой традиции, процесс ее оформления и развития – вот что наиболее часто понимается под автономным философским богопознанием. Всякая иная философская теология в строгом смысле является и в историческом и в логическом отношении продолжением естественной теологии. Естественная теология, методологически представляющая мир не как творение, но как «чистый мир», «чистую природу», выступает уже как «предварительная форма» иной, философской теологии. Они по существу тождественны в своих исходных посылках и средствах осуществления. Остается только различие по результирующему построению. Соответственно философскую теологию следует понимать как завершение базисной тенденции естественной теологии к обособлению от теологии откровения. Как теоретическая программа философская теология в строгом смысле означает, что путь философского богопознания начинается с миропознания и продвигается к богопознанию, поскольку мир постигается не как последняя и абсолютная действительность, а как «образ» таковой. Бог философски постижим не непосредственно в Себе Самом, а только посредством отдаленного подобия в зеркале мира. Философское познание действительности – это по существу «путь от миропознания к богопознанию». Лишь такой способ познания Бога возможен для человека. Философское богопознание возможно потому, что Бог пребывает в мире как его сокровенная основа. Если бы это было не так, то Бога нельзя было бы постичь в мире и исходя из мира. В данном контексте «мир» следует понимать во всем богатстве содержаний и смыслов, выявленных историческим опытом существования человече-

41

ТЕОН ства, включая полноту теоретического, научного и философского знания. Особое значение в философском богопозна– нии должен получить специфический опыт бытия-в-мире человека, что означает необходимость для философского бо– гопознания опереться на теоретическое знание о человеке, прежде всего философско-антропологическое знание. Философская теология решает три основные взаимосвязанные задачи. Она призвана, во-первых, философски-аргумен– тативно указать на существование Бога; во-вторых, определить по возможности природу Бога; в-третьих, охарактеризовать отношения между Богом и миром, Богом и человеком. Философское обоснование существования Бога заключается в разработке философской аргументации в пользу наличного, «реального», бытия Бога. Во всех случаях средством обоснования выступает философское рассуждение, опирающееся на те или иные природно-космические, социально-исторические и индивидуально-жизненные явления, данные в человеческом опыте. Т. о., из трех главных источников верования в существование Бога – разума, опыта и откровения – фи– лософско-теологические попытки обосновать существование Бога базируются на опыте и разуме. Доказательство представляет собой метод познания, осуществляющегося рационально, т. е. в контролируемых понятийных высказываниях. Предполагается, что в качестве посылок могут выступать те или иные данности «естественного опыта существования» в широком смысле, т. е. такие данности опыта человека, на которые достаточно указать, чтобы признать их очевидность или истинность. «Данности опыта» могут включать и данные науки, поскольку они также получены «естественным» разумом, опирающимся на «естественный» опыт. Рассуждение, имеющее в качестве посылок подобные очевидные истинные данности, должно развертываться в соответствии с принятыми правилами теоретического рассуждения, в первую очередь в соответствии с логическими правилами. Если такие условия соблюдены, то мы получаем заключение, содержание которого призвано свидетельствовать о бытии Бога. Под традиционными доказательствами бытия Бога понимаются в первую очередь «онтологическое доказательство», «космологическое доказательство», «телеологическое доказательство». Все это кодифицированные обозначения для определенных устоявшихся типов аргументов, которые получили более или менее тщательную разработку и признание. В 20 в. были предложены варианты философского подтверждения существования Бога с помощью трансцендентальной философии (трансцендентальный томизм, Р. Шеффлер), а также посредством философской феноменологии (ранний М. Ше– лер, Ф. Хаммер). Трансцендентал-философские и феноменологические указания на существование Бога нередко выступали в сочетании, особенно в рамках концепций, которые следует отнести к философско-религиозной антропологии (X. -Э. Хенгстенберг, Э. Корст, К. Ранер и др.). Философская теология обладает определенным единством и в содержательном отношении. Такое единство проистекает из того обстоятельства, что большинство автономных философ– ско-теологических учений также концептуализируют философский теизм. В основе философского теизма лежат две основные посылки, присущие европейской культуре. Первая заключается в отождествлении религии с теизмом, а вторая связана с представлениями о познавательном достоинстве и нормативных возможностях философии. Являясь производным от посылок европейской культуры, философский теизм наличествует в этой культуре фактически с самого начала истории христианской эпохи. Философский теизм в своем смысловом ядре означает признание существования Бога как абсолютной, трансцендентной по отношению к миру духовно– личностной действительности, представляющей как безусловный источник всего небожественного сущего и сохраняющей действенное присутствие в мире. «Теизм» соответственно предстает как сердцевина философско-теологической типологии отношений между Богом и миром, поскольку через соотнесение с теизмом тематизируются пантеизм, панентизм, деизм. В философской теологии могут предприниматься попытки представить божественную реальность отличным от классического философско-теистическим образом, или так, что ее характер будет вообще являть весьма незначительное сходство с философско-теистическим понятием Бога. Из подобных концепций, созданных в 20 в., наиболее интересными представляются концепция позднего М. Шелера и концепция В. Вайшеделя. Ю. А. Кимелев ТЕОН (0e©v) из Смирны (1-я пол. 2 в.) – греческий философ-платоник, автор «Изложения математических сведений, необходимых для изучения Платона» (лат. сокр. Expositio) – составленной в духе среднего платонизма популярной сводки разного рода математических фактов (из области арифметики, гармоники и астрономии). Текст Теона является компиляцией в основном работ двух авторов – перипатетика Адра– ста Афродисийского и платоника Трасилла; кроме того, в тексте упоминается некий Деркиллид, чьим текстом Теон также, возможно, пользовался. В целом он предлагает читателю сведения, обычные для школьных текстов такого рода (ср. Ни– комах из Герасы), но некоторые его интерпретации выдают интерес автора к религиозно-мистической литературе. Так, традиционное платоническое определение философии как «уподобления богу» и пять обсуждаемых в диалоге «Государство» математических наук, необходимых для философского образования, он интерпретирует как пятиступенчатый процесс инициации от «очищения» до «радостного соединения с богами» (Expos. 14,18 – 16,2). Имеются свидетельства о том, что у Теона был комментарий на «Государство» и трактат, в котором он обсуждал порядок чтения платоновских диалогов, исходя из их деления на тетралогии согласно Трасиллу. Соч.: Theonis Smirnaei Philosophi Platonici Expositio Rerum Mathe– maticarum ad Legendum Platonem Utilium, ed. E. Hiller. Lpz., 1878. Лит.: Dillon J. The Middle Platonists. L., 2 ed., 1996, p. 397—399. M. А. Солопова ТЕОРЕМА ДЕДУКЦИИ – си. Дедукции теорема. ТЕОРИЯ—в широком смысле комплекс взглядов, представлений, идей, направленных на истолкование и объяснение какого-либо явления; в более узком и специальном смысле – высшая, самая развитая форма организации научного знания, дающая целостное представление о закономерностях и существенных связях определенной области действительности – объекта данной теории. По своему строению теория представляет внутренне дифференцированную, но целостную систему знания, которую характеризуют логическая зависимость одних элементов от других, выводимость содержания теории из некоторой совокупности утверждений и понятий – исходного базиса теории. В процессе применения теории сформированное в ней знание опосредуется различными промежуточными звеньями, конкретизирующими факторами, что пред-

42

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

43

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

44

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