Добавил:
ivanov666
Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз:
Предмет:
Файл:Рацио культуры и культура рацио памяти Владимира Никифоровича Брюшинкина. Коллективная монография
.pdf
5.3. ФИЛОСОФСКИЕ ИМЕТОДОЛОГИЧЕСКИЕ ПРОБЛЕМЫ...
модели развития науки, предложенной Б.С. Грязновым* вего
небольшой работе «О взаимоотношении проблем итеорий»**.
Как указывают сами авторы: «Эта модель оказывается достаточно универсальной, чтобы быть применимой креконструкции
происхождения иразвития как естественнонаучных, так илогико-математических теорий»
***
. Однако: «Задача осложняется
тем, что сам Б.С. Грязнов дал только общую идею этой модели
и напримерах показал ее применимость для рациональной
реконструкции истории науки»
****
. Поэтому: «Применение этой
модели кисторико-логическому материалу требует определенной
доработки самой модели»
*****
.
В чем состоит суть концепции Грязнова? Во-первых, он
проводит четкое различие терминов «проблема» и«задача»:
«Проблема изадача отличаются друг от друга не содержанием
вопросов, ахарактером решений (ответов): решением проблемы будет теория вцелом; решением задачи—некоторая часть
теории»
******
. Во-вторых, вводится понятие поризма. Поризм—это
определенное промежуточное следствие, полученное врезультате
решения задачи, ипредставляющее собой некоторый неожиданный
*
См.: Там же.С. 111–118.
**
См.: Брюшинкин В. Н. О возникновении теорий влогике: теория поиска
вывода как поризм//Современная логика: Проблемы теории, истории
иприменения внауке: Сб. науч. трудов/Под. ред.А.Я.Слинина.—Л.:
Изд-во ЛГУ, 1990; Брюшинкин В. Н., Ходикова Н. А. Рациональная ре-
конструкция происхождения теории поиска вывода изгильбертовской
теории доказательств//Модели рассуждений-1: Логика иаргументация:
Сб. науч. ст./Под общ. ред. В. Н. Брюшинкина.—Калининград: Изд-во
РГУ им. И. Канта, 2007. С.205–21; Ходикова Н. А. Логико-методологическое исследование происхождения теории поиска вывода. Диссертация
насоиск. …канд. филос. н.—Калининград, 2004.
***
Брюшинкин В. Н., Ходикова Н. А. Рациональная реконструкция происхождения теории поиска вывода изгильбертовской теории доказательств//Модели рассуждений-1: Логика иаргументация: Сб. науч.
ст./Под общ. ред. В. Н. Брюшинкина.—Калининград: Изд-во РГУ
им.И.Канта, 2007. С.205–218.
****
Там же.С. 205–206.
*****
Там же.С. 205.
******
Грязнов Б. С. Развитие науки иее история//Логика, рациональность,
творчество. Изд. 2-е.—М.: Едиториал УРСС, 2002. С.114.
281

ГЛАВА 5. ПРОБЛЕМЫ ИСТОРИИ И МЕТОДОЛОГИИ НАУКИ
инепредвиденный результат теории. Эта непредвиденность состоит втом, что его интерпретация не может быть согласована
сдругими уже признанными результатами данной теории, итогда
он может стать отправной точкой для построения новой теории.
Таким образом, научная проблема появляется только после формулировки этой новой теории, поскольку «проблема уже содержит
всебе исвое решение, так как оно существует втеории до существования проблемы»*. Отсюда вытекает важный вывод отом, что
историю науки невозможно рационально реконструировать как
историю проблем, так как она не относится ксамой науке, аесть
«способ понимания теории»**. Следовательно, история науки
представляет собой историю теорий, где одна теория логически
следует издругой, взначительно большей степени, чем историю
идей иработ отдельных ученых, излагаемых вхронологическом
порядке. Поэтому история науки должна включать всебя, прежде
всего, исследования порациональной реконструкции возникновения новых теорий
***
.
Следующий вывод состоит втом, что рациональное воспроизведение истории науки может быть только врамках ин-
терналистской концепции ее развития, которая предполагает,
что все изменения внауке происходят врезультате внутренних
процессов, происходящих всамом научном знании. Главными
критериями этой концепции, поГрязнову, «являются гомогенность
(однородность) изамкнутость системы знания относительно
некоторого мира объектов»
****
. А это, всвою очередь ставит вопрос одостаточности использования поризматической модели
висторико-логических исследованиях: «Проблема поризматической модели заключается втом, что при таком подходе новая
теория вопределенном смысле становится логическим следствием
*
Там же.С. 114.
**
Там же.С. 118.
***
Отметим, что для работ поистории логики, как классических, так
иновых, как отечественных, так изарубежных, до сих пор характерно
практически полное отсутствие исследований поистории логических
теорий, вотличие от тех методологических концепций истории науки,
которые были выработаны вХХ веке.
****
Там же.С. 104.
282

