Какие характеристики не соответствуют понятию теории. Что представляет собой теория поглощения света? Научная теория, её сущность, структура и функции

В предыдущей главе мы определили логику как дисциплину, изучающую отношение импликации между суждениями, т. е. отношение между посылками и заключениями, с помощью которого истинность или ложность одного множества определяет истинность или ложность другого. Таким образом, как посылки, так и заключения являются суждениями, и, исходя из задач, стоящих перед логикой, суждение можно определить как все, что может быть истинным или ложным. Данное определение будет более понятным, если мы также скажем, чем суждение не является.
1. Суждение не то же самое, что и предложение, в котором оно излагается. В трех разных предложениях – «Я мыслю, следовательно, я существую», «Je pense, done je suis», «Cogito ergo sum» – излагается одно и то же суждение. Предложение – это группа слов, а слова, как и все другие символы, сами по себе являются физическими объектами, отличными от того, на что они указывают или что символизируют. Будучи написанными, предложения занимают определенные поверхности, а будучи высказанными, они являются звуковыми волнами, переходящими от одного организма к другому. Однако суждение, вербальным выражением которого является предложение, отличается от видимых меток или звуковых волн конкретного выражения. Таким образом, предложения обладают физическим существованием. Они могут соответствовать или не соответствовать определенному вкусу или стандартам использования. Но они не являются истинными или ложными. Истина или ложь могут утверждаться только относительно суждений, обозначаемых предложениями.
2. При этом наряду с необходимостью отличать суждение от символов, в которых оно излагается, следует отметить, что ни одно суждение не может быть выражено или передано без символов. Следовательно, структура суждения должна быть выражена и сообщена посредством соответствующей структуры символов. Это требуется для того, чтобы суждение не могло быть передано с помощью какой угодно комбинации символов. «Джон крыса синий Джонс», «ходить сел есть очень» не являются символами, выражающими суждения. Данные символы – просто бессмыслица, если, конечно, мы не имеем дела с каким-либо кодом. Только определенные компоновки символов могут выражать суждение. И именно поэтому изучение систем обозначений обладает неоценимой значимостью для правильного анализа структуры суждений. И именно поэтому грамматика языка, несмотря на несходство грамматического и логического анализа, зачастую способна прояснить различия, которые по своей природе являются логическими.
3. Суждение, как мы сказали, является тем, относительно чего осмыслены вопросы об истинности и ложности. Следовательно, когда Гамлет восклицает: «О мысль моя, отныне ты должна кровавой быть, иль прах тебе цена!» или же когда он спрашивает: «К чему тебе плодить грешников?», он не утверждает никакого суждения, а если и утверждает, то только имплицитно. Дело в том, что пожелания, вопросы или команды сами по себе не могут быть истинными или ложными. При этом следует отметить, что вразумительность пожеланий, вопросов и команд основывается на допущениях о том, что определенные положения дел преобладают. А такие допущения содержат суждения. Для примера рассмотрим вопрос: «К чему тебе плодить грешников?» В нем, помимо многих других суждений, несомненно, предполагается, что особа, к которой обращаются, существует, способна рожать детей и что эти дети обязательно будут грешниками. Сходным образом в восклицании «О мысль моя, отныне ты должна кровавой быть, иль прах тебе цена!» предполагается, что говорящий способен обладать мыслями, что эти мысли могут быть смертоносными, что они могут иметь некую ценность и т. д. Более того, команду или пожелание можно представить в декларативной форме, которая, как правило, выражает определенное суждение. Примером тому являются следующие переформулировки: «я хочу, чтобы ты пришел», «мне будет приятно, если ты придешь», «ты пожалеешь, если не придешь». Декларации являются суждениями в той степени, в какой то, что в них сообщается, может быть истинным или ложным.
4. Суждения часто спутываются с психическими актами, необходимыми для того, чтобы иметь суждение. Данная путаница происходит из понимания термина «суждение» как субстантивированного глагола. Это приводит к туманностям, ибо в одних случаях этим термином обозначается психический акт вынесения определенного суждения, а в других – само суждение, как содержание такого акта. Однако точно так же, как мы провели различие между суждением (как объективным смыслом) и предложением, в котором оно выражается, мы должны разграничить суждение и акт психики, связанный с вынесением суждения .
5. Суждения также не должны отождествляться с каким-либо конкретным объектом, вещью или событием. Они являются в лучшем случае лишь отдельными абстрактными отношениями между вещами. Когда мы утверждаем или отрицаем суждение «Луна находится ближе к Земле, чем Солнце», то ни Луна, ни Земля, ни Солнце, равно как и расстояние между ними, не являются суждением. Суждение – это отношение, которое утверждается как существующее между этими телами. Такие отношения, как объекты нашей мысли, являются элементами или аспектами реальных, конкретных ситуаций. Эти аспекты находятся в неразрывной пространственно-временной связи со всеми остальными составными элементами соответствующих ситуаций, однако их отличительная особенность заключается в их смысле. Именно поэтому чувственный опыт не может превратиться в знание без рефлексивного анализа того, что мы воспринимаем. А знание – это знание суждений, и обладать им можно, только различая отношения, присутствующие между абстрактными свойствами соответствующей ситуации.
6. Мы определили суждение как нечто, способное быть истинным или ложным. Однако это не означает, что мы обязаны знать его истинностное значение. «Рак излечим» является суждением, однако мы не знаем, истинно оно или нет.

