Метод построения теорий в любом из языков:

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

2. Выбрать подмножество предложений данного языка.

3. Обосновать, что оно является правильным (или непротиворечивым) подмножеством языка.

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

Для содержательных теорий признак правильности подмножества (или непротиворечивости) уже не достаточен, хотя и необходим. Стало быть, нужно более узкое определение термина "содержательная теория". Для гносеологической содержательной теории определение должно быть еще более узким. А для конкретных гносеологических теорий совсем узким, зависящим от специфики идеализаций, принимаемых данной теорией.

Содержательная теория – это семантически непротиворечивое (не содержащее истинные предложения и ложные совместно) подмножество множества предложений содержательного языка.

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

Однако согласно определению теорией может быть и подмножество предложений, имеющих оценку "ложно", но уже без истинных предложений. В обычных науках такого не бывает. Но такие теории, состоящие только из ложных предложений, действительно строятся и даже имеют немаловажное значение в решении определенных задач. Например, Я. Лукашевич такие теории использовал для решения метатеоретических проблем. Если язык имеет предложения с тремя истинностными оценками, то могут быть теории с одной и двумя оценками своих предложений, и т.д. Это дает метод построения любых содержательных теорий в содержательном языке (не обязательно гносеологических, к которым мы привыкли в школе или в вузе):

1. Уточнить истинностные оценки предложений содержательного языка.

2. Выделить во множестве этих оценок правильное подмножество истинностных оценок (они называются выделенными значениями).

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

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

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

По мнению М. Клайна⁵¹небесные механики Птолемея, Коперника и Кеплера не превосходят друг друга в эмпирической интерпретации. Но теория Кеплера дает более простой и более точный метод решения практических астрономических задач и по этой причине вытеснила теории Птолемея и Коперника. Что касается квантовой механики, то ее понятия не имеют аналогов в эмпирической действительности, хотя теория способна решать научно-практические задачи огромной важности. Подобных примеров достаточно много. Все они говорят в пользу того, что основной критерий принятия теории является критерий практики, т.е. способность теории решать научно-практические задачи. Последнее является, как мы говорили в главе III, и критерием истинности теории как ее способности адекватно отображать объективную действительность.

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

Теории

В искусственных языках

В естественных языках (содержательные)

Неспецифи-рованные

Неформаль

ные

Формаль-ные

Специфи-рованные

Чисто формальные

Формально-содержатель-ные

Гносеологи-ческие

Негносеоло-ческие

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

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

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

1. Метод разрешающей процедуры.

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

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

2. Метод перечисляющей процедуры.

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

К такому методу относится дедуктивно-аксиоматический метод, который состоит в следующем:

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

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

3. Путем вывода из исходных предложений производных строится вся теория. Тут правила дедуктивного вывода как бы перечисляют предложения теории. Поэтому и метод построения называется перечисляющей процедурой.

Для формальных теорий аксиоматический метод построения теорий является формально-аксиоматическим. В этом случае формальная логика позволяет действительно получать неограниченную последовательность предложений теории. Однако получение производных предложений теории из ее исходных предложений только по правилам формальной логики возможно в достаточной мере лишь для логики и математики и некоторых фрагментов других наук.

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

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

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

1. Строится формальный язык.

2. В этом языке задаются правила принятия предложений теории (методом разрешения или перечисления).

3. Если стоит задача построения не просто чисто формальной, а формально-содержательной теории, то задаются семантические правила интерпретации. В зависимости от специфики объектов области интерпретации она может быть гносеологической или негносеологической.

Метод построения специфицированных теорий следует из их определения: строится специфицированный язык, а затем каким-либо из методов принятия предложений теории строится сама теория. Например, методология строится так:

1. Берется естественный разговорный язык.

2.Вводятся специфицированные термины, перечисленные в терминологическом указателе данной работы. На этой основе создается специфицированный язык методологии.

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

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

1.Требование эффективности. Это требование диктуется тем, что определение понятия должно позволять достаточно четко распознавать определяемый объект. Иначе будет неясно, что и о чем утверждается, но в таком случае достаточно определенно установить истинность утверждений, в том числе и принципов, будет невозможно. Построенная на неэффективных понятиях теория будет очень неточной (неопределенной). Чтобы принципы были эффективными, необходимы эффективные понятия для их формулировки.

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

3. Предполагается выполнение требований к введению понятий,

изложенных в главе 1.