1289-1 (734673), страница 3
Текст из файла (страница 3)
Следующим пунктом единого метода является получение выводов. Однозначности понятий и их референций еще недостаточно для однозначности в целом научных теорий и, следовательно, для существования "договариваемости", общего языка между ученными – представителями различных парадигм. Для этого необходимы также однозначность выводов теории и сохранение однозначности и первоначального смысла понятий по ходу вывода. Последнее отнюдь не является бесплатным приложением к однозначности введения понятий и, как я покажу, гарантируется только применением единого метода обоснования. При нарушении же его требований смысл понятий может изменяться, "плыть" по ходу вывода, что особенно часто наблюдается в гуманитарной сфере. Так легко видеть, что свобода у Маркса при капитализме и социализме это не одно и то же, хотя он и употребляет, ничтоже сумняшеся, одно и то же слово "свобода", ничего при этом не оговаривая. Что касается однозначности выводов, то легко видеть на уровне феномена разницу в этом отношении, скажем, между физикой, являющейся эталоном рациональной науки, и астрологией, претендующей на научность, но наукой не являющейся. Все инженеры, применяя формулы физики к решению конкретной задачи, придут к одному и тому же результату, в то время как прогнозы астрологов по одному и тому же поводу расходятся по всему мыслимому спектру возможностей. Однозначность выводов науки также обеспечивается применением единого метода обоснования.
Получение выводов, согласно единому методу обоснования, должно быть с помощью аксиоматического построения теории, поскольку, как известно, система аксиом определяет однозначно все потенциально возможные выводы из нее, независимо от того, в какой последовательности они делаются. Кроме того, аксиоматическое построение теории обеспечивает и сохранение однозначности понятий по ходу развертывания теории. Это следует из того, что, как известно из аксиоматики, аксиомы можно менять местами с выводами из них. Так, например, пятую аксиому планиметрии Евклида (о параллельных прямых) можно поменять местами с теоремой, гласящей что сумма углов треугольника равна 1800 и все прочие выводы теории останутся без изменений (изменится только процедура выведения их). Аналогично второй закон Ньютона и закон о количестве движения – любой из них можно принимать за постулат, получая другой как вывод при сохранении всего остального здания теории. Если при этом учесть, что аксиомы полностью определяют базовые понятия с их онтосмыслами, то станет ясно, почему аксиоматический метод сохраняет эти онтосмыслы. Этим свойством не обладают ни генетический, ни какие либо другие способы получения выводов.
Тут следует заметить, что, несмотря на очевидные достоинства аксиоматического метода построения теории, на практике он далеко не всегда применяется, тем более в чистом виде. И во-вторых, есть философы, утверждающие принципиальную невозможность аксиоматической перестройки произвольной, достаточно богатой научной теории. Что касается первого, то прежде всего следует заметить, что аксиоматическое построение, как часть метода обоснования, обязательно именно в фазе обоснования теории. Но обоснованию предшествует генезис теории, в котором допустимо и даже полезно много того, что запрещено в обосновании, как то интуиция, фантазия и прочие вещи, которые роднят науку с искусством и другими видами творчества. Обоснование же (единый метод обоснования) это то, что отличает науку от всех прочих видов творчества. Но на практике генезис и обоснование не разделены четко. Кроме того напоминаю, что единый метод обоснования является идеализацией реальной практики обоснования в науке. Строго аксиоматическое построение далеко не всегда осуществляется на практике даже в фазе обоснования, но в таких случаях имеет место неформально аксиоматическое, сиречь, дедуктивное развертывание теории.
Что же касается возражений против принципиальной возможности аксиоматической перестройки произвольной теории, то они либо основаны на не четком различении фаз генезиса и обоснования в науке, либо относятся к формально логическим теориям, которые в отличии от научных в употребляемом здесь смысле (например, естественно-научным) не претендуют на описание какой-либо действительности и выводы которых касаются переменных предикатов, которые могут иметь область определения в действительности, придающую им истинное значение, а могут и не иметь. Т.е. они не являются наукой, претендующей описывать конкретную область действительности. Поэтому на них единый метод не распространяется. Но и рассматриваемая проблематика абсолютности-относительности науки их не касается.
В качестве примера работ, где утверждается невозможность аксиоматической перестройки можно привести книгу В.С. Степина [13]. Он рассматривает конкретные теории, в которых разделение фаз генезиса и обоснования не завершено как доказательство невозможности чисто аксиоматического развертывания теории, например геометрию Евклида. При этом он не учитывает, что Гильберт достроил аксиоматически геометрию Евклида, а все прочие его примеры также из области генезиса (которому и посвящена его книга) и потому аксиоматический и генетический (конструктивный) метод там чередуются вполне законно и не опровергая необходимость чисто аксиоматической развертки теории обоснования.
Не мешает отметить, в чем разница между аксиоматическим и генетическим (он же конструктивный) методами. Базисным элементом аксиоматического метода является понятие. Базисным элементом генетического является описанный Степиным "абстрактный объект". Понятие фиксирует только те свойства объектов, которые определяются аксиомами. По самой сути аксиоматического метода запрещено вводить в рассмотрение свойства изучаемых объектов, не зафиксированные в аксиомах и, следовательно, в понятиях. В то время как суть генетического метода состоит в том, что мы как раз вводим в "мысленном эксперименте" свойства объектов, не зафиксированные в начальном определении абстрактного объекта. Это очень ценное эвристическое средство, ценное в фазе генезиса. Но оно разрушает дедуктивность развертки (что Степин признает) и нарушает однозначность того, о чем мы говорим, и потому должно быть элиминировано в фазе обоснования. В силу имплицитности существования единого метода обоснования в науке это требование иногда нарушается, что ведет рано или поздно к противоречиям и парадоксам. Это я покажу в дальнейшем на примерах.
Введение понятий по правилам единого метода и аксиоматичность (дедуктивность) развертки обеспечивают однозначность теорий и договариваемость, опровергая тем самым утверждения релятивизаторов, базирующиеся на неоднозначности слов языка. Но однозначность выводов отнюдь не означает их истинности, а из однозначности понятий отнюдь не следует их соответствие действительности, привязанность к опыту, отражение подлинной онтологической сущности. Теорию, гласящую, что "море волнуется, потому что Нептун сердится" тоже можно достроить, определив однозначно понятие "Нептун" и указанием причин, вызывающих его гнев, обеспечить однозначность выводов. Какое все это будет иметь отношение к истине и к действительной онтологии, не требует пояснений. Таким образом утверждения онтологического релятивизма остаются пока в силе.
Вопреки онтологическому релятивизму я говорю, что базисные понятия теории и ее аксиомы-постулаты могут быть привязаны к опыту и это является требованием единого метода обоснования. Как и в случае с определением понятий и аксиоматичностью построения в реальной практике науки (в силу имплицитности применения в ней метода) это требование тоже иногда нарушается и тогда в теорию проникают "нептуны" и "флогистоны".
То, что донаучные и доязыковые понятия, образ-эталоны привязаны к опыту следует из описанного выше их возникновения. Они не могли быть выражаемы через другие понятия, т.к. не было языка для выражения. Они не могли быть привязаны ни к какой теории – не было никаких теорий. Они порождались только чувственным восприятием, т.е. чистой воды опытом. Но это не гарантирует такой привязанности на научном этапе, особенно если принять во внимание вышеупомянутые феномены, на которые и ссылаются постпозитивисты. Ниже я приведу ряд примеров из физики, показывающих, что в норме связь понятий (и аксиом) с опытом имеет место, а там, где эта норма нарушается, где наука изменяет своему методу, появляются "удобные конструкты познания", "флогистоны".
Рассмотрим сначала волновую теорию света. Как она возникла исторически? Были опыты с интерференцией и дифракцией. Ограничимся для простоты интерференцией. Можно ли на основании наблюдаемой интерференции в соответствии с единым методом обоснования дать свету определение как волновому явлению? Нет, нельзя. Потому что интерференция показывает только, что свет обладает свойством огибать препятствия. Под волнами же имеется в виду не только свойство огибать препятствия, но и еще куча свойств: периодичность, частота, амплитуда, фаза, способность складываться и в зависимости от перечисленных характеристик либо гасить друг друга, либо увеличивать, либо выдавать разные сложенные картины, т.е. в принципе бесконечное число свойств (хотя и поддающееся упорядочению и сведению к нескольким). То, что свет подобно механическим волнам огибает препятствия, еще не значит, что он обладает всеми прочими волновыми свойствами. В частности он не обязан (пока) обладать периодичностью, синусоидальностью и т.д. Что значит не обязан? Это значит, что свойство периодичности, синусоидальности и т.п. пока что гипотетичны, пока что никак не привязаны к опыту. Т.е. по методу обоснования свет пока еще не волны. Но ведь теория света в период открытия дифракции и интерференции была в фазе генезиса, а не обоснования. В этой фазе оправдано сделать генетическое предположение, что свет – это волны со всеми их свойствами. Такое предположение имеет мощные эвристические возможности т.к. задает направление целой куче новых экспериментов по проверке наличия у света прочих волновых свойств. И они ставятся. И выясняется, что у света есть и длина волн, и частота, и фаза и т.д. Только после всех этих экспериментов можно рассматривать свет как волновое явление и в обосновании, имея в виду конкретный набор волновых свойств, проявленных во всех этих экспериментах. Но и теперь нельзя называть его просто волнами. Ибо мы не можем гарантировать, что тем самым не припишем свету каких-либо свойств, которыми обычные, известные и изученные волны (механические) обладают, а свет не обладает. И действительно, как мы теперь знаем, свет это не просто волны, во всем подобные механическим, это волны, обладающие и волновыми и корпускулярными свойствами. Условно говоря, поток квантов света это, так сказать, дискретные, прерывные волны, в то время как механические волны – это непрерывные волны. Вот этим то свойством волновой непрерывности свет не обладает и оно ни в каких экспериментах себя не проявляло. Но сторонники волновой теории, не будучи знакомы с единым методом обоснования, утверждали, что свет не просто обладает конкретными волновыми свойствами, а что это – волны со всеми свойствами известных тогда механических волн. И именно поэтому им казалось, что противоречие волновой и корпускулярной теорий непреодолимо. А на самом деле и противоречия то не было: если свет обладает волновыми свойствами, но не всеми, в частности не обладает непрерывностью волн (нигде в эксперименте себя не проявившей), то почему бы ему не обладать заодно и корпускулярными свойствами. Прокравшееся в неявном виде в волновую теорию света представления о непрерывности световых волн нарушает единый метод обоснования. Нарушает его тем, что приписывает объектам (явлению), подпадающим под определение понятия "свет", свойства, не привязанные к опыту. И это приводит в дальнейшем к противоречию.
Другой пример – это история определения Ньютоном массы в своей механике. Хотя Ньютону принадлежит исключительная роль в выработке единого метода обоснования на уровне стереотипа или образца, в эксплицитной, проявленной и осознанной форме он этим методом не владел. Поэтому массу он определил, как количество корпускул в теле. Т.е. не через свойства, проявляемые в эксперименте (и не аксиоматически), а по схеме "F есть G". Помимо того, что в этом определении нарушалось требование привязки свойств, лежащих в основе определения понятий, к опыту, оно было избыточным, ибо определение массы, как меры инерции, следует из второго закона Ньютона, что и было замечено Эйлером и с тех пор стало принятым, а корпускулы забыты.
Следующий пример – история с парадоксом Ландау-Пауэрлса и его разрешением Бором и Розенфельдом. Парадокс возник при создании квантово-релятивистской теории электромагнитного поля. Он состоял в том, что уравнения классической теории электромагнитного поля (уравнения Максвелла) относительно Е и Н (электрической и магнитной напряженности) не могли быть отменены и в квантово-релятивистской теории, поскольку они описывали то же самое поле, что и квантово-релятивистская теория, и феномены и свойства его на макроуровне квантово-релятивистской теорией не отменялись. Но в классической теории Е и Н были непрерывными функциями, определенными в каждой точке пространства, что в силу квантуемости этого поля не могло иметь места в квантово-релятивистском описании его. На что и обратили внимание Ландау и Пауэрлс. Бор и Розенфельд разрешили эту проблему, определив переменные Е и Н в уравнениях Максвелла в квантово-релятивистской теории как новые понятия. Конечно, это остались все те же напряженности со всеми их прежними свойствами, кроме одного: теперь они не были непрерывными функциями, определенными в каждой точке пространства, а получали определение только в некоторой окрестности точки. В окрестности, в которой Е и Н обретали смысл как интегральные характеристики микропроцессов распада и образования частиц, и могли быть, в принципе, замеряемы. (Подобно тому, как давление и температура газа являются интегральными характеристиками процесса движения молекул и имеют смысл лишь в объеме окрестности превышающей в какое-то число раз размер молекулы). Таким образом понятия новой теории вновь привязывались к опыту. Спрашивается откуда взялось свойство непрерывности функций Е и Н в классической теории. Легко видеть, что это было нарушением требования единого метода обоснования, поскольку никаких опытов в бесконечно малой окрестности точки мы принципиально не может осуществлять и следовательно никаких свойств с общностями и разностями наблюдать и воспринимать там мы не можем.
![](https://s.studizba.com/z.php?f=/templates/si/i/noavatar.png&w=100&h=100&t=1"){kind=avatar}
