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

• Название: Новая философская энциклопедия. Том четвёртый Т—Я
• Автор: В Степин
• Издательство: МЫСЛЬ
• Жанр: Философия
• Год: 2010
• ISBN: 978-2-244-01115-9

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

При подготовке данного издания внесены некоторые уточнения и дополнения. В частности, в первом томе помещена статья, посвященная 80-летию Института философии РАН в четвертом - именной указатель по всем томам.

---

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,...>,

45

«ТЕОРИЯ КОММУНИКАТИВНОГО ДЕЙСТВИЯ» где U — множество объектов, а Р]9 Р2, ..., Рп, ..., Fb F2, ..., Fk,... — их свойства, отношения и функциональные зависимости, заданные на U. Для логических и математических теорий U — это множество абстрактных и идеальных объектов типа чисел или геометрических фигур; для эмпирических теорий U — это множество реальных предметов. На этот объект осуществляется интерпретация теории. Если каждое предложение из Т при интерпретации принимает значение «истина», то возможная реализация называется моделью Т. Любая теория выполняет различные познавательные функции — систематизации, объяснения, предсказания и постсказания. Под систематизацией в общем случае имеют в виду установление некоторых логических зависимостей (взаимосвязей) между фактами, т. е. введение некоторой структуры в множество фактов, описываемых в теории. Мир в этом случае предстает перед нами не как некоторая беспорядочная груда фактов, а как некоторое структурированное многообразие. Различают два способа систематизации: дедуктивную и индуктивную. Пусть Т будет чистой эмпирической теорией, сформулированной в языке L, пусть далее /гие будут нетавтологичными фактуальными предложениями теории, тогда: Т осуществляет дедуктивную систематизацию =^ ЗА, е такие, что: 1) неверно, что е \- Л, 2)Tu{e}\-h. В случае, когда Т — конечно аксиоматизированная теория, условие 2 можно заменить условием 2': Т & е \- h. При тех же условиях понятие индуктивной систематизации определяется следующим образом: Т осуществляет индуктивную систематизацию s^ ЗА, е такие, что: 1) неверно, что е Ь A, 2) неверно, что Т u {e} \- А, 3)Ти{е}ЬА, где «h» — знак отношения индуктивного следования, которое обычно трактуется либо в смысле понятия позитивной релевантности, либо высокой вероятности. Чрезвычайно важными функциями теоретического знания являются функции объяснения, предсказания и постсказания. Общая схема рассуждений во всех этих случаях одна и та же, а именно: теория объясняет некоторый факт природы (предсказывает его или постсказывает), если и только если соответствующее фактуальное предложение может быть подведено под законы науки, т. е. может быть дедуцировано из утверждений теории. Иначе говоря, Т объясняет (предсказывает, постсказывает) А ^^Т ^- А, где Т — прикладная эмпирическая теория. Различие между указанными тремя функциями состоит лишь в том, что при объяснении А — это эмпирически данный нам факт, в случае предсказания А — факт, который еще только следует установить, а в постсказании А — это факт, который имел место в прошлом. В. А. Бочаров «ТЕОРИЯ КОММУНИКАТИВНОГО ДЕЙСТВИЯ» (Theorie des kommunikativen Handels, Bd 1—2. Fr./M., 1981) — сочинение Ю. Хабермаса. Задумано как основание широкомасштабной теории общества; одновременно является своего рода современным критическим вариантом «социологии разума и рационализации». Том 1 носит название «Рациональность действия и общественная рационализация» и распадается на четыре части — обширное Введение («Подходы к проблематике рациональности»), разделы «Теория рациональности Макса Вебера», «Социальное действие, целевая деятельность и коммуникация», «От Лукача к Адорно: рационализация как овеществление». Хабермаса интересуют прежде всего проблемы возможного «воплощения» разума (или, напротив, антиразума) в деятельности людей, их связях, взаимодействиях и объективных жизненных формах. «Основная философская тема — это разум. С самых первых шагов философия предпринимает усилия понять мир в целом, объяснить единство в многообразии явлений с помощью принципов, которые должны быть найдены в разуме... Когда я так говорю, то пользуюсь языком философии Нового времени. Но философская традиция, поскольку она внушает мысль о возможности философской картины мира, поставлена под сомнение. Философия сегодня больше не может относить себя к целостности мира, природы, истории, общества в смысле некоего тотализирующего знания. Теоретические суррогаты картины мира развенчиваются не только фактическим прогрессом эмпирических наук, но еще более рефлексивным сознанием, сопровождающим этот прогресс...» (Bd I, S. 15). Свою задачу Хабермас видит в том, чтобы проложить путь «новой констелляции» науки и философии и противостоять наступлению на разум и науку. Мир действия, общий для людей, Хабермас, следуя феноменологической традиции, называет «жизненным миром» (Lebenswelt); это мир, осваиваемый «интерсубъективно», т. е. во взаимодействии людей. Хабермас рассматривает становление тех образов и картин мира, которые вычленяются из мифологического подхода к миру, как первое рациональное миропонимание; исследуются его альтернативы (открытость- замкнутость; односторонность—многосторонность; эгоцентризм— мироцентризм познания и т. д.). Опираясь на богатейшую литературу (К. Леви-Брюль, Э. Кассирер, Е. Эванс- Причард, К. Леви-Строс, Б. Малиновский и др.), Хабермас показывает формирование понятий «внешнего мира» и «внутреннего мира». На основе анализа самого разнообразного материала — концепции «третьего мира» К. Поппера и его последователей (особенно И. Явви), социологических теорий интеракции, принятия решения, т. н. «социологии коммуникации», «аналитической теории действия» (А. Данто) и др. подробно исследуются в их коммуникативном значении различные элементы действия — движения тела, речь и т. д. При изучении действия с точки зрения отношения действующего человека (Aktor) к миру имеются в виду три аспекта: действие телеологическое (стратегическое), норморегулирующее и драматургическое. Ни один из аспектов и элементов действия сам по себе не дает определения человеческого действия — его основополагающее отличие Хабермас видит в установлении отношения человека к (объективному) миру и одновременно в установлении различий между самим действием и миром (объективным миром природы, социальным и субъективным миром). В центре 1-го тома — исследование теории рационализации М. Вебера. Хабермас анализирует «модернизацию общества» как дифференциацию капиталистического хозяйства и государства эпохи модерн, «культурную рационализацию» — как развитие современной науки и техники, автономного искусства, этики принципов и норм, укорененной в религии. Разбирается «практическая рациональность» (постановка целей, применение средств, ценностная ориентация), исследуется рациональность действия на трех уровнях — инструменталь-