Это, однако, приводит к известному затруднению, заключающемуся в том, что иногда мы не в состоянии определить, выражает ли некоторое предложение какое-либо суждение. Рассмотрим, к примеру, выражение «ярд состоит из трех футов». Задаемся ли мы вопросом об истинности или ложности, когда формулируем его? Следует признать, что данное предложение имеет вид предложения, выражающего некое суждение. Однако если мы проанализируем его содержание, то обнаружим, что оно выражает скорее некую резолюцию, чем нечто способное быть истинным или ложным. Мы решаем использовать единицу измерения, равную трем футам. Однако резолюции как таковой не может приписываться истинность или ложность. Резолюции, зачастую принимающие форму определений, выражаются способами, сходными с тем, как выражаются суждения, однако их следует отличать от суждений.

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

7. Еще одна сложность возникает вследствие того обстоятельства, что мы зачастую считаем, что одни и те же суждения иногда могут быть истинными, а иногда ложными. Однако наше определение суждения исключает подобную возможность и предполагает, что если некое суждение истинно, то оно должно быть истинным всегда. Как часто простые люди используют подобные реплики: «То, что ты говоришь, бывает истинным, но не всегда». Данная позиция относится к утверждениям типа «религия учит любить ближних», «тяжело противостоять соблазну», «повинную голову меч не сечет». Данную сложность мы можем преодолеть, признав, что если в данных суждениях утверждается, что нечто является всеобщим правилом, то наличие исключения лишь докажет их ложность. В суждении «иногда религия учит ненавидеть ближних» не утверждается абсурдная идея о том, что общее суждение «религия всегда учит ненавидеть ближних» иногда является истинным.

Быть может, следующий пример позволит лучше понять данную мысль. Создается впечатление, что суждение «нынешний губернатор Коннектикута – доктор Кросс» истинно в течение определенных лет, но, разумеется, не на все времена. Подобный анализ, однако, является неадекватным, поскольку фраза «нынешний губернатор», несомненно, предполагает определенную дату. Таким образом, эксплицитно включая в наше выражение нужную дату, мы получаем выражения для разных суждений, некоторые из которых будут истинными, а некоторые – ложными. Вообще говоря, утверждения, делаемые нами в обыденной речи, редко содержат все необходимые условия для определения их истинности или ложности. Одни из этих условий мы осознаем, о других не догадываемся. Неполное выражение не является ни истинным, ни ложным. И когда мы говорим, что некоторое суждение иногда истинно, а иногда ложно, мы имеем в виду лишь то, что используемое нами утверждение может быть закончено различными способами, выражающими иногда истинные, а иногда ложные суждения.

ТЕОРИЯ

(от греч. theoria - рассмотрение, ) - совокупность высказываний, замкнутых относительно логического следования. Такое предельно и наиболее абстрактное Т. дает . С логической т.зр. теорией можно назвать любое , рассматриваемое вместе с его логическими следствиями. Напр., из высказывания «Сегодня вторник» следуют такие: «Завтра будет », «Вчера был понедельник», «Сегодня - третий день недели» и т.п., поэтому высказывание вместе с перечисленными следствиями можно назвать Т. Столь широкое определение термина «Т.» может показаться несколько необычным, однако вполне соответствует обыденному употреблению этого слова. Напр., в романе М. Булгакова «Мастер и Маргарита» Воланд говорит отрезанной голове Берлиоза: «...ваша теория и солидна, и остроумна. Впрочем, ведь все теории стоят одна задругой. Есть среди них и такая, согласно которой каждому будет дано по его вере». Неясное и расплывчатое употребление слова «Т.» в повседневном языке и выражает логическое определение данного термина. Чтобы сделать его более точным, нужно указать по меньшей мере, какой именно логической системой мы пользуемся при выводе следствий.

Философия: Энциклопедический словарь. - М.: Гардарики . Под редакцией А.А. Ивина . 2004 .

ТЕОРИЯ

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

