1 2. Логические свойства и возможности теории

Понятме теормм

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

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

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

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

Строенме теормм

В строении теории, взятой в ее логическом виде, 242 можно выделить следующие основные компоненты:

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

2) исходную теоретическую основу теории (множе­ство допущений, постулатов, аксиом, общих зако­нов);

3) логику теории (множество правил логического вы­вода и доказательства);

4) совокупность выведенных в теории следствий, тео­рем, утверждений с их доказательствами.

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

Проблема истинности в теории

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

Типы теорий

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

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

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

Вмды дедуктмвных теормй

В современной науке наиболее часто пименимы несколько видов дедуктивных теорий.

1) . Аксиоматические, когда ряд предложений теории

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

2) . Конструктивные, когда принимаемые без доказа­

тельства утверждения сводятся к минимуму и все объекты и утверждения теории вводят лишь конст­руированием на основе имеющихся средств.

3) . Гипотетико-дедуктивные, которые удовлетворяют

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

Принципиальные трудности с созданием этих тео­рий определяются границами возможной формализа­ции предмета теории.

Закрытые м открытые теормм

Закрытые теории формулируются таким образом, что имеется ограниченное число исходных утверж­дений, и все остальные утверждения могут быть по­лучены из исходных с помощью некоторых правил вывода. Для достаточно богатых теорий нельзя пост­роить полностью формализованной аксиоматической системы.

В открытых теориях не налагаются никакие огра­ничения на число исходных высказываний. По дос­тижении некоторой степени развития они могут быть переформулированы в закрытые теории.