Структура научной теории
Приступая к описанию структуры научной теории, необходимо отметить, что его можно давать как с содержательной, так и с формальной стороны. С содержательной стороны теория состоит из эмпирического базиса, то есть совокупности зафиксированных в данной области знания фактов, установленных в ходе экспериментов и требующих своего теоретического обобщения; логического аппарата теории, то есть множества допустимых в рамках теории правил логического вывода и доказательства, с помощью которых делаются выводы из эмпирических фактов; собственно теории, то есть совокупности выведенных в теории утверждений с их доказательствами.
Однако более интересен анализ теории с формальной точки зрения. В этом случае теория предстает перед нами в виде множества допущений, постулатов, аксиом, общих законов, в совокупности описывающих объект теории. Они часто определяются через термины других теорий, обычного естественного языка, либо вводятся в теорию в виде аксиом - предложений, не требующих доказательств. Из исходных терминов с помощью логических правил вывода можно получить производные термины - они всегда определяются через исходные термины.
Наряду с отмеченными выше во всех теориях есть утверждения и допущения, не доказываемые в рамках самой теории, но играющие такую важную роль, что их пересмотр или удаление влекут за собой отмену всей теории. Это идеалы объяснения, доказательства, организации знания - то, что уходит корнями в культуру своей эпохи, то, что мы называем научной программой. Как эти положения с формальной точки зрения соотносятся с теорией?
Мы выделяем собственные основания теории - это исходные термины и предложения теории, которые логически (с помощью правил и законов логики) обусловливают остальные ее термины и предложения. Собственные основания принадлежат самой теории, находятся внутри нее.
Также есть вспомогательные основания теории - то, что служит для построения, обоснования теории, решения ее прикладных и теоретических проблем. Среди них выделяются несколько групп:
1. Семиотические основания - правила построения языка теории и теории в этом языке. Часть научных теорий использует естественный язык (то есть язык, на котором мы говорим), вводя некоторые ограничения (например, запрещение многозначности терминов). Но многие теории требуют формализованных языков (например, многочисленные языки компьютерного программирования), построенных по специальным правилам, удобным для данной теории.
2. Методологические основания - методы, которыми пользуется данная наука. Они могут привлекаться из других теорий, наук, философии.
3. Логические основания - те правила и законы логики, по которым из исходных терминов и предложений теории получаются производные при сохранении определенного изначального семиотического значения предложений. Это средства логической систематизации теории, приведения ее терминов и предложений в логическую систему. Современные теории используют не только общеизвестную классическую (аристотелевскую) логику, но и многочисленные неклассические логики, многие из которых создаются специально, с учетом запросов конкретной теории.
4. Прототеоретические основания - те теории, которые используются в качестве оснований данной теории. Например, для физики - это математика, для философии естествознания -все частные естественные науки и т.д.
5. Философские основания - категории и принципы философии, используемые для построения, обоснования теории и решения ее проблем. Примерами философских проблем научных теорий являются: отношение теории к действительности, методы и критерии оценки истинности теории, введение и исключение абстракций, анализ содержания и формы теории.
В качестве философских оснований науки использовались различные философские концепции. Философские основания должны быть адекватны данной науке, то есть должны способствовать обновлению, развитию, практическому применению и решению основных проблем данной науки.
Иначе говоря, развитие самой теории небезразлично к философским основаниям этой теории. Например, хорошо известно, что становлению геометрии Лобачевского, то есть становлению новых для своего времени собственных оснований геометрии (новой системы аксиом, допускающей пересечение параллельных прямых), существенно препятствовали метафизические философские основания математики, господствовавшие в науке того времени. Ведь никаких аргументов логического или методологического характера против геометрии Лобачевского не было. Ее противники выдвигали аргументы чисто гносеологического характера, их не устраивал способ решения Лобачевским проблем истинности.
Соотношение философских оснований науки и научной теории является оптимальным, если философские основания работают независимо от специфики этапа развития науки. Другими словами, подлинная адекватность философских оснований достигается при их независимости от конкретных гносеологических предпосылок, принимаемых на данном этапе развития науки.