Методологическая физика. Очиров Д.Д-Э. - 164 стр.

  Возвращаясь к проблеме соотношения селекции и дедукции, можно                           программы и математических аксиом, но с учетом логических требований
заметить, что особенностью процедуры выбора в отличие от процедуры                        к ним: непротиворечивости и др. Здесь надо учесть то обстоятельство, что
вывода является то, что результат выбора имеется в наличии (в “готовом к                  за словом “выделяется” имеется ввиду то, что формула (система формул)
употреблению” виде, безусловно, в случае актуальной селекции, а не                        выбирается из тезауруса готовых формул (систем формул) в качестве
потенциальной, в которой конструктивная и эвристическая функции                           количественной программы теории. Но вместе с тем не следует забывать
селекторов совпадают), тогда как результат вывода создается в процессе                    рассмотренный ранее нами случай, когда готовый тезаурус
вывода. В таком смысле процедура вывода чисто внешне схожа с                              математических структур отсутствует. Тогда, как мы увидели, приходится
потенциальной селекцией, ибо последняя совершает выбор не из                              исследователям изобретать (или модифицировать) математические
действительных, а из возможных умозрительных комбинаций, т.е.                             структуры (и аксиомы) в соответствии с новыми физическими
процедура выбора осуществляется одновременно с конструированием                           закономерностями.
множества вариантов “новых” комбинаций. Таким образом, в ходе                               Можно предположить, что количественная программа физической
потенциальной селекции реализуются лишь те, которые согласуются с                         теории представляет собой аксиоматическую систему, образованную из
мировоззренческими принципами исследователя, оставляя, так сказать, “за                   фундаментального теоретического закона (теоретической схемы, ставшей
бортом” тех возможных умозрительных комбинаций компонент старого                          по существу теоретической гипотезой после того, как её дедуктивно
знания, которые не “созвучны” этим принципам. Следовательно, создается                    “развернули”), воплотившего собой некоторый набор аксиом (физических
иллюзия имплицитного “изобретения” новых вариантов умозрительного                         по своей природе, т.е. содержательных), обладающих логической
знания в процессе потенциальной селекции, придающей внешнюю                               непротиворечивостью,     необходимой      полнотой      и    логической
схожесть с процедурой вывода.                                                             независимостью друг от друга1 (напомним: их невыводимость друг из
  Вслед за В.П. Бранским, под “выводом” мы понимаем операцию, с                           друга     обусловливает    необходимость       выбора     аксиом)      и
помощью которой некоторая формула (или система формул)                                    нефундаментальных теоретических законов (физический аналог
преобразуется в некоторую другую формулу (или систему формул).                            математических теорем), полученных из него дедуктивным путем и
“Выбор же с этой точки зрения есть операция, посредством которой                          объясняющей известный эмпирический закон и предсказывающий новый
определенная формула (система формул) выделяется из множества других                      эмпирический закон. Таким образом, в соответствии с объяснительной и
формул (систем формул)”1. В этой цитате идет речь о выборе                                предсказательной функциями фундаментального теоретического закона (и
количественной программы теории на основании её качественной                              аксиоматического     метода)     гипотетическое      нефундаментальное
                                                                                          теоретическое исследование как бы “раздваивается” на дедуктивные
                                                                                          “ветви” объяснения и предсказания эмпирического знания. Стало быть,
быть интерпретирована в разных вариантах (а не в одном). Синтаксис формального языка, а
математический язык – формальный язык, включает в себя алфавит, правила построения        главной проблемой нефундаментального теоретического исследования в
формул, исходные определения и правила вывода. Алфавит состоит из множества знаков        гипотетическом варианте становится поиск нового нефундаментального
различной природы (например, функциональные, технические (скобки, запятые и т.д.),        теоретического закона посредством так называемого “теоретического
предметные, обозначающие исходные элементы изучаемой предметной области теории:
“масса”, “заряд”, “спин” и др. в ТЭЧ и т.д.). Правила построения формул, определения,
                                                                                          1
аксиомы и правила вывода могут быть выражены в виде различных отношений (или                Очевидно, что тут речь идет о теоретической программе фундаментальной физической
функций), заданных на множестве знаков алфавита. Значит, при задании синтаксиса           теории, образованной из одного или нескольких основополагающих теоретических
указывается его алфавит и совокупность отношений. Отсюда следует, что в сравниваемых      принципов, выбранных на основании философских принципов, но с учетом указанных здесь
теориях первое, что необходимо сделать – это выяснить их алфавиты и совокупности          логических требований (логических принципов). В некотором смысле ньютонов “метод
отношений, т.е. их синтаксисы. В аксиоматизированных теориях это легче всего сделать.     принципов” (С.И. Вавилов) является физическим аналогом аксиоматики евклидовских
1
  Бранский В.П. Эвристическая роль философских принципов в формировании физической        “Начал”. Однако при этом не следует отождествлять, как поступают многие исследователи
теории // Эвристическая и прогностическая функции философии в формировании научной        (М.
теории / Под ред. проф. В.В. Ильина. – Л.: Изд-во ЛГУ, 1976. С. 7. Термин “вывод”. В.П.   Э. Омельяновский и др.) программный принцип (и принципы) с фундаментальным
Бранским употребляется в смысле классической символической логики. Вообще говоря, само    теоретическим законом и его уравнением. Об этом см. подробнее: Омельяновский М.Э.
понятие логики (и логического) в данной работе употребляется для обозначения общей        Аксиоматика и поиск основополагающих принципов и понятий в физике // Его же. Развитие
теории вывода. В этом контексте, говоря о соотношении логики и методологии можно          оснований физики XX века и диалектика. – М.: Наука, 1984. С. 283-311. Как мы знаем, такое
сказать, что логика является частью методологии. Поэтому всякая логическая операция       отождествление ведет к замещению селекции дедукцией при получении фундаментального
является методологической, но не всякая методологическая операция является логической.    теоретического закона.

                                         327                                                                                        328