5.3. ФИЛОСОФСКИЕ ИМЕТОДОЛОГИЧЕСКИЕ ПРОБЛЕМЫ...
предшествующей теории»*. Далее авторы отмечают: «Вместе
стем общепризнанно, что новая теория предполагает возникновение нового языка, включающего термины иих отношения,
отсутствующие впредшествующей теории, инового объектного
мира теории»**. Проанализировав пример появления теории
комплексных чисел ипостроив реконструкцию возникновения
теории поиска вывода изгильбертовской теории доказательств,
они приходят квыводу, что возникновение новой теории влогико-математических науках существенно отличается от того же
процесса вэмпирических науках: «Главное различие состоит втом,
что логико-математические науки, вотличие от эмпирических, не
предполагают эмпирической проверки теорий исвязанной сней
эмпирической интерпретации… наместо такой эмпирической
интерпретации влогико-математических науках заступает интерпретация изновой области задач или объектов»
***
. Как видно,
при апробации В.Н.Брюшинкиным иХодиковой поризматического подхода специфика предмета выводит напервый план
знания ороли изадачах логики или математики, представления
обобласти их определения. Но это иесть те вопросы, которые,
помоему мнению, являются основными для выявления параметров образа логики.
Итак, параметры образа логики оказываются той матрицей,
наоснове которой осуществляется интерпретация логических
теорий, адля описания иобъяснения их преобразования определенной теоретической базой служит понятие поризма, которое иприводит ксозданию новой теории. Однако, поГрязнову,
некоторые параметры образа логики, такие как роль логики
вкультуре инауке, связь логики имышления, философские
основания логики ит.д., относятся кэкстерналистской концепции науки. А она, поего мнению, не может является основой
*
Брюшинкин В. Н., Ходикова Н. А. Рациональная реконструкция
происхождения теории поиска вывода изгильбертовской теории
доказательств//Модели рассуждений-1: Логика иаргументация: Сб.
науч. ст./Под общ. ред.В.Н.Брюшинкина. Калининград: Изд-во РГУ
им.И.Канта, 2007.С.205–218.
**
Там же. С. 206.
***
Там же.С. 207.
283

ГЛАВА 5. ПРОБЛЕМЫ ИСТОРИИ И МЕТОДОЛОГИИ НАУКИ
создания методологической модели развития науки, поскольку
имеет другой объект изучения. А именно—«изучение науки как
социального института всистеме социальной действительности»*.
Но дело втом, что интерпретация логических теорий, всилу
упомянутой выше специфики,—это практически всегда философская интерпретация. А «задачей философии оказывается
обоснование решения проблем»**, втом числе исоциальнофилософское, икультурно-философское обоснование. А это
означает, что объект историко-логического исследования
отличается от объекта историко-научного исследования. Для
него наиболее подходящим как раз иявляется синтетический
подход вметодологии истории логики, которому ипосвящен
данный параграф монографии.
И взаключении следует сделать ремарку опроблеме рациональности, поскольку все вышесказанное имеет кней непосредственное отношение. В работе «Проблема рациональности»
В.А. Смирнов пишет отом, что изклассического понимания
рациональности «естественно следует дуализм впонимании
природы ичеловека, сферы духа, сферы культуры»
***
, что приводит кпроблеме монизма идуализма, т.е. квопросу: «Единый
характер носят науки оприроде ичеловеке или они впринципе
различны?»
****
. Далее он отмечает: «Сейчас очень остро стоит
проблема новой формы рациональности», иутверждает, что
«имеются новые факты, которые заставляют нас вновь вернуться
кпроблеме монизма»
*****
. Действительно, вфилософских работах,
посвященных проблеме рациональности, существует многообразие противоборствующих концепций рациональности, асамо
понятие рациональности размывается ирелятивизируется.
Однако, как мне представляется, эта проблема если не надумана,
*
Грязнов Б. С. Развитие науки иее история//Логика, рациональность,
творчество. Изд. 2-е.—М.: Едиториал УРСС, 2002. С.104.
**
Там же. С. 102.
***
Смирнов В. А. Проблема рациональности//Логико-философские труды В.А.Смирнова/Ред. В.И.Шалака.— М.: Эдиториал УРСС, 2001.
С.279–282.
****
Там же.С. 280.
*****
Там же.С. 281.
284