Роль Т. в социально-практич. деятельности. Основываясь на обществ. практике и давая целостное, достоверное, систематически развиваемое знание о существ. связях и закономерностях действительности, Т. выступает как наиболее совершенная форма науч. обоснования и программирования практич. деятельности. При этом роль Т. не ограничивается обобщением опыта практич. деятельности и перенесением его на новые ситуации, а связана с творч. переработкой этого опыта, благодаря чему Т. открывает новые перспективы перед практикой, расширяет её горизонты. Марксизм-ленинизм отвергает как принижение Т., её отождествление с практикой, так и схоластич. теоретизирование, отрыв Т. от действительности.

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

Значительно возрастает роль Т. в эпоху создания социалистич. и коммунистич. общества на основе со-знат. деятельности нар. масс. Как подчёркивал Ленин, «без революционной теории не может быть и революционного движения» (там же, т. 6, с. 24) , а «...роль передового борца может выполнить только партия, руководимая передовой теорией» (там же, с. 25) . Ориентирующая, направляющая роль передовой марксистско-ленинской Т. общества, раскрывающей объективные законы обществ. развития, ярко проявляется в совр. условиях в руководстве КПСС развитым социалистич. обществом в его движении к коммунизму.

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

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

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

Переход от эмпирич. стадии науки, которая ограничивается классификацией и обобщением опытных данных, к теоретич. стадии, когда появляются и развиваются Т. в собств. смысле, осуществляется через промежуточных форм теоретизации, в рамках которых формируются первичные теоретич. конструкции. Будучи источником возникновения Т., сами эти конструкции, однако, ещё не образуют Т.: её возникновение связано с возможностью построения многоуровневых конструкций, которые развиваются, конкретизируются и внутренне дифференцируются в процессе деятельности теоретич. мышления, отправляющегося от некоторой совокупности теоретич. принципов. В этом смысле зрелая Т. представляет собой не просто сумму связанных между собой знаний, но и содержит определ. построения знания, внутр. развёртывания теоретич. содержания, воплощает некоторую программу исследования; всё это и создаёт Т. как единой системы знания. Подобная развития аппарата науч. абстракций в рамках и на основе Т. делает последнюю мощнейшим средством решения фундаментальных задач познания действительности.

В совр. методологии науки принято выделять след. осн. компоненты Т.: 1) исходную эмпирич. основу, которая включает зафиксированных в данной области знания фактов, достигнутых в ходе экспериментов и требующих теоретич. объяснения; 2) исходную теоретич. основу - множество первичных допущений, постулатов, аксиом, общих законов Т., в совокупности описывающих Т.; 3) логику Т.- множество допустимых в рамках Т. правил ло-гич. вывода и доказательства; 4) совокупность выведенных в Т. утверждений с их доказательствами, составляющую осн. массив теоретич. знания. Методологически центр. роль в формировании Т. играет лежащий в её основе идеализированный объект - теоретич. существ. связей реальности, представленных с помощью определ. гипотетич. допущении и идеализации. Построение идеализированного объекта Т.- необходимый этап создания любой Т., осуществляемый в специфических для разных областей знания формах. К. Маркс в «Капитале», развив трудовую теорию стоимости и проанализировав структуру капиталистич. производства, разработал идеализированный объект, который выступил как теоретическая модель капиталистич. способа производства. Идеализированным объектом Т. в классич. механике является материальных точек, в молекулярно-кинетич. теории - множество замкнутых в определ. объёме хаотически соударяю-щихся молекул, представляемых в виде абсолютно упругих материальных точек, и т. д.

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

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

Процесс развёртывания содержания Т. предполагает макс. выявление возможностей, заложенных в исходных посылках Т., в структуре её идеализированного объекта. В частности, в Т., использующих математич. , развёртывание содержания предполагает формальные операции ср знаками математизированного языка, выражающего те или иные параметры объекта. В Т., в крых математич. формализм не применяется или недостаточно развит, на первый план выдвигаются рассуждения, опирающиеся на содержания исходных посылок Т., на мысленный с идеализированными объектами. Наряду с этим развёртывание Т. предполагает построение новых уровней И слоев содержания Т. на основе конкретизации теоретич. знания о реальном предмете. Это связано с включением в состав Т. новых допущений, с построением более содержательных идеализированных объектов. Напр., Маркс в «Капитале» от рассмотрения товарного производства в абстрактном виде переходит к анализу собственно капиталистич. производства, от рассмотрения производства, абстрагированного от обращения,- к анализу единства производства и обращения. В итоге конкретизация Т. приводит её к развитию в систему взаимосвязанных Т., объединяемых лежащим в их основании идеализированным объектом. Это одно из характерных выражений метода восхождения от абстрактного к конкретному.

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

Определение понятия

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

Теория - это некая система представлений в данной области знания, которая дает целостное представление о существующих закономерностях, связанных с действительностью.

Существует и более сложное определение. Теория - это комплекс идей, замкнутых относительно рационального следования. Именно такое, абстрактное определение термина «теория», дает логика. С позиций этой науки теорией можно назвать любую идею.

