Новая философская энциклопедия В 4 томах. Том 4 (1184481), страница 29
Текст из файла (страница 29)
также Гипотетико-дедуктивная модель), поэтому не только выходят за рамки дедукции теоремиз исходных гипотетических утверждений теории, подтверждаемых или опровергаемых в результате последующей эмпирической проверки, но и предполагают обращение к процессам изменения и развития исходных теоретических гипотетически принимаемых утверждений, что стимулировалоразработку методологической проблематики критериев приемлемости подобных изменений (напр., критерии прогрессивного и регрессивного сдвига проблем в методологии исследовательских программ И. Лакатоса). Соответственно при такомподходе теория уже не рассматривается как «закрытая» неподвижная система. «Единицей» методологического анализастановится последовательность («серия») теорий по мере ихизменения, единство которых определяется лежащим в их основе «твердым ядром» исследовательской программы, принятие которого в общем соответствует понятию исходного идеализированного объекта в классическом «статуарном» подходек теории.Теория может развиваться в относительной независимости отэмпирического исследования — посредством знаково-символических операций по правилам математических или логических формализмов, посредством введения различных гипотетических допущений или теоретических моделей (особенно математических гипотез и математических моделей), атакже путем мысленного эксперимента с идеализированными объектами.
Подобная относительная самостоятельностьтеоретического исследования образует важное преимуществомышления на уровне теории, ибо дает ему богатые эвритические возможности. Но реальное функционирование и развитие теории в науке осуществляется в органическом единстве с эмпирическим исследованием. Теория выступает как реальное знание о мире только тогда, когда она получает эмпирическую интерпретацию. Современная методология наукиотвергает примитивные представления об оправдании теориив духе верификационизма или, напротив, однозначного ее опровержения в духе фальсификационизма (см. Фальсификация).Однако она не отбрасывает идею оценки теории по ее объяснительно-предсказательным возможностям по отношению кэмпирии.
Как подтверждение теории отдельными эмпирическими примерами не может служить безоговорочным свидетельством в ее пользу, так и противоречие теории отдельнымфактам не есть достаточное основание для отказа от нее. Ноподобное противоречие служит мощным стимулом совершенствования теории вплоть до пересмотра и уточнения ее ис-lfcOFMMходньгх принципов. Решение же об окончательном отказе оттеории обычно связано с общей дискредитацией фактическилежащей в ее основе программы исследования и появлениемновой программы, выявляющей более широкие объяснительно-предсказательные возможности по отношению к сферереальности, изучаемой данной теорией.Лит.: Лакатос И. Фальсификация и методология научно-исследовательских программ. М., 1995; Мамчур Е.
А. Проблема выбора теории.М., 1975; Нугаев Р. М. Реконструкция процесса смены фундаментальных научных теорий. Казань, 1989; Шеырев В. С. Теоретическоеи логическое в научном познании. М., 1978; Степин В. С. Теоретическое знание. М., 2000.В. С. ШеыревТЕОРИЯ В ЛОГИКЕ представляет собой логически связнуюсистему предложений. В качестве логической связи используются процедуры дедукции, формализующие отношение выводимости. В зависимости от степени проясненное™ (выявленное™) дедуктивных связей различают несколько типовтеорий.К первому типу относятся содержательные теории. В их составе дедукция используется лишь для связи отдельных положений. При этом исходные утверждения в рассужденияхпредставляют собой некоторые допущения, называемые посылками.
Посылки не обязаны быть (и не всегда бывают) истинными, а потому любое предложение, которое дедуцируется с их использованием, считается условно истинным: заключение истинно при условии, что посылки являются истинными. Примером содержательной теории является школьнаяарифметика.Другой тип — это т. н. формализованные теории. К их числуотносятся теории, содержание которых взаимосвязано и дедуктивно выводится из некоторых первоначально принятыхисходных утверждений, называемых аксиомами. Т. к. аксиомы рассматриваются как истинные высказывания о некоторой предметной области, все другие положения, дедуцируемые из них, тоже считаются истинными относительно этойобласти.
Примерами таких теорий являются: небесная механика Ньютона, специальная и общая теории относительности Эйнштейна, квантовая механика, геометрия Евклида имногие другие.Формализованные теории — это уже хорошо организованныетеории. Однако их недостатком является то обстоятельство,что в них специально не выделяются средства дедукции, а потому многие дедуктивные шаги осуществляются на интуитивном уровне, что приводит, во-первых, к пропуску значительного числа шагов в рассуждениях, а во-вторых, к недостаточночеткой фиксации всех аксиом, необходимых для получениядругих положений.
Именно такая ситуация имела место, напр.,с геометрией, построенной Евклидом. С этой точки зренияболее совершенны формальные теории, в которых оформляются (структурируются) не только само знание, но и средства его получения. К таким теориям относятся очень многие математические теории — множеств теория, формальнаяарифметика и другие.
Среди формальных особо можно выделить те теории, содержание которых фиксируется на специально созданном символическом языке, а все допустимыепреобразования (в т. ч. и рассуждения) строятся как преобразования одних последовательностей символов в другие ихпоследовательности. Такого рода теории называются исчислениями.Только относительно формальных теорий можно решать метатеоретические проблемы: устанавливать их непротиворечи45вость, полноту, выявлять вопрос о разрешимости, обосновывать наличие различных отношений между ними и т.
д. Поэтому в науке формулируется формальное понятие теории, скоторым удобно теоретически и практически работать. Приэтом предварительно фиксируется язык, на котором формулируется теория, и определяется понятие выводимости. В качестве языка L теории Т берется обычно та или иная разновидность языка логики предикатов, содержащего словарьлогических и нелогических терминов. В словарь логическихтерминов входят знаки логических констант, словарь нелогических терминов состоит из списка индивидных, предикатных и функциональных констант (если таковые имеются).Понятие выводимости в этом случае определяется средствами исчисления предикатов.
Итак, пусть Т будет некоторыммножеством предложений, сформулированных на языке L,пусть А будет предложением языка L, тогда:теория (Т)=DfУА(Т|-А<»АбТ),т. е. множество предложений Т считается теорией при условии, что каждое предложение входит в него тогда и толькотогда, когда оно выводимо из данной совокупности. Болеекратко это выражается следующей словесной формулой: «теория — это множество предложений, замкнутое относительно отношения выводимости». Данное формачьное понятие,хотя и является весьма абстрактным и общим, позволяет успешно решать целый комплекс проблем, возникающих приметатеоретическом исследовании теорий.Если во множестве предложений Т существует рекурсивноеподмножество Д, т.
е. А может быть задано некоторой порождающей процедурой (алгоритмом), таким чтоVA(A|-A<»AeT),то говорят, что теория Т аксиоматизируема. В качестве аксиом в этом случае выступают предложения, входящие в множество Д. Если множество Д конечно, то говорят, что теорияТ конечно аксиоматизируема.Если список нелогических терминов не содержит конкретных имен, предметных функторов и предикаторов естественного языка, то мы имеем дело с чистой логической теорией,напр. стандартным исчислением предикатов 1-го порядка.Если же список нелогических терминов содержит какие-либоиз указанных выражений естественного языка, то мы имеемдело с прикладной логической теорией. Если, кроме того, всоставе теории присутствуют аксиомы, задающие смыслы этихвыражений, то речь идет о нелогических теориях.Среди теорий различают теории двух типов — дедуктивные иэмпирические.
К дедуктивным относятся логические и математические теории. Эмпирические теории — это теории разнообразных эмпирических наук: физики, химии, биологии,геологии, истории, социологии, психологии и т. д. Логическиеи математические теории выполняют в научном познании инструментальную роль, т. е. входят в состав других теорий в качестве средств, позволяющих осуществлять индуктивные идедуктивные процедуры вывода. Логические теории входят всостав любой другой теории — будет ли она дедуктивной илиэмпирической, а потому каждая из последних может рассматриваться как прикладная логика. Математические теории входят в состав математизированных эмпирических теорий, а потому любая математизированная эмпирическая теория можеттрактоваться как прикладная математика.С каждой непротиворечивой теорией Т соотносится объект(возможная реализация) вида:<\],Px,P2,...,Pn,...,F„F2, ...,Fk,...>,«ТЕОРИЯ КОММУНИКАТИВНОГО ДЕЙСТВИЯ»обширное Введение («Подходы к проблематике рациональности»), разделы «Теория рациональности Макса Вебера»,«Социальное действие, целевая деятельность и коммуникация», «От Лукача к Адорно: рационализация как овеществление».Хабермаса интересуют прежде всего проблемы возможного«воплощения» разума (или, напротив, антиразума) в деятельности людей, их связях, взаимодействиях и объективных жизненных формах.
«Основная философская тема — это разум.С самых первых шагов философия предпринимает усилия понять мир в целом, объяснить единство в многообразии явлений с помощью принципов, которые должны быть найденыв разуме... Когда я так говорю, то пользуюсь языком философии Нового времени. Но философская традиция, поскольку она внушает мысль о возможности философской картинымира, поставлена под сомнение. Философия сегодня большене может относить себя к целостности мира, природы, истории, общества в смысле некоего тотализирующего знания. Теоретические суррогаты картины мира развенчиваются нетолько фактическим прогрессом эмпирических наук, но ещеболее рефлексивным сознанием, сопровождающим этот прогресс...» (Bd I, S. 15).
Свою задачу Хабермас видит в том, чтобы проложить путь «новой констелляции» науки и философии и противостоять наступлению на разум и науку.Мир действия, общий для людей, Хабермас, следуя феноменологической традиции, называет «жизненным миром» (Lebenswelt); это мир, осваиваемый «интерсубъективно», т. е. вовзаимодействии людей. Хабермас рассматривает становлениетех образов и картин мира, которые вычленяются из мифологического подхода к миру, как первое рациональноемиропонимание; исследуются его альтернативы (открытость—замкнутость; односторонность—многосторонность; эгоцентризм—мироцентризм познания и т.
д.). Опираясь на богатейшую литературу (К. Леви-Брюль, Э. Кассирер, Е. ЭвансПричард, К. Леви-Строс, Б. Малиновский и др.), Хабермаспоказывает формирование понятий «внешнего мира» и «внутреннего мира».где U — множество объектов, а Рь Р2, ..., Рп, ..., F\, F2, ...,Fk,... — их свойства, отношения и функциональные зависимости, заданные на U. Для логических и математических теорий U — это множество абстрактных и идеальных объектовтипа чисел или геометрических фигур; для эмпирических теорий U — это множество реальных предметов. На этот объектосуществляется интерпретация теории. Если каждое предложение из Т при интерпретации принимает значение «истина», то возможная реализация называется моделью Т.Любая теория выполняет различные познавательные функции — систематизации, объяснения, предсказания и постсказания.
Под систематизацией в общем случае имеют в виду установление некоторых логических зависимостей (взаимосвязей) между фактами, т. е. введение некоторой структуры в множество фактов, описываемых в теории. Мир в этом случаепредстает перед нами не как некоторая беспорядочная грудафактов, а как некоторое структурированное многообразие.Различают два способа систематизации: дедуктивную и индуктивную. Пусть Т будет чистой эмпирической теорией, сформулированной в языке L, пусть далее h и е будут нетавтологичными фактуальными предложениями теории, тогда:Т осуществляет дедуктивную систематизацию = D f ЗА, е такие,что:1) неверно, что е \- h,2 ) Т и {е} h h .В случае, когда Т — конечно аксиоматизированная теория,условие 2 можно заменить условием 2': Т & е \- h.При тех же условиях понятие индуктивной систематизации определяется следующим образом:Т осуществляет индуктивную систематизацию = D f Э/г, е такие,что:1) неверно, что е \~ h,2) неверно, что Т u {e} \-h,3)Ти{е}Ьй,где «t~» — знак отношения индуктивного следования, которое обычно трактуется либо в смысле понятия позитивнойрелевантности, либо высокой вероятности.Чрезвычайно важными функциями теоретического знанияявляются функции объяснения, предсказания и постсказания.
![](https://s.studizba.com/z.php?f=/templates/si/i/noavatar.png&w=100&h=100&t=1"){kind=avatar}