5.4. ПОРИЗМАТИЧЕСКАЯ МОДЕЛЬ ПРОИСХОЖДЕНИЯ НАУЧНЫХ ТЕОРИЙ
то преувеличена. И не столько потому, что «логические исследования во многом сейчас ориентированы научет роли субъекта,
от чего они ранее абстрагировались»
*
. Представляется справедливым, что воснове любого типа рациональности лежит та или
иная логика, поэтому одним изосновных объектов исследования
рациональности должна быть история логики. Таким образом,
обращение кпроблеме рациональности, рассмотрение ее типов
ихарактеристик наоснове синтетического подхода вметодологии
истории логики может дать импульс ксозданию ее теоретической
концепции, если это, конечно, возможно.
А. Г. Пушкарский
5.4. Поризматическая модель происхождения научных
теорий: идея, реализация, перспективы
**
Как отмечал В.Н.Брюшинкин впредисловии кмонографии «Теория поиска вывода. Происхождение ифилософские
приложения»
***
, интерес кпроблематике рациональной реконструкции возникновения научных теорий возник унего
еще вконце 1980-х гг. Одной изважнейших причин этого
интереса стало то яркое впечатление, которое произвели
наВ. Н. Брюшинкина лекции пометодологии науки Бориса
Семеновича Грязнова, прочитанные им для студентов фило
софского факультета МГУ в1976 г. «Хорошо помню глубокое
впечатление, которое произвела нанас лекция “про поризмы”,
содержащая уже готовую концепцию… Нервом этой концепции
была идея рационального объяснения смены теорий вматематике
*
Там же.С. 28.
**
Данный материал представляет собой обновленную версию статьи,
опубликованной ранее: ХодиковаН.А. Логика развития науки напри-
мере возникновения операционного исчисления//Философия науки.
2020. №3(86). С.86–94.
***
Брюшинкин В. Н., Ходикова Н. А. Теория поиска вывода. Происхождение
ифилософские приложения: монография.—Калининград: Издательство
БФУ им.И.Канта, 2012.С.5.
-
285

ГЛАВА 5. ПРОБЛЕМЫ ИСТОРИИ И МЕТОДОЛОГИИ НАУКИ
ифизике наоснове понятия поризма (неожиданного следствия),
введенного еще древнегреческими математиками. Впамяти
сохранилось впечатление элегантности этой конструкции,
мастерски представленной влекции Бориса Семеновича»*.
Вдохновившись методологической красотой поризматической
концепции, В. Н. Брюшинкин выдвинул идею отом, что врамках
этой концепции можно провести рациональную реконструкцию возникновения одной изсравнительно молодых ибурно
развивающихся логических теорий—теории поиска вывода**.
Теория поиска вывода интересовала В. НБрюшинкина прежде
всего сточки зрения ее философских приложений, вчастности,
применимости канализу возможностей логического моделирования процессов мышления и кразработке концепции метапсихологизма
***
. Он также обратил внимание наорганическую
связь между теорией поиска вывода ипредшествовавшей ей
(как хронологически, так иидейно) гильбертовской теорией
доказательств, увидел возможность реконструировать возникновение теории поиска вывода изтеории доказательств наоснове методологии поризматической концепции Б.С. Грязнова.
Результатом развития этой идеи стало диссертационное исследование «Логико-методологическое исследование происхождения теории поиска вывода», проведенное одним изавторов
этой статьи под руководством профессора В. Н.Брюшинкина,
атакже их совместная монография «Теория поиска вывода.
Происхождение ифилософские приложения».
Рассмотрим основные положения поризматической модели,
которую Б.С. Грязнов разработал наосновании критического
анализа постпозитивистских методологических концепций
иисторико-научного материала. Ключевым понятием этой
модели является понятие «поризма». Б.С. Грязнов показал,
*
Там же. С. 6.
**
Брюшинкин В. Н. О возникновении теорий влогике: теория поиска
вывода как поризм//Современная логика: Проблемы теории, истории
иприменения внауке: сб. науч. тр./Под ред.А.Я.Слинина.— Л.: Издво Ленинградского ун-та, 1990. С.17–18.
***
Брюшинкин В.Н. Логика, мышление, информация. —Л.: Изд-во Ленинградского ун-та, 1988. С.130–144.
286