Типология научных теорий

Для более точного понимания сути научных теорий следует обратиться к их классификации. Методологи и философы науки различают три основных типа научных теорий. Рассмотрим их по отдельности.

Эмпирические теории

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

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

Математические теории

Математические научные теории составляют второй тип теорий в данной классификации. Их характерной особенностью является использование математического аппарата и математических моделей. В таких теориях создается специальная математическая модель, которая представляет собой некий идеальный объект, способный заменить собой объект реальный. Ярким примером данного типа являются логические физики элементарных частиц, теория управления и множество других. Как правило, они основываются на То есть на выводе основных положений теории из нескольких базовых аксиом. Основополагающие аксиомы обязательно должны отвечать критериям объективности и не противоречить друг другу.

Дедуктивные теоретические системы

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

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

Философия и научная теория: как они соотносятся?

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

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

Теория и эксперимент

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

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

В научном эксперименте принято выделять несколько элементов;

конечная цель проведения эксперимента;
объект, который будет изучаться;
условия, в которых находится данный объект;
средства для поведения эксперимента;
материальное воздействие на изучаемый объект.

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

Цель эксперимента представляет собой обнаружение и осмысление каких-нибудь закономерностей или фактов. Такой вид экспериментов называется поисковым. Результатом данного опыта можно считать расширение данных об исследуемом объекте. Но в большинстве случаев такой эксперимент проводится для подтверждения отдельной гипотезы или основы теории. Такой вид эксперимента называется проверочным. Как известно, довольно четкой линии между этими двумя видами провести нельзя. Один и тот же опыт может быть поставлен в рамках двух видов эксперимента, либо с помощью одного можно узнать данные, которые характерны для другого. Современная наука и основана на этих двух принципах.

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

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

Понятие теории

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

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

В философии (см. ) и методологии науки (см. ) современный смысл термина «теория» как формы организации научного знания сложился достаточно поздно. Первоначальное значение греческого слова «теория» (θεωρία) подразумевало экстатическое, мистическое созерцание, что достаточно прозрачно свидетельствует о генетических связях формировавшегося в античной культуре концептуально-теоретического знания с дотеоретическими архаическими формами сознания. Уже пифагорейцы выдвинули идею об очищении души через чистое познание посредством созерцания. Это чистое созерцательное познание, ставшее идеалом для античной философии, вначале было весьма далеко от рационалистического стиля интеллектуальной традиции Нового времени. Такая страстная, эмоционально напряжённая работа души, проникнутая религиозно-экстатическим пафосом, была для мыслителей типа Пифагора не знанием ради знания, а, прежде всего, способом духовного совершенствования. Возрастание в процессе эволюции античной философии собственно познавательных мотивов, развитие культуры понятийного анализа и дискурса не приводило в античной культуре к логизации и рационализации теоретического сознания в стиле, характерном для Нового времени и последующего развития научного мышления. Античная «теория» всё время сохраняет свой исходный смысл мысленно-интуитивного «всматривания» в космос, восприятия идеальных сущностей «духовными очами». По мнению А. Ф. Лосева, у Платона «… термин «теория» представляет собой такое состояние сознания, которое имеет своим предметом организованную, оформленную действительность и которое аналитически-синтетически конструирует эту действительность на основе непосредственного видения или созерцания. Другими словами, в этом термине выражено типичное для Платона и для всей Античности взаимное слияние непосредственно данной и сознательно-сконструированной предметности»… (Лосев А. Ф. История античной эстетики: Софисты. Сократ. Платон. - М., 1969. С. 462). Вместе с тем, в реальной практике формирующейся в Античности теоретической науки, в частности в «Началах» Евклида, была разработана та форма организации и систематизации научного знания, которая стала на много веков образцом дедуктивно-аксиоматического построения теории.

Теория в науке

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

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

Системная природа научно-теоретического знания проявляется в тех функциях , которые реализует теория в процессе научного познания. Среди основных функций теории выделяют следующие:

