Законы науки (стр. 10 из 12)

Меньшая посылка:

C₁,C₂,...C_k-1,C_k

экспланандумЕ

СимволамиL₁, L₂,...L_k-1,L_k здесь обозначены универсальные законы динамического типа, или номические структуры вообще. C₁,C₂,...C_k-1,C_p представляют конкретные характеристики или условия, которые описывают некоторые специфические особенности рассматриваемых явлений. В математическом естествознании, в частности в математической физике, эти характеристики принято называть начальными условиями. Без них, вообще говоря, невозможен логический вывод утверждений, характеризующих отдельные, конкретные события, явления и предметы. Такого рода объяснения часто называют фактуальными, поскольку в этом случае цель объяснения сводится к объяснению некоторого факта. С логической точки зрения фактуальное объяснение сводится к дедукции экспланандума из соответствующего эксплананса, хотя объяснение в конечном итоге относится к некоторым реальным событиям, явлениям или предметам. В экспланандуме фактуального объяснения как раз и отображаются определенные свойства, аспекты или отношения индивидуальных предметов, событий и явлений. Правда, в некоторых случаях приходится встречаться и с известным обобщением или группировкой фактов, но все такие операции обычно не выходят за рамки эмпирического исследования.

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

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

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

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

PV=RT,

мы можем вывести из него эмпирически установленные Законы Бойля - Мариотта (P×V = const.) и Шарля - Гей-Люссака [v_t= v₀(1 + at⁰)]. В первом случае для этого достаточно принять температуру постоянной, а во втором - считать постоянным давление. По-видимому, в ряде случаев можно также говорить о дедукции менее общих теоретических законов из более общих.

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

8.2 Индуктивная модель объяснения

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

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

Общая схема индуктивно-статистического объяснения может быть представлена в следующем виде:

эксплананс (посылки делают

вероятным заключение)

экспланандум вероятно А

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

P_инд.(А/В_i)=k.

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