2. Типы теорий
2. Типы теорий
К настоящему времени сложилось и функционирует великое множество всевозможных теорий. Как же классифицировать их, какие можно выделить среди них основные типы?
Конечно, теории различаются прежде всего своими объектами. Так, в зависимости от объекта — природы или общества — они подразделяются на естественнонаучные и социальные. В свою очередь, естественнонаучные — на астрономические, физические и т. д., а социальные — на экономические, политические, юридические и др.
Теории отличаются между собой и по степени общности. Могут быть более общие и менее общие теории. Например, философия — наиболее общая теория мира в целом, по отношению к которой менее общими выступают философия природы, социальная философия и теория познания. А в их рамках — еще менее общие: например, в социальной философии — теория культуры, философия политики, права, морали, искусства, религии.
Логика отвлекается от подобных «содержательных» классификаций, свойственных теории и истории науки. Главное для нее — это формальный, структурный подход. Вспомним, что с точки зрения логики наиболее глубокая сущность теории заключена в отношении логического следования между ее основными компонентами — исходным и производным знанием. Поэтому в зависимости от характера логического следования все теории можно разделить на две самые обширные группы — дедуктивные и недедуктивные (основанные главным образом на индукции и аналогии).
В дедуктивных теориях из исходного знания выводится производное по правилам дедукции. Интересно отметить, что исторически первая подобная теория зародилась в недрах самой логики. Это силлогистическое учение Аристотеля. На его основе позднее была блестяще разработана первая частная строго дедуктивная теория — геометрия Евклида з его «Началах». А она, в свою очередь, стала образцом для создания в будущем все новых дедуктивных теорий. Ей охотно следовал И. Ньютон. Видимо, не случайно он назвал свою работу по механике тоже «началами» («Математические начала натуральной философии»). В ней он изложил — тоже дедуктивно построенную — механику, получившую наименование «классической» и сохранившую свое значение по сей день.
В настоящее время к числу дедуктивно построенных наук относятся математика, некоторые разделы физики и биологии, отдельные экономические и другие теории. В них, наряду с естественным языком, более или менее широко используются искусственные языки, осуществляется символизация и формализация. Но таких теорий все же меньшинство.
Недедуктивные теории — это широкий спектр всех остальных, основанных на Описании и обобщении данных наблюдений, экспериментов, статистики и т. д. Здесь исходное знание превращается в производное прежде всего с помощью индукции и аналогии. Преобладающий язык — естественный с использованием некоторых элементов языка искусственного. В целом к недедуктивным относится громадное большинство естественнонаучных и социальных (гуманитарных) теорий.
Разумеется, подобное деление теорий на типы довольно условно, относительно. В действительности, не существует «чистых» дедуктивных теорий и столь же «чистых» — недедуктивных. Между ними нет непроходимой грани. В дедуктивных теориях исходное знание тоже так или иначе основано на опыте. Так, в геометрии Евклида, как уже подчеркивалось, исходные понятия — «точка», «линия», «плоскость» — образованы в конечном счете эмпирическим путем. Они — результат миллиардных наблюдений над телами и их отношениями, обобщение житейского опыта. Аксиомы евклидовой геометрии, включая аксиому о двух параллельных прямых, — тоже взяты из повседневного опыта. Именно в этом смысле мы говорим, что они самоочевидны или интуитивны и не требуют доказательств (в рамках данной теории).
Неевклидова геометрия, созданная Н. Лобачевским, Я. Больян и др. имеет также свою эмпирическую основу. В ней так или иначе отражены иные, нежели в евклидовой, пространственные формы и отношения объективной реальности. Даже весьма абстрактная теория относительности А. Эйнштейна имеет свою, хотя и сравнительно узкую, эмпирическую базу.
Наконец, самые строгие дедуктивные теории в современной символической логике не только невозможны без известной эмпирической базы, но и предполагают так называемую «интерпретацию», т. е. приложимость к тому или иному фрагменту действительности.
Дедукция играет хотя и доминирующую, но не единственную роль в математических доказательствах. Здесь используется, например, и математическая индукция. Мы уже не говорим о том, что понятия «числа», «величины» и т. д. сами в свое время были в конечном счете взяты из повседневного опыта, практики.
В целом развитие дедуктивных теорий идет по линии исключения из них всего интуитивно установленного, предполагаемого, обыденного.
Со своей стороны, в недедуктивных теориях, помимо индукции и аналогии, все более широко используются те или иные виды дедуктивных умозаключений и доказательств. Можно смело сказать, что по существу ни одна из них не может обойтись без дедукции. Поэтому правильнее было бы говорить о «преимущественно» дедуктивных и «преимущественно» недедуктивных теориях.
В свою очередь, сами они имеют те или иные виды и разновидности.
Так, дедуктивные теории делятся по способу построения на аксиоматические и неаксиоматические.
Первые, т. е. аксиоматические, называются так потому, что они строятся исключительно на основе аксиом. При этом всякие гипотезы об их природе и т. д. исключаются. Новое знание выводится из этих аксиом благодаря специально сформулированным правилам дедукции. Так, упоминавшаяся не раз дедуктивная геометрическая теория Евклида носила в то же время аксиоматический характер. И. Ньютон аксиоматизировал не только классическую механику, но и геометрическую оптику. Б. Рассел и А. Уайтхед разработали наиболее полный вариант дедуктивно-аксиоматического построения классической логики.
Вот почему к аксиомам предъявляются особенно строгие требования — непротиворечивости, независимости и полноты.
Под непротиворечивостью аксиом имеется в виду не только их взаимная согласованность между собой, но и невозможность логического следования из них одновременно и утверждений и отрицаний об одном и том же.
Независимость аксиом означает невозможность выведения их одной из другой.
А полнота аксиом предполагает, что из них могут быть выведены все без исключения положения, имеющиеся в данной теории.
Вторые, т. е. неаксиоматические дедуктивные теории отличаются тем, что, помимо аксиом, в них более или менее широко используются предположения (гипотезы), возникающие, конечно, тоже не на пустом месте, а на основе предшествующих знаний. Поэтому, выступая в качестве исходного знания, такие гипотезы, в свою очередь, сами получают обоснование и подтверждение (или опровержение) благодаря производному от них знанию. Вот почему некоторые из подобных теорий, в отличие от аксиоматико-дедуктивных, получили наименование «гипотетико-дедуктивных».
Кроме того, они характеризуются тем, что правила получения в них новых знаний из исходных, хотя и используются, но лишь интуитивно, и специально, явно не формулируются. Следовательно, они служат для теории по существу чем-то привходящим, до известной степени внешним. Таких дедуктивных теорий гораздо больше, чем аксиоматических.
Правда, и число аксиоматических теорий в процессе развития наук растет: неаксиоматические превращаются в аксиоматические. Об этом, в частности, ярко свидетельствует история математики. Будучи долгое время дедуктивной неаксиоматической теорией, она со второй половины XIX века стала превращаться в аксиоматическую.
Есть свои виды и разновидности и в недедуктивных теориях. Одни из них носят описательный характер. Отсюда их название — «феноменологические» (от греч. phenomenon — явление). Таковы, например, ботаника, зоология, анатомия человека и т. п.
Другие носят сущностный характер, и поэтому называются «эссенциальными» (от лат. essencia — сущность). Они основаны на широком использовании индуктивных умозаключений. Это, например, теории Ч. Дарвина и И. Павлова, современные частные социологические теории. Некоторые из таких теорий более или менее широко используют традукцию (аналогию): сравнительное языкознание, сравнительное правоведение и др.
В процессе своего развития феноменологические теории могут превращаться в сущностные, а сущностные переходить на все более глубокие уровни познания.
Иногда различают еще закрытые и открытые теории (относительно дедуктивной выводимости своих положений) и т. д.
Как и всякая научная классификация вообще, классификация теорий позволяет упорядочить огромный материал, связанный с существованием и функционированием конкретных теорий, глубже понять их сущность и специфику, тенденции развития и современное состояние, а также их перспективы.