Систематизирующая функция теории. Одна из наиболее важных тенденций научного познания - это стремление к достижению такого единства знания, при котором максимальное число фактов можно описать, исходя из минимального числа основных понятий и принципов данной теории. Возможность систематизации знания зависит от уровня развития соответствующей научной дисциплины, который обусловливается степенью её теоретической зрелости. Последняя определяется тем, насколько глубоко теория раскрывает сущность исследуемых явлений, внутренний механизм, который управляет лежащими в их основе процессами. Теоретическая систематизация, устанавливая связи между гипотезами и эмпирическими законами в рамках теории, способствует выявлению и уточнению границ их применимости. Благодаря этому ранее установленные законы обобщаются и модифицируются.
Объяснительная функция теории. Объяснение - это включение знаний об объекте, подлежащем объяснению, в более широкий контекст знания. С точки зрения логики, объяснение - это умозаключение, то есть дедуктивный или недедуктивный метод суждения (фактуального, гипотетического, номологического) из принятых посылок. Эти посылки обозначают термином «эксплананс» (от латинского слова: explanans - объясняющий), а сам вывод - термином «экспланандум» (от латинского слова: explanandum - то, что подлежит объяснению). Всякое объяснение опирается на логический вывод, но не всякий вывод является объяснением. В зависимости от содержания и формы знания, заключающегося в экспланансе и экспланандуме, выделяют гипотетические, номологические и теоретические объяснения. В последнем в качестве эксплананса выступает теория или её концептуальное ядро - большая посылка, вспомогательные гипотезы и данные - меньшая посылка, а в качестве экспланандума - указанные суждения. Теоретические объяснения делят на феноменологические и нефеноменологические. Объяснению объекта, как правило, предшествует его систематическое описание на одном из языков теории. В современной методологии науки используются различные модели объяснения: индуктивно-вероятностная, дедуктивно-номологическая, операциональная и другие.
Прогностическая функция теории. Предсказание на основе законов теории неизвестных ранее фактов, событий, явлений. Прогностическую функцию может выполнять любое знание (обыденное, художественное и другое), в научном познании её выполняют и эмпирические законы, и гипотезы, и философские концепции, однако предсказания этого рода уступают, как правило, теоретическим по степени точности, полноты, однозначности. С точки зрения логики, формальная структура некоторых типов научного предвидения совпадает со структурой объяснения: весьма часто предсказание имеет форму дедуктивного умозаключения, посылками которого выступают законы теории и вспомогательные гипотезы, а выводом - фактуальное или номологическое суждение. Иногда единственную цель теории видят в том, чтобы она служила инструментом для предсказания. Выделяют следующие виды предсказаний: индуктивные, номологические и теоретические. Последние делят на предсказания, осуществляемые с помощью динамических и статистических теорий. Во второй половине XX века сформировалась прогностика - научная дисциплина о закономерностях разработки прогнозов. Одна из актуальных научно-философских проблем прогностики - проблема истинности прогноза.

В методологии науки теории принято различать по характеру решаемых задач, способам своего построения, типам реализуемых процедур. Различают следующие основные типы теорий:

Гипотетико-дедуктивные теории , характеризующиеся иерархической соподчинённостью своих компонентов, которая обеспечивает переход от высказываний к высказываниям без привлечения дополнительной информации, и нацеленностью на процедуры объяснения.
Дескриптивно-прогностические теории , построенные из пропозициональных утверждений примерно одного уровня обобщения (что не требует иерархической соподчинённости), который обеспечивает согласование с эмпирическим (фактуалистическим) уровнем знания и нацеленные на описание (как возможную базу для построения моделей и прогнозов); в этом смысле используют также термин «феноменологические теории».
Индуктивно-дедуктивные теории , занимающие срединное положение между первыми и вторыми.
Формализованные теории логики и математики.

В методологии науки выделяют следующие основные компоненты теории:

Исходный эмпирический базис, который включает множество зафиксированных в изучаемой области знания фактов, достигнутых в ходе наблюдений и экспериментов и требующих теоретического объяснения.
Фундаментальная теоретическая схема, которая включает исходную теоретическую основу - множество первичных допущений, постулатов, аксиом, базисные принципы, универсальные (для данной теории) законы, основные системообразующие категории и понятия, в совокупности описывающие идеализированный объект теории. Вокруг неё формируются дополнительные частные теоретические схемы, входящие в состав теории, и конкретизирующие и проецирующие фундаментальную теоретическую схему на сопредельные предметные области.
Концептуальная (идеализированная) схема описываемой области с указанным множеством основных связей между её элементами (структурно-организационный срез предметного поля), на которую проецируются интерпретации всех утверждений теории.
Логическая схема теории, которая включает множество допустимых внутри теории правил логического вывода, способов доказательства и принципов её оформления.
Языковой тезаурус и его синтаксис как нормы построения правильных языковых выражений в рамках теории и предъявления полученных результатов (логико-математические теории вообще понимаются как совокупность предложений некоторого формализованного языка).
Интерпретационная схема, программирующая возможность перехода от концептуальной (реже - фундаментальной) схемы к уровню фактов и процедур наблюдения и эксперимента (задающую операциональный смысл теории).
Совокупность логически выведенных в теорию из фундаментальной теоретической схемы утверждений с их доказательствами, составляющую основной массив теоретического знания.