5.4. ПОРИЗМАТИЧЕСКАЯ МОДЕЛЬ ПРОИСХОЖДЕНИЯ НАУЧНЫХ ТЕОРИЙ
что, когда врамках имеющейся теории решаются некоторые
задачи, могут возникать непредвиденные результаты, следствия,
которые он назвал «поризмами». «В античной науке поризмом
называли утверждение, которое получалось впроцессе доказательства теоремы или решения задачи, но получалось как
непредвиденное следствие, как промежуточный результат»
*
Такие поризмы при выполнении определенных условий могут
становиться ядром новой теории. Таким образом, истолкование
ядра новой теории как логического, но, тем не менее, неожиданного, непредвиденного, следствия предыдущей теории,
открывает путь кпостроению рациональной реконструкции
происхождения новой научной теории. Для выявления механизма возникновения новых теорий всвете поризматической
модели необходимо выделить как самостоятельные сложные
системы язык науки исферу его интерпретации. Тогда развитие
научного знания является результатом установления отношения согласования (чаще всего между новыми синтаксическими образованиями исферой интерпретации), апричиной
этого процесса—постоянно возникающее иразрешающееся
рассогласование.
В качестве вывода изизложенных выше идей Б.С. Грязнова
В.Н.Брюшинкиным иН.А.Ходиковой была предложена общая
схема возникновения новой научной теории (Рис. 1)**:
Отметим, что при анализе этой схемы иконкретных примеров
изистории науки уВ.Н.Брюшинкина возникло предположение
отом, что для возникновения новой теории появления неожиданного решения частной задачи врамках существующей теории
недостаточно. Поризм может превратиться вновую теорию лишь
путем придания ему новой интерпретации. «Будучи интерпретирован нановой области объектов, поризм становится новой теорией
Т*. При этом некоторый изоморфный образ теории Т при новой
.
*
Грязнов Б. С. О взаимоотношении проблем итеорий/Логика. Рациональность. Творчество. М.: Наука, 198. С.114.
**
Брюшинкин В. Н., Ходикова Н. А. Теория поиска вывода. Происхождение
ифилософские приложения: монография. Калининград: Издательство
БФУ им.И.Канта, 2012. С.27–28.
287

ГЛАВА 5. ПРОБЛЕМЫ ИСТОРИИ И МЕТОДОЛОГИИ НАУКИ
интерпретации становится подтеорией Т*»*. Можно отметить,
что дальнейшие исследования поприменению поризматической
модели показали правильность этого тезиса.
Научная теория Т, включающая подсистемы
(язык, интерпретация)
Решение частной задачи врамках теории Т
Неожиданное промежуточное следствие
(поризм)
Рассогласование между языком иинтерпретацией
Устранение рассогласования
Новая теория
Осознание проблемы, решаемой теорией
Рис. 1. Схема возникновения новой научной теории
Б. С. Грязнов убедительно иллюстрирует поризматическую
модель возникновения теорий наестественнонаучном материале.
В частности, он показывает, что постоянная Планка, первоначально
появившись вформуле закона излучения как чисто синтаксическое
построение, потребовала придания ей физического смысла (то
есть интерпретации), что ипривело вконечном итоге квыводу
опрерывности испускания энергии, являющемуся одной изоснов
квантовой механики**. Возникновение гелиоцентрической системы Коперника интерпретируется Грязновым как следствие того,
*
Брюшинкин В.Н. О возникновении теорий влогике: теория поиска
вывода как поризм//Современная логика: Проблемы теории, истории
иприменения внауке: Сб. науч. тр./Под ред.Я.А.Слинина. —Л.: Издво Ленинградского ун-та, 1990. С.18.
**
Грязнов Б. С. О взаимоотношении проблем итеорий//Логика. Рациональность. Творчество.—М.: Наука, 1982. С.118.
288