Поскольку теоретическое знание обладает дедуктивной структурой, в нём можно выделить некоторые общие понятия , принципы и гипотезы , составляющие теоретический базис и систему вытекающих из этого базиса следствий. Переход от эмпирической стадии науки, которая ограничивается классификацией и обобщением опытных данных, к её теоретической стадии, когда появляются и развиваются теории в собственном смысле, осуществляется через ряд промежуточных форм теоретизации, в рамках которых формируются первичные теоретически различные элементы и их конструкции (например, понятия, типологии, объяснительные схемы). Кроме этой части, теория включает в себя особую идеализированную модель действительности, оперирование которой осуществляется в форме мысленного эксперимента (см. ). Будучи источником возникновения теории, сами эти конструкции, однако, ещё не образуют теории: её возникновение связано с возможностью построения многоуровневых конструкций, которые развиваются, конкретизируются, внутренне дифференцируются в процессе деятельности теоретического мышления, отправляющегося от некоторой совокупности исходных принципов. В этом смысле развитая теория представляет собой не просто сумму связанных между собой знаний, но и содержит определённый механизм построения знания, внутреннего развёртывания теоретического содержания, воплощает некоторую программу исследования; всё это и создаёт целостность теории как единой системы знания. Именно подобная возможность развития аппарата научных абстракций в рамках и на основе теории делает последнюю мощным средством решения фундаментальных задач познания действительности.

Элементами, из которых состоит теория, являются так называемые абстрактные объекты , связи и отношения которых образуют теоретическую модель. Наличие таких объектов, замещающих в познании реальные объекты и явления их свойства и отношения, является характерной особенностью теоретического знания. Теоретический язык описывает отношения абстрактных объектов теоретической модели, которая так или иначе связана с наблюдаемой реальностью. Благодаря этой связи теоретические высказывания обретают объективный смысл. Множество элементов, которые образуют структуру теории, фиксируются в особых языковых средствах: высказывания, описывающие теоретическую схему, выражения, образующие математический аппарат; описания правил связи абстрактных объектов теоретической схемы с реальными объектами опыта и выражения, характеризующие указанные абстрактные объекты в терминах картины мира. Вся эта совокупность высказываний, связанных между собой, образует язык научной теории.

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

Идеализированный объект теории может выступать в разных формах, предполагать или не предполагать математического описания, содержать или не содержать того или иного момента наглядности, но при всех условиях он должен выступать как конструктивное средство развёртывания всей системы теории. Таким образом, идеализированный объект выступает не только как теоретическая схематизированная модель реальности; он вместе с тем неявно содержит в себе определённую программу исследования, которая и реализуется в построении теории. Соотношения элементов идеализированного объекта - как исходные, так и выводные - представляют собой теоретические законы, которые, в отличие от эмпирических законов, формулируются не непосредственно на основе изучения опытных данных, а путём определённых мыслительных действий с идеализированным объектом. Из этого вытекает, в частности, что законы, формулируемые в рамках теории и относящиеся по существу не к эмпирически данной реальности, а к реальности, как она представлена идеализированным объектом, должны быть соответствующим образом конкретизированы при их применении к изучению реальной действительности. Многообразию форм идеализации (и, соответственно, типов идеализированных объектов) соответствует и многообразие видов теории. В теории описательного типа, решающей главным образом задачи описания и упорядочения обычно весьма обширного эмпирического материала, построение идеализированного объекта фактически сводится к вычленению исходной схемы понятий. В современных математизированных теориях идеализированный объект выступает обычно в виде математической модели или совокупности таких моделей. В дедуктивных теоретических системах построение идеализированного объекта по существу совпадает с построением исходного теоретического базиса.

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

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

Теория может развиваться в относительной независимости от эмпирического исследования посредством знаково-символических операций по правилам математических или логических формализмов, посредством введения различных гипотетических допущений или теоретических моделей (особенно математических гипотез и математических моделей), а также путём мысленного эксперимента с идеализированными объектами. Подобная относительная самостоятельность теоретического исследования образует важное преимущество мышления на уровне теории, так как даёт ему богатые эвристические возможности. Но реальное функционирование и развитие теории в науке осуществляется в органическом единстве с эмпирическим исследованием. Теория выступает как реальное знание о мире только тогда, когда она получает эмпирическую интерпретацию. Современная методология науки отвергает упрощённые представления об оправдании теории в духе верификационизма или, напротив, однозначного её опровержения в духе фальсификационизма. Однако она не отбрасывает идею оценки теории по её объяснительно-предсказательным возможностям по отношению к эмпирии. Как подтверждение теории отдельными эмпирическими примерами не может служить безоговорочным свидетельством в её пользу, так и противоречие теории отдельным фактам не есть достаточное основание для отказа от неё. И подобное противоречие служит мощным стимулом совершенствования теории вплоть до пересмотра и уточнения её исходных принципов. Решение же об окончательном отказе от теории обычно связано с общей дискредитацией фактически лежащей в её основе программы исследования и появлением новой программы, выявляющей более широкие объяснительно-предсказательные возможности по отношению к сфере реальности, изучаемой данной теорией.

Актуализация проблематики создания теорий сместила акценты научно-методологической рефлексии с проблем внутренней организации знания на проблемы его взаимодействия с другими знаниевыми системами, с логического и языкового анализа теории на вопросы институциональной организации знания, что было закреплено как переход от «неопозитивистской» к «постпозитивистской» фазе в развитии аналитической философии, сделавшей научное знание основным предметом своих анализов. Тем самым, в фокус внимания общеметодологической рефлексии попадают проблемы, связанные с рассмотрением вопросов идеалов и норм научного познания, научные картины мира, внутри которых формируются конкретные теории или которые формируются (изменяются) под воздействием тех или иных теорий, а также стратегии, применяемые определёнными научными сообществами для закрепления своего доминирующего положения или для достижения такового в той или иной дисциплинарной области. В наиболее широком контексте речь идёт о месте теорий в системе культуры в целом, об их роли в описаниях и самоописаниях последней. В этом русле содержание термина «теория» максимально расширяется вплоть до обсуждения теоретической компоненты и способов её оформления в познавательных практиках того или иного типа культуры. В результате понятие «теория» соподчиняется с понятиями (или даже заменяется ими) исследовательской программы (термин конституирован И. Лакатосом), как презентирующей те или иные исследовательские стратегии, или парадигмы (термин конституирован Т. Куном), как презентирующей те или иные видения исследуемой реальности.

У истоков релятивизации понятия «теория» стоял К. Поппер, у которого начало и завершение определённого этапа изменения знания маркируются проблемами, а само знание трактуется как принципиально гипотетическое. Из постпозитивистских дискурсов берёт начало тенденция оспаривания понимания развития теории как куммуляционного процесса. Представления об усовершенствовании и развёртывании теории в период «нормальной науки» были дополнены представлениями: о «научной революции» и смене конкурирующих парадигм (Т. Кун); о переинтерпретации «защитного пояса» инвариантного ядра исследовательской программы (И. Лакатос); о «методологическом анархизме», то есть о равноправии различных сосуществующих теорий, что только и способно служить гарантом того, что факты будут замечены и должным образом оценены (П. Фейерабенд). В этом же ключе можно понимать и введённое М. Фуко понятие эпистемы , а также анализ «эпистемологических разрывов» Г. Башляром.

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

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

Проблема выбора теории

Термин «выбор теории» (англ.: theory-choice) был введён в философию науки для обозначения познавательных ситуаций, возникающих в периоды смены научных парадигм и характеризующихся конкуренцией между последовательно сменяющими друг друга фундаментальными научными теориями. Проблема выбора теории приобрела актуальность в зарубежной философии науки в 1960-е годы, в разгар дискуссий по поводу теоретической реконструкции процесса роста научного знания. Характер этой реконструкции зависит от того, каким способом разрешается ситуация выбора, на почве каких критериев и оценок происходит отбор одной из конкурирующих теорий.

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

Представители другого направления (И. Лакатос, К. Поппер и другие) утверждали, что парадигмально независимые критерии оценки и отбора теорий существуют. Лакатос полагал, что таким критерием является «прогрессивный сдвиг проблем», суть которого состоит в способности теории (и более широко - «исследовательской программы») делать оправдывающиеся предсказания. Исследовательская программа, которая оказывается способной лишь ассимилировать предсказания, делающиеся на основе соперничающей с ней программы, должна уступить место своей более успешной сопернице. Выдвигались и другие критерии, среди которых: способность теории решать проблемы (Л. Лаудан); увеличивающееся правдоподобие (англ.: verisimilitude) теории (У. Ньютон-Смит); успехи теории в плане её технологических приложений (М. Хессе) и другие.

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

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

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

Конкурируют теории, не эквивалентные в плане согласования с эмпирическими данными. Это самая типичная познавательная проблема, её разрешение происходит на почве взаимоотношения теории и эмпирии. В этом случае предпочтение отдаётся той теории, которая лучше согласуется с эмпирическими данными.
Конкурируют теории, отличающиеся друг от друга только в лингвистическом отношении. Поскольку основным языком науки является математика, различие в лингвистическом отношении - это различие в математических формализмах теорий. Критерием выбора являются соображения удобства оперирования соответствующим математическим аппаратом. Типичным примером является сосуществование волнового (де Бройль, Шрёдингер) и матричного (Гейзенберг, Иордан, Борн) представлений квантовой механики.
Наиболее драматичной является третья ситуация: соперничающие теории эквивалентны в эмпирическом плане, но разнятся между собой в лингвистическом и семантическом отношениях. В зарубежной философии науки причину возникновения такого типа конкуренции усматривают в «недоопределённости» теории эмпирическими данными.

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