5.4. ПОРИЗМАТИЧЕСКАЯ МОДЕЛЬ ПРОИСХОЖДЕНИЯ НАУЧНЫХ ТЕОРИЙ
что входе решения задачи устранения накопившейся ошибки
вопределении дня весеннего равноденствия врамках старой
геоцентрической системы, Коперник чисто формально (синтаксически) предполагает, что Земля обращается: во-первых—вокруг
своей оси, иво-вторых—вокруг Солнца.
Заметив, что поризматическая модель может быть применена
как кестественным наукам, так и кразвитию логики иматематики, Б.С. Грязнов достаточно подробно рассматривает только
естественнонаучные примеры. Про математику лишь вскользь
отмечает, что появление отрицательных икомплексных чисел
«было для математиков инеожиданным, инепредвиденным, но
вполне логичным событием»
*
.
В работе 2004 г.** была проведена реконструкция поризматического механизма возникновения теории комплексных чисел. Кратко этапы этого процесса следующие. Синтаксическая
конструкция, предполагающая извлечение квадратного корня
изотрицательных чисел, появляется вформуле, выведенной
Кардано для вычисления корней уравнений третьей степени.
Однако сомнения взаконности таких воображаемых, «софистических» чисел, преобладали вумах математиков до тех пор,
пока этим числам не была приписана новая область интерпретации. Гаусс интерпретировал их геометрически—как точки
плоскости, аГамильтон—как пары действительных чисел. Таким
образом, комплексные числа оказались расширением множества
действительных чисел, которые интерпретируются как точки
прямой. Интересно отметить, что вслучае действительных чисел содержательные соображения (а именно, несоизмеримость
гипотенузы икатетов впрямоугольном треугольнике) стали
истоком необходимости дальнейшего развития языка математики
ипостроения соответствующих алгебраических конструкций. То
есть первоначально возникло изменение интерпретации чисел как
длины отрезков—оказалось, что есть отрезки, длина которых не
может быть выражена никаким числом (на самом деле—никаким
*
Там же.С. 115.
**
Ходикова Н. А. Логико-методологическое исследование происхождения теории поиска вывода: Диссертация насоискание ученой степени
кандидата философских наук.—Калининград, 2004. С.28–30.
289

ГЛАВА 5. ПРОБЛЕМЫ ИСТОРИИ И МЕТОДОЛОГИИ НАУКИ
рациональным числом). Такое рассогласование интерпретации
иязыка потребовало изменения последнего, введения понятия
исимволики иррациональных чисел, что ипривело кразвитию
теории действительных чисел.
Как уже отмечалось, для объяснения развития логики поризматическая модель возникновения научных теорий была
применена В.Н.Брюшинкиным иН.А. Ходиковой. Они осуществили рациональную реконструкцию одного изэтапов истории
логики, аименно—возникновения теории поиска вывода*. На
основе методологического анализа гильбертовской теории доказательств было показано, что ее объектом является формальный
объект «доказательство» вместе сприсущей ему «синтетической»
интерпретацией, характерной для аксиоматических исчислений
гильбертовского типа. Показано, что входе решения задачи доказательства непротиворечивости арифметики врамках гильбертовской теории доказательств возник синтаксический поризм—было
обнаружено свойство подформульности удоказательств всеквенциальных исчислениях без сечений, что привело квозникновению новой—«аналитической»—интерпретации доказательств.
В свою очередь, это свойство, будучи интерпретировано нановой
области—для решения задач автоматического доказательства
теорем, породило новый теоретический объект—поиск вывода,
иновую логическую теорию—теорию поиска вывода.
Таким образом, поризматическая модель развития научного
знания может быть представлена следующей обобщенной схемой:
Исходная теория Т1 (включающая сложные подсистемы—язык
иинтерпретацию) ╞ решение задачи втеории Т1 ╞ неожиданное
следствие (синтаксическое или содержательное), полученное
входе решения задачи (поризм) ╞ рассогласование между языком
иинтерпретацией╞ устранение рассогласования ╞ возникновение новой теории Т2.
Следует отметить, что новая теория Т2 может как сменить
исходную теорию Т1 (как вслучае смены геоцентрической системы нагелиоцентрическую), так изанять свое место наряду
*
Брюшинкин В. Н., Ходикова Н. А. Теория поиска вывода. Происхождение
ифилософские приложения: монография.— Калининград: Издательство
БФУ им.И.Канта, 2012. С.32–99.
290
Соседние файлы в предмете [НЕСОРТИРОВАННОЕ]