Теория в логике

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

Для получения подкласса теорем вместо отношения выводимости часто используется оператор присоединения следствий, определяемый для некоторого счётного множества высказываний A как функция C : σ (A ) → σ (A ) (то есть как отображения множества подмножеств A в себя), которая для каждого подмножества X ⊆ A удовлетворяет следующим условиям:

(C1 ) X ⊆ C (X ) (исходные утверждения являются составной частью теории).
(C2 ) C (C (X ) = C (X ) (операция присоединения следствий позволяет получить все следствия принимаемых допущений без исключения).
(C3 ) если X ⊆ Y , то C (X ) ⊆ C (Y ) (чем больше принимаемых допущений, тем больше следствий мы получаем - свойство монотонности операции присоединения следствий).

Оператор присоединения следствий трансформируется в отношение присоединения следствий (выводимость) ⎕ C σ (A ) ⊆ A между подмножествами A и элементами A , если постулировать, что для каждого подмножества X ⊆ A и для каждого утверждения A из A выполняется следующее условие: x ⎕ C a тогда и только тогда, когда аес (X ) (a выводимо из X тогда и только тогда, когда a принадлежит множеству следствий из X ).

Условия (C1 ) - (C3 ) трансформируются при этом в условия:

(C1’ ) если a ∈ X , то X ⎕ C a (допущения обладают теми же правами, что и выводимые утверждения).
(C2’ ) если Y ⎕ c а для всех a ∈ X , и X ⎕ C b , то Y ⎕ c b (выводимость транзитивна).
(CЗ’ ) если X ⎕ C a и X ⊆ Y , то Y ⎕ c a (увеличение количества допущений не влияет на выводимость - монотонность выводимости).

Теоремы определяются относительно выводимости как утверждения φ , такие, что ∅ ⎕ c φ , а теория будет представлять собой множество утверждений ∑ , замкнутых относительно отношения присоединения следствий ⎕ c , то есть таких, что если ∑ ⎕ c φ , то φ ∈ ∑ . Т∑ аксиоматизируема тогда и только тогда, когда существует рекурсивное множество предложений Δ , такое, что ∑ = C (Δ ), то есть каждое предложение, принадлежащее множеству ∑ , выводимо из Δ . Если Δ конечно, то Т∑ называют конечно-аксиоматизируемой. Подобные теории могут быть заданы списком своих аксиом и по этой причине в литературе понятие теории часто отождествляют с понятием «аксиоматизированная теория». Т∑ непротиворечива, если, и только если, не найдётся такое предложение, чтобы оно само и его отрицание принадлежали ∑ теория полна, если, и только если для каждого предложения (сформулированного на языке теории) или оно само, или его отрицание принадлежит теории.

Элементарной теорией, или теорией первого порядка, в логике называется теория такая, что её языком является язык первого порядка, аксиомами формальной системы являются логические аксиомы и некоторые другие аксиомы, называемые нелогическими аксиомами, призванные описать специфические свойства объектов предметной области. Класс всех элементарных теорий, сформулированных в одном и том же языке, образует своеобразную алгебру относительно операций, сформулированных на основе теоретико-множественных операций. Как показал А. Тарский в 1936 году, класс элементарных теорий, сформулированных на одном и том же языке на базе классической логики, образует относительно этих операций брауэрову алгебру. Я. Челяковский в 1983 году распространил этот результат на случай конечно-аксиоматизируемых теорий на базе широкого класса так называемых финитарно протоалгебраических логик. Класс конечно-аксиоматизируемых теорий на базе классической логики образует булеву алгебру.

При замене выводимости на семантическое понятие логического следования получают иное понятие теории. Для первопорядковых теорий на базе классической логики эти два понятия совпадают, так как в этом случае логическое следование и выводимость совпадают по объёму. Но уже для второпорядковых теорий при такой замене получаются два разных понятия теории, причём теория в семантическом смысле будет теория в синтаксическом смысле, но не наоборот. То же самое относится к некоторым первопорядковым теориям, основанным на неклассической логике.

Понятие «теории в семантическом смысле» выходит на передний план в том случае, когда учитывается, что главной задачей теории является установление закономерностей функционирования объектов предметной области, свойства которых детерминируют семантику используемого языка. В настоящее время в логике существуют два основных направления, в рамках которых систематически используется это понятие теории. Это «подход на базе семантики» (X. Андрека, И. Немети) и теоретико-категорный подход (основанный на теории институций Гогена и Берсталла). Первый поход с самого начала рассматривает теорию как детерминированную определённым классом моделей и интерпретацией на этих моделях. Второй подход рассматривает теорию как определяемую:

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

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

Главная » Артикли » Какие характеристики не соответствуют понятию теории. Что представляет собой теория поглощения света? Научная теория, её сущность, структура и функции