Теория степеней доказанности

ТЕОРИЯ СТЕПЕНЕЙ ДОКАЗАННОСТИ

В.К. Петросян (Вадимир). Теория метаиндукции.   http://proza.ru/2026/09/27/352

*********
© В.К.
Петросян (Вадимир) © Lag.ru [Large Apeironic Gateway, Большой Апейронический
Портал (Шлюз), Суперпортал в Бесконечность].
При копировании данного материала и размещении его на другом сайте, ссылки
на соответствующие локации порталов Lag.ru и Proza.ru обязательны
Работа написана на основе концепции и разработок В.К. Петросяна при полноценном соавторстве (активном творческом и вычислительном участии) ChatGPT (OpenAI), GPT-5.6 Sol
*********


Предыдущие части книги постепенно привели нас к проблеме, которая значительно шире собственно метаиндукции.

Если математическое утверждение может получать поддержку из нескольких независимых каналов, если его структурная устойчивость может усиливаться или ослабляться, если вычислительная проверка, прогноз, метаиндукционное замыкание, структурное объяснение и дедуктивный вывод представляют различные способы его обоснования, то становится недостаточно единственного вопроса:

доказано утверждение или не доказано?

Эта бинарная оппозиция сохраняет значение внутри определенных доказательных процедур. Однако она не описывает всего реального состояния математического знания.

Между первоначальной гипотезой и дедуктивно установленной теоремой могут существовать многочисленные состояния.

Утверждение может быть проверено вычислительно на огромной области.

Оно может многократно подтверждаться независимыми методами.

Оно может обладать устойчивой прогностической силой.

Для него может быть найден структурный механизм.

Может быть установлена система метаинвариантов.

Может отсутствовать известный механизм разрушения.

Может быть построено частичное доказательство.

Одновременно отдельные элементы его обоснования могут оставаться открытыми.

Все эти случаи нельзя адекватно описать одним словом «недоказано».

Столь же неадекватно было бы просто объявить все их «доказанными».

Следовательно, требуется более богатая теория.

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

При этом сразу необходимо провести фундаментальное разграничение между несколькими измерениями.

Истинность относится к тому, соответствует ли утверждение принятой системе объектов, отношений и условий.

Доказанность относится к тому, каким образом и с какой силой истинностный статус утверждения установлен.

Подтвержденность характеризует наличие поддерживающих свидетельств.

Вероятность относится к иной системе количественного или качественного оценивания неопределенности.

Воспроизводимость характеризует способность результата или его структуры повторяться при соответствующих условиях.

Ценность относится уже к аксиологическому измерению математического знания.

Эти характеристики могут взаимодействовать, но не должны смешиваться.

Истинное утверждение может долго оставаться недоказанным.

Ложное утверждение может временно обладать большим количеством подтверждающих примеров.

Дедуктивно доказанная теорема может иметь сравнительно небольшую эвристическую или технологическую ценность.

Напротив, чрезвычайно плодотворная гипотеза может оставаться формально недоказанной.

Поэтому теория, предлагаемая далее, по существу является теорией многомерного состояния математического знания.

Она должна описывать не только конечные статусы, но и переходы между ними.

В этом отношении Теория степеней доказанности непосредственно продолжает Теорию метаиндукции.

Если метаиндукция исследовала перенос структуры через изменение математического объекта, то теперь объектом исследования становится изменение самого доказательного состояния знания.

Глава 1. От бинарной доказанности к степени доказанности
1.1. Ограничения схемы «доказано — не доказано»
Классическая схема математической оценки чрезвычайно проста:

утверждение доказано

или

утверждение не доказано.

В определенном контексте эта схема совершенно корректна.

Если вопрос поставлен узко — существует ли дедуктивное доказательство данного утверждения в принятой системе аксиом и правил вывода, — бинарный ответ естественен.

Но такая постановка отвечает лишь на один вопрос среди многих возможных.

Рассмотрим несколько различных ситуаций.

В первом случае сформулирована совершенно новая гипотеза, для которой не имеется практически никаких оснований.

Во втором она проверена на тысяче примеров.

В третьем — на миллиардных диапазонах.

В четвертом независимые алгоритмы подтверждают тот же результат.

В пятом обнаружен устойчивый масштабный закон.

В шестом построена структурная модель, объясняющая наблюдаемую закономерность.

В седьмом эта модель успешно предсказывает ранее не исследованный диапазон.

В восьмом попытки специально сконструировать разрушитель не дают результата.

В девятом доказаны некоторые частные классы.

В десятом установлена универсальная лемма, из которой утверждение уже следует дедуктивно.

Если использовать только бинарную схему, первые девять состояний попадают в одну категорию:

«не доказано».

Но с точки зрения реального содержания знания эти состояния принципиально различны.

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

Именно эту дистанцию и должна описывать Теория степеней доказанности.

Однако здесь необходимо избежать противоположной ошибки.

Введение степеней доказанности не означает отказа от строгих категорий.

Оно не означает, что «почти доказанное» автоматически превращается в доказанное.

Напротив, новая теория должна позволить точнее указать, в каком именно смысле и насколько утверждение установлено.

Поэтому бинарный статус не уничтожается.

Он включается в более богатую систему как один из ее специальных срезов.

Можно сказать:

дедуктивно доказано / дедуктивно не доказано

остается корректной бинарной координатой.

Но она перестает быть единственной координатой знания.

Отсюда вытекает фундаментальный принцип:

Бинарная доказанность является частным случаем более общей многомерной доказательной характеристики.

1.2. Доказанность как состояние
Если отказаться от представления о доказанности как об одном бинарном флаге, естественно рассматривать ее как состояние.

Это непосредственно связывает настоящую часть с формальным аппаратом метаиндукции.

Доказательное состояние некоторого утверждения может включать несколько характеристик одновременно.

Например:

характер имеющегося доказательства;

число независимых каналов;

глубину вычислительной проверки;

наличие структурного объяснения;

прогностическую успешность;

наличие контрпримеров;

устойчивость к адверсарным проверкам;

степень экспликации закона;

область действия результата;

качество замыкания.

Следовательно, доказанность должна рассматриваться не как одна величина, а как структурированное состояние.

Это важное различие.

Если свести доказанность к одному коэффициенту от нуля до единицы, большая часть ее структуры исчезнет.

Два утверждения могут иметь условно одинаковый «общий уровень» уверенности, но совершенно различное основание.

Первое может быть подтверждено гигантским вычислительным массивом.

Второе — опираться на сильное структурное доказательство, но иметь узкую область.

Третье — обладать несколькими независимыми, но неполными доказательными каналами.

Поэтому исходным объектом Теории степеней доказанности должен стать не скаляр, а доказательный профиль.

Профиль показывает не только «сколько доказано», но и:

чем доказано;

какая часть доказана;

на каком уровне;

какими независимыми методами;

что остается незамкнутым;

что способно разрушить существующую конструкцию.

Так доказанность становится полноценным метаиндукционным состоянием.

И она сама способна изменяться.

Гипотеза может проходить последовательность:

первоначальная догадка ; вычислительно подтвержденная гипотеза ; структурно объясненная закономерность ; многоканально установленный метазакон ; частично доказанная теорема ; дедуктивно доказанная теорема.

Но возможны и обратные переходы.

Найденный контрпример может разрушить универсальность.

Обнаруженная зависимость каналов может понизить степень доказанности.

Ошибка алгоритма может обнулить огромный массив вычислительных подтверждений.

Изменение контекста может сузить область действия.

Следовательно, доказанность имеет собственную динамику.

И эта динамика также может стать объектом метаиндукционного анализа.

1.3. Частичная доказанность
Одной из наиболее важных категорий является частичная доказанность.

Она возникает в нескольких различных случаях, которые нельзя смешивать.

Первый случай — доказанность части области.

Например, утверждение установлено для определенного диапазона, класса объектов или набора параметров.

Второй — доказанность части структуры.

Основной механизм установлен, но один из его компонентов остается гипотетическим.

Третий — условная доказанность.

Результат доказан при выполнении дополнительного условия.

Четвертый — уровневая доказанность.

Утверждение доказано на одном уровне организации, но переход на более высокий уровень остается открытым.

Пятый — канальная частичность.

Один доказательный канал завершен, другие пока дают только подтверждение.

Шестой — структурная частичность.

Установлено, что закон сохраняет определенную структуру, но не установлен точный закон значений.

Следовательно, выражение «частично доказано» само по себе недостаточно.

Необходимо указывать тип частичности.

Это имеет особое значение для метаиндукции.

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

В другом случае может быть доказан сам переход, но не установлена независимость предполагаемых метаинвариантов.

В третьем — структурный закон доказан, а количественные границы известны только вычислительно.

Такие состояния различны.

Поэтому частичная доказанность должна иметь собственную внутреннюю классификацию.

Более того, частичная доказанность не обязательно является только временным несовершенным состоянием на пути к «полной».

В некоторых сложных системах она может быть естественной и устойчивой формой знания.

Например, один аспект математического объекта допускает строгое доказательство, а другой остается открытым из-за принципиальной сложности экспликации.

В таком случае теория должна уметь работать с устойчивым неоднородным доказательным профилем.

1.4. Многоканальная доказанность
Если одно утверждение поддерживается несколькими различными каналами, возникает многоканальная доказанность.

Она непосредственно продолжает многоканальную метаиндукцию предыдущей части.

Однако теперь внимание переносится с механизма исследования на состояние самого знания.

Пусть утверждение поддерживается:

дедуктивным каналом для одного класса;

вычислительным — для огромного диапазона;

структурным — через устойчивый инвариант;

прогностическим — через успешные независимые прогнозы;

адверсарным — через отсутствие разрушителя в исследованном классе.

Такое утверждение обладает доказательной структурой, которая принципиально отличается от утверждения, поддержанного одним способом.

Но многоканальность нельзя свести к простому количеству каналов.

Необходимо учитывать:

их независимость;

разнотипность;

глубину;

области действия;

точки пересечения;

общие предпосылки;

критические узлы.

В результате многоканальная доказанность должна представляться как сеть, а не как сумма.

Один канал может усиливать другой.

Два канала могут частично дублироваться.

Третий может быть зависим от обоих.

Четвертый может проверять границу применимости остальных.

Пятый — иметь совершенно независимое основание.

Следовательно, важным объектом становится доказательная сеть.

Ее узлами могут быть:

утверждения;

леммы;

эмпирические законы;

метаинварианты;

прогнозы;

вычислительные результаты;

аксиомы;

контрпроверки.

А связями:

вывод;

подтверждение;

объяснение;

ограничение;

опровержение;

условная зависимость.

Такое представление существенно богаче обычной линейной цепочки доказательства.

В линейной цепи выпадение одного ключевого звена может разрушить весь вывод.

В сети возможно резервирование.

Однако и сеть может иметь критические узлы.

Это создает непосредственную связь между многоканальной доказанностью и будущей Теорией разрушения.

1.5. Доказанность и подтвержденность
Понятия доказанности и подтвержденности необходимо строго различать.

Подтверждение означает появление нового свидетельства, согласующегося с утверждением или повышающего его обоснованность.

Доказательство в более строгом смысле означает достижение определенного стандарта установления утверждения внутри принятой доказательной системы.

Следовательно:

каждое доказательство обычно является подтверждением;

но не каждое подтверждение является доказательством.

Однако и это различие недостаточно тонко.

Подтверждения бывают различной силы.

Можно говорить о:

вычислительном подтверждении;

экспериментальном подтверждении внутри формализованной вычислительной среды;

прогностическом подтверждении;

структурном подтверждении;

метаинвариантном подтверждении;

перекрестном подтверждении;

адверсарном подтверждении через успешное прохождение попытки разрушения.

Особенно важно предсказательное подтверждение.

Если закон был сформулирован до появления нового массива данных и затем правильно предсказал структуру этого массива, такое подтверждение сильнее простой ретроспективной подгонки.

Другой важный тип — структурное подтверждение.

Закон не только наблюдается, но и объясняется через устройство объекта.

Еще выше может находиться метаинвариантное подтверждение, когда сохраняется не конкретная зависимость, а закон преобразования системы при изменении масштаба или уровня.

Следовательно, подтвержденность также обладает структурой и степенями.

Но она не должна автоматически сливаться с доказанностью.

Правильнее рассматривать подтверждение как один из источников изменения доказательного состояния.

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

1.6. Доказанность и истинность
Это различие является фундаментальным.

Истинность и доказанность — не одно и то же.

В простейшей формулировке можно сказать:

истинность относится к утверждению;

доказанность — к состоянию знания об утверждении.

Утверждение может быть истинным задолго до того, как будет доказано.

И наоборот, история математики и науки показывает, что некоторое рассуждение может длительное время приниматься за доказательство, а затем в нем обнаруживается ошибка.

Следовательно, субъективное или институциональное признание доказательства еще не гарантирует истинности.

В рамках Теории метаиндукции необходимо еще более точное разграничение.

Следует различать:

истинностный статус;

доказательный статус;

статус признания;

статус подтверждения.

Они могут не совпадать.

Например, утверждение может иметь неопределенный для нас истинностный статус, но высокий уровень подтвержденности.

Или иметь строгую доказанность внутри определенной аксиоматической системы, но иное значение в другой системе.

Отсюда появляется еще одно важное понятие:

контекст истинности и доказанности.

Утверждение должно оцениваться относительно:

формулировки;

области;

аксиоматики;

системы допустимых операций;

логики;

уровня описания.

Таким образом, Теория степеней доказанности не должна заменять теорию истины.

Она должна взаимодействовать с ней, сохраняя самостоятельность обеих категорий.

Можно предварительно сформулировать:

Истинность отвечает на вопрос, каково положение утверждения относительно объекта и принятой семантики; доказанность — насколько и каким образом это положение установлено внутри данной системы знания.

Это различие станет особенно важным при построении истинностных шкал следующей главы.

1.7. Доказанность и вероятность
Еще одно опасное смешение возникает между доказанностью и вероятностью.

На первый взгляд естественно сказать:

чем выше степень доказанности, тем выше вероятность истинности.

В некоторых прикладных ситуациях подобная связь может быть полезной.

Однако в общем случае это разные характеристики.

Вероятность обычно требует определенного вероятностного пространства или интерпретации неопределенности.

Доказанность же относится к структуре оснований.

Утверждение может иметь чрезвычайно высокую субъективную вероятность и почти не иметь доказательства.

И наоборот, строго доказанная теорема внутри аксиоматической системы не является «вероятной» в том же смысле, в каком вероятно случайное событие.

Следовательно, не следует автоматически записывать степень доказанности числом от нуля до единицы и интерпретировать его как вероятность истинности.

Если числовая метрика когда-либо будет введена, необходимо точно указывать, что именно она измеряет.

Например, можно измерять:

долю закрытых доказательных каналов;

степень независимости каналов;

устойчивость к определенному классу разрушителей;

глубину вычислительной проверки;

прогностическую успешность.

Но это будут различные координаты.

Их объединение в один коэффициент требует самостоятельного обоснования.

Таким образом, вероятность может входить в доказательный профиль, но не должна подменять его.

Это особенно важно для метаиндукции, поскольку попытка выразить все одним «процентом уверенности» уничтожила бы значительную часть структурной информации.

1.8. Доказанность и воспроизводимость
Воспроизводимость занимает особое место.

Для экспериментальных наук воспроизводимость давно является фундаментальным критерием надежности.

В математике ее смысл иной, но не менее важный.

Можно говорить о воспроизводимости:

вычислительного результата;

доказательства;

алгоритма;

структурного закона;

масштабного режима;

прогноза;

метаиндукционного перехода.

Если независимые реализации дают один и тот же результат, это повышает доказательную силу.

Однако воспроизводимость сама по себе еще не равна истинности.

Можно воспроизводить одну и ту же систематическую ошибку.

Несколько программ могут использовать одну ошибочную библиотеку.

Несколько математических аргументов могут опираться на одну скрытую ложную предпосылку.

Следовательно, необходимо различать:

формальную воспроизводимость — результат повторяется;

независимую воспроизводимость — повторение достигается различными средствами;

структурную воспроизводимость — сохраняется не только результат, но и система отношений;

метаиндукционную воспроизводимость — сохраняется способность воспроизводить следующий переход.

Последняя форма особенно важна для настоящей теории.

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

Поэтому воспроизводимость следует считать одной из фундаментальных координат доказанности, но не всей доказанностью целиком.

Именно совокупность:

доказательства;

подтверждения;

независимости;

воспроизводимости;

устойчивости;

разрушимости

формирует более полное доказательное состояние.

Глава 2. Истинностные шкалы
Теория степеней доказанности требует отдельного анализа истинности.

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

Термин «истинностная шкала» далее используется в широком смысле.

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

Поэтому необходимо постоянно различать:

онтологический или семантический истинностный статус

и

эпистемическую оценку истинностного статуса.

Именно отсутствие этого различения часто порождает ложный спор между бинарным и многозначным подходом.

2.1. Бинарная истинностная шкала
Бинарная истинностная шкала включает два значения:

истинно;

ложно.

Ее фундаментальное значение не должно подвергаться сомнению только потому, что Теория метаиндукции вводит более богатый аппарат.

Для огромного класса математических утверждений бинарная постановка естественна.

Если утверждение точно определено в фиксированной системе, можно ставить вопрос о его истинности или ложности.

Бинарность обладает огромным преимуществом:

она обеспечивает четкую границу.

Однако проблема возникает тогда, когда бинарную истинностную шкалу начинают использовать для описания всего состояния знания.

Фраза:

«мы не знаем, истинно утверждение или ложно»

не вводит третьего истинностного значения автоматически.

Она может означать лишь неопределенность нашего знания.

Следовательно, необходимо различать:

неопределенность объекта

и

неопределенность знания об объекте.

Это различие должно проходить через всю дальнейшую теорию.

В классическом случае истина может оставаться бинарной, тогда как состояние знания о ней — многомерным.

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

Поэтому бинарная шкала должна рассматриваться как фундаментальный, но не единственный режим логической оценки.

2.2. Многозначные шкалы
Многозначная истинностная шкала возникает тогда, когда двух значений оказывается недостаточно для описания логического состояния.

Однако необходимо сразу различить несколько принципиально различных смыслов многозначности.

Первый — формально-логический.

Сама логическая система вводит более двух истинностных значений.

Второй — эпистемический.

Дополнительные значения описывают не истину как таковую, а состояние нашего знания:

неизвестно;

неопределено;

частично установлено;

условно установлено.

Третий — контекстуальный.

Утверждение получает различные оценки в различных контекстах.

Четвертый — уровневый.

Оценка зависит от уровня организации объекта.

Эти случаи нельзя смешивать.

Например, состояние «не доказано» не является автоматически третьим истинностным значением наряду с истиной и ложью.

Оно относится к доказательному статусу.

Состояние «неопределено» может иметь различную природу.

Оно может означать:

недостаток информации;

неполноту формулировки;

неприменимость данной шкалы;

реальную неопределенность внутри выбранной логической системы.

Поэтому многозначная шкала должна сопровождаться семантикой каждого значения.

Иначе число значений увеличивается, а ясность уменьшается.

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

Можно иметь, например:

вычислительно подтверждено;

структурно поддержано;

метаиндукционно установлено;

дедуктивно доказано.

Но это, строго говоря, уже не чистая истинностная шкала.

Это доказательная шкала.

Следовательно, будущая система должна уметь накладывать несколько шкал друг на друга, не смешивая их.

2.3. Контекстуальные истинностные шкалы
Одно и то же утверждение может иметь различный статус в различных контекстах.

Контекст может задаваться:

аксиоматикой;

областью определения;

масштабом;

структурным классом;

логической системой;

набором условий;

уровнем рассмотрения.

Поэтому фраза:

«утверждение истинно»

в сложной метаиндукционной системе часто должна быть дополнена:

где?

относительно чего?

при каких условиях?

Это не означает субъективизма.

Контекст может быть строго определен.

Например, утверждение может быть истинным для определенного класса объектов и ложным вне этого класса.

Или доказано в одной аксиоматической системе и не выводимо в другой.

Или сохраняться на одном масштабном режиме и разрушаться после фазового перехода.

Следовательно, контекстуальная шкала должна включать не только значение, но и область валидности значения.

Можно сказать:

истинностный статус без указания контекста иногда является неполным описанием.

Для метаиндукции это особенно существенно, поскольку один из главных ее объектов — перенос закона между контекстами.

При переходе от одного масштаба к другому необходимо установить не только сохранение закона, но и сохранение условий, делающих его истинным или применимым.

Таким образом, контекст становится частью метаиндукционного состояния.

2.4. Динамические истинностные оценки
Если знание развивается, оценка утверждения может изменяться.

Но необходимо снова строго различать два варианта.

В первом случае изменяется наше знание.

Утверждение было неизвестным, затем подтвержденным, затем доказанным.

Сам его истинностный статус при этом мог не изменяться.

Во втором случае изменяется контекст или объект, и вместе с ними меняется применимость утверждения.

Например, закон действует в одном режиме системы и перестает действовать после структурного перехода.

Тогда изменение оценки связано уже не только с ростом знания, но и с изменением самого предмета.

Поэтому динамическая истинностная оценка должна содержать как минимум две компоненты:

динамику знания

и

динамику объекта или контекста.

Это очень важное различие для трансволюционной метаиндукции.

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

Возможно, оно:

остается истинным;

становится ложным;

теряет применимость;

превращается в частный случай;

получает новую интерпретацию.

Следовательно, динамическая логика должна уметь описывать переходы истинностных состояний, а не только сами состояния.

В дальнейшем это позволит говорить о траектории истинностного состояния.

Такой объект уже непосредственно принадлежит пространству метасостояний.

2.5. Уровневая истинность
Сложные системы могут описываться на нескольких уровнях.

Утверждение, корректное на одном уровне, может требовать изменения при переходе на другой.

Например, локальное утверждение может быть истинным для отдельных элементов, но не переноситься на систему как целое.

И наоборот, глобальный закон может оставаться истинным несмотря на локальные исключения, если он формулируется статистически или структурно.

Поэтому возникает понятие уровневой истинности.

Оно не означает, что одно и то же строго определенное утверждение одновременно истинно и ложно без всякого уточнения.

Речь идет о том, что различные уровни организации требуют различных предикатов и областей применения.

На локальном уровне оценивается одно.

На структурном — другое.

На метауровне — закон изменения локальных состояний.

Примером может служить различие между:

каждое значение монотонно растет

и

нижняя гарантированная оболочка возрастает при переходе к большим масштабам.

Эти утверждения относятся к различным уровням.

Первое может быть ложным.

Второе — сохраняться.

Поэтому обнаружение локального исключения еще не разрушает автоматически метауровневый закон.

Но и метауровневый закон нельзя использовать для утверждения локальной истинности.

Именно здесь особенно необходима дисциплина уровней.

Уровневая истинность тесно связана с иерархией инвариантов.

Утверждение может потерять истинность на уровне локального инварианта, но сохранять ее на уровне процессуального или масштабного метаинварианта.

Таким образом, вопрос должен формулироваться:

какое утверждение истинно на каком уровне и относительно какого объекта?

2.6. Степени определенности
Истинность и определенность также различны.

Чтобы утверждение вообще можно было корректно оценивать, оно должно быть достаточно определено.

Под степенью определенности будем понимать степень точности, с которой заданы:

объект;

предикат;

область;

условия;

контекст;

критерий проверки.

Утверждение может выглядеть содержательно очевидным, но оставаться логически недостаточно определенным.

Например:

«структура сохраняется»;

«система становится устойчивее»;

«вероятность разрушения уменьшается».

Каждое из этих утверждений требует уточнения.

Какая структура?

Что считается сохранением?

Как определяется устойчивость?

Как измеряется разрушение?

Следовательно, прежде чем оценивать доказанность, необходимо оценить определенность самого объекта доказательства.

Это фундаментальный момент.

Нельзя иметь высокую степень доказанности плохо определенного утверждения.

В лучшем случае можно иметь высокую подтвержденность некоторой интуитивно понимаемой закономерности.

Поэтому определенность является одной из предпосылок доказательности.

Можно различать:

терминологическую определенность;

объектную;

операционную;

структурную;

контекстуальную;

граничную.

Особенно важна граничная определенность — ясность того, какое событие будет считаться нарушением утверждения.

Если теория не может указать, что ее опровергло бы, определенность ее содержания недостаточна.

Это прямо связывает степень определенности с Теорией разрушения.

2.7. Степени подтверждения
Подтверждение также допускает градации.

Слабое подтверждение может заключаться в нескольких совпадающих примерах.

Более сильное — в большой независимой вычислительной проверке.

Еще более сильное — в успешном прогнозе.

Далее — в структурном объяснении.

Еще выше — в согласовании нескольких независимых метазаконов.

Но вместо одной линейной шкалы здесь также лучше использовать многомерный профиль.

Степень подтверждения может зависеть от:

объема проверенной области;

разнообразия случаев;

независимости данных;

жесткости прогноза;

силы адверсарной проверки;

числа независимых каналов;

охвата экстремальных состояний;

стабильности при смене масштаба.

Особенно важно различать:

количественное усиление подтверждения

и

качественное усиление.

Количественное усиление означает, что тем же методом проверено больше случаев.

Качественное — что появился новый тип основания.

Например, увеличение вычислительного диапазона с миллиарда до триллиона случаев количественно усиливает один канал.

Но появление независимого структурного объяснения меняет саму архитектуру обоснования.

Поэтому качественное усиление часто имеет большее значение, чем простое увеличение числа подтверждений.

Отсюда следует еще один принцип:

рост доказательной силы определяется не только накоплением подтверждений, но и появлением новых независимых форм обоснования.

2.8. Взаимодействие различных истинностных шкал
Теперь можно увидеть, что математическое утверждение может одновременно находиться в нескольких различных системах оценки.

Например, оно может иметь:

определенный бинарный истинностный статус, который нам пока неизвестен;

высокую степень определенности формулировки;

высокую вычислительную подтвержденность;

среднюю структурную эксплицированность;

высокую прогностическую устойчивость;

неполную метаиндукционную доказанность;

отсутствие дедуктивного доказательства.

Эти характеристики не противоречат друг другу.

Они принадлежат различным шкалам.

Следовательно, одна из важнейших задач Теории степеней доказанности состоит в том, чтобы отказаться от попытки выразить все состояние знания одним словом.

Вместо этого необходимо строить вектор или профиль состояния.

Условно можно различить несколько основных групп шкал.

Истинностные шкалы характеризуют отношение утверждения к истине внутри заданной семантики.

Шкалы определенности показывают качество постановки самого утверждения.

Доказательные шкалы характеризуют силу установления.

Шкалы подтверждения — объем и качество поддерживающих свидетельств.

Шкалы воспроизводимости — устойчивость повторения результата и перехода.

Шкалы разрушимости — легкость или трудность построения контрсостояния.

Аксиологические шкалы — содержательную и математическую ценность результата.

Главная опасность состоит в проекции одной шкалы на другую.

Например:

высокая ценность не делает утверждение истинным;

высокая вероятность не делает его доказанным;

большое число примеров не заменяет структурного основания;

дедуктивное доказательство не означает автоматически высокой эвристической ценности;

неопределенность знания не означает неопределенности самой истины.

Именно поэтому Теория степеней доказанности должна быть многокоординатной.

Можно предварительно сформулировать важный общий принцип:

Состояние математического знания определяется не одной оценкой, а системой согласованных и частично независимых оценок, каждая из которых относится к собственному аспекту утверждения, его обоснования, воспроизводимости, разрушимости и ценности.

Эта мысль принципиально меняет дальнейшее построение.

Следующая глава должна перейти от истинностных шкал к шкалам доказательной силы и ответить уже на более специальный вопрос:

какие типы доказательных состояний следует различать, как они соотносятся между собой и можно ли построить их частичный порядок без насильственного сведения всех форм обоснования к одной линейной шкале?

Именно здесь, на мой взгляд, особенно важно не строить примитивную лестницу вида «0–10 доказанности». Гораздо содержательнее получится система из нескольких осей с возможностью как частичного упорядочивания, так и несравнимости некоторых доказательных профилей. Это затем естественно приведет к многомерному доказательно-аксиологическому профилю.

***********

Глава 3. Шкалы доказательной силы
Если в предыдущих главах были разведены истинность, доказанность, подтвержденность, вероятность и воспроизводимость, то теперь необходимо перейти к более конкретному вопросу:

какими именно способами математическое утверждение может приобретать доказательную силу?

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

Для Теории метаиндукции такая классификация недостаточна.

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

Поэтому необходимо построить шкалы доказательной силы.

Термин «шкала» здесь также не следует понимать слишком узко.

Не обязательно существует единая линейная последовательность, в которой всякий доказательный статус однозначно «сильнее» или «слабее» другого.

Во многих случаях правильнее говорить о нескольких частично независимых координатах.

Например, утверждение может обладать:

очень высокой вычислительной подтвержденностью;

высокой прогностической подтвержденностью;

сильной структурной поддержкой;

но при этом не иметь дедуктивного доказательства.

Другое утверждение может обладать коротким дедуктивным доказательством, но почти не иметь самостоятельной прогностической или эвристической роли.

С точки зрения одного критерия второе состояние сильнее.

С точки зрения другого — первое может быть содержательнее.

Следовательно, доказательная сила должна рассматриваться одновременно:

как тип основания;

как степень развития основания;

как структура совокупности оснований.

Это позволяет избежать ошибочной идеи о единственной «лестнице доказательств».

Вместо нее возникает система различных доказательных статусов, между которыми можно устанавливать:

отношения усиления;

отношения включения;

частичную сравнимость;

несравнимость;

комбинированные состояния.

3.1. Вычислительная подтвержденность
Одной из наиболее распространенных современных форм математического подтверждения является вычислительное исследование.

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

На первый взгляд такая характеристика может показаться простой.

Если проверено больше случаев, подтверждение сильнее.

Однако эта схема слишком груба.

Доказательная ценность вычислительного подтверждения зависит не только от количества проверенных объектов.

Необходимо учитывать по крайней мере несколько различных характеристик.

Объем проверенной области
Очевидно, проверка на миллионе случаев дает больше информации, чем проверка на десяти.

Однако этот показатель сам по себе недостаточен.

Если все миллион случаев принадлежат одному очень узкому структурному классу, проверка может почти ничего не говорить о поведении в других классах.

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

В некоторых задачах особенно важны:

различные арифметические классы;

краевые случаи;

экстремальные значения;

редкие конфигурации;

переходные зоны.

Следовательно, миллион структурно однотипных примеров может быть менее информативен, чем несколько тысяч специально подобранных разнородных случаев.

Глубина экспликации
Вычисление может просто проверять бинарный факт:

выполнено / не выполнено.

Но может собирать значительно более богатое состояние:

распределения;

экстремумы;

коридоры;

локальные нарушения;

метапараметры.

Во втором случае вычислительная подтвержденность является значительно более содержательной.

Независимость реализации
Один алгоритм может содержать систематическую ошибку.

Повторение того же вычисления тем же кодом увеличивает количество данных, но почти не увеличивает надежность самого вычислительного механизма.

Поэтому более сильным является случай, когда результат воспроизводится:

независимой программой;

другим алгоритмом;

другой архитектурой вычисления;

другим способом представления данных.

Адверсарность проверки
Обычное вычисление проверяет то, что было удобно проверить.

Адверсарное вычисление специально ищет слабые места:

экстремальные случаи;

области предполагаемой нестабильности;

классы, наиболее опасные для закона.

Такое вычисление имеет значительно большую доказательную ценность.

Следовательно, вычислительную подтвержденность нельзя измерять только максимальным проверенным числом или количеством операций.

Она имеет собственный профиль.

Можно условно различать:

элементарную вычислительную подтвержденность — проверено некоторое число случаев;

масштабную вычислительную подтвержденность — закон проверен на последовательности существенно разных масштабов;

структурную вычислительную подтвержденность — вычислительно подтверждается не только результат, но и система отношений;

экстремальную вычислительную подтвержденность — исследованы худшие случаи;

независимую вычислительную подтвержденность — результат воспроизведен различными реализациями;

адверсарную вычислительную подтвержденность — целенаправленный поиск нарушений не разрушил закон в исследованной области.

Вычислительная подтвержденность может быть чрезвычайно сильной, но необходимо помнить ее фундаментальную границу:

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

Для такого перехода требуется другой уровень основания.

Именно поэтому вычислительная подтвержденность часто является исходным материалом для метаиндукции, но не тождественна ей.

3.2. Эмпирическая воспроизводимость
Понятие эмпирической воспроизводимости в математике требует осторожного употребления.

Математика не является экспериментальной наукой в том же смысле, что физика или биология.

Однако современные вычислительные, комбинаторные, числовые и геометрические исследования создают обширную область математической эмпирики.

Под ней можно понимать систематически получаемые данные о поведении математических объектов до или независимо от появления общего доказательства.

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

Это уже не просто вычислительная проверка одного утверждения.

Речь идет о воспроизводимости режима.

Например, на различных диапазонах может повторяться:

одна форма распределения;

один характер экстремумов;

одно отношение между параметрами;

один механизм компенсации;

один масштабный тренд.

Эмпирическая воспроизводимость обладает несколькими измерениями.

Временная воспроизводимость
Исследование, повторенное позднее, дает тот же тип результата.

Методическая воспроизводимость
Другой метод приводит к совместимому результату.

Масштабная воспроизводимость
Закономерность повторяется при изменении размера исследуемой области.

Классовая воспроизводимость
Режим сохраняется в различных подклассах объекта.

Независимая воспроизводимость
Результат воспроизводится другим исследователем или системой без использования всех промежуточных решений первоначального исследования.

Для метаиндукции особенно важна структурная эмпирическая воспроизводимость.

Если на разных масштабах повторяется не просто один показатель, а одна конфигурация взаимосвязанных характеристик, возникает основание искать метаинвариант.

Однако сама воспроизводимость еще не отвечает на вопрос:

почему закономерность повторяется?

Она устанавливает факт устойчивости, но не обязательно механизм.

Поэтому эмпирическая воспроизводимость занимает промежуточное положение между простым вычислительным подтверждением и структурным объяснением.

Ее доказательная сила существенно возрастает, если воспроизводится не только обычный режим, но и:

характер отклонений;

структура исключений;

поведение экстремумов;

способ восстановления после нарушения.

Тогда система показывает воспроизводимость не только в успехах, но и в собственных пограничных состояниях.

Это значительно более сильное состояние знания.

3.3. Прогностическая подтвержденность
Прогноз занимает особое место в доказательной архитектуре.

Описание известных данных всегда допускает опасность подгонки.

Прогноз требует выйти за пределы области, использованной при построении закона.

Поэтому прогностическая подтвержденность возникает тогда, когда заранее сформулированная модель успешно предсказывает новые состояния, которые не использовались при ее построении.

Это один из сильнейших недедуктивных каналов подтверждения.

Прогностическая сила зависит от нескольких факторов.

Дистанция прогноза
Чем дальше прогноз выходит за исследованную область, тем более серьезно проверяется устойчивость закона.

Но слишком далекий прогноз может быть малоинформативен, если он сформулирован чрезвычайно расплывчато.

Точность прогноза
Предсказание:

«закон примерно сохранится»

слабее, чем указание конкретного коридора, структуры экстремумов или диапазона возможных значений.

Рискованность прогноза
Сильный прогноз допускает возможность явного провала.

Чем шире множество результатов, совместимых с прогнозом, тем меньше его доказательная ценность.

Независимость проверочной области
Если прогнозируемые данные уже косвенно использовались при построении модели, прогностическая ценность снижается.

Структурность прогноза
Особенно силен прогноз целого состояния, а не одного показателя.

Можно прогнозировать одновременно:

центральную тенденцию;

границы;

частоту отклонений;

экстремальный слой;

изменение метапараметров.

Тогда успешное совпадение требует согласованного выполнения нескольких условий.

Следует также различать ретропрогноз и настоящий прогноз.

Ретропрогноз использует уже существующие, но искусственно скрытые данные.

Он особенно полезен для проверки методологии.

Настоящий прогноз направлен в еще не исследованную область.

В сочетании эти два метода образуют мощную систему:

сначала метод проходит ретропрогностическое испытание;

затем формулирует реальный прогноз;

после появления новых данных получает дополнительную проверку.

Прогностическая подтвержденность особенно ценна для малой метаиндукции, поскольку фактически проверяет перенос метаинварианта через границу экспликации.

Но и здесь необходимо различать:

успех одного прогноза;

серию успешных прогнозов;

устойчивый прогностический механизм.

Последний статус значительно сильнее первых двух.

3.4. Структурная подтвержденность
До сих пор речь шла преимущественно о повторении наблюдаемого закона.

Но значительно более сильное состояние возникает тогда, когда обнаруживается структурное основание закономерности.

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

Иными словами, мы уже знаем не только:

что происходит,

но в определенной мере и:

почему именно такая структура поведения возникает.

Структурное подтверждение может состоять в обнаружении:

симметрии;

ограничения;

компенсационного механизма;

иерархии;

системы зависимостей;

топологической структуры;

алгебраического механизма;

геометрического отношения;

числового инварианта.

Особенно сильным является случай, когда структурное объяснение было построено независимо от эмпирических данных, а затем правильно предсказывает их особенности.

Тогда структура и эмпирика перекрестно подтверждают друг друга.

Однако слово «объяснение» требует осторожности.

Не всякая красивая интерпретация является структурным подтверждением.

Необходимо, чтобы структурная модель имела проверяемые следствия.

Она должна позволять определить:

какие состояния допустимы;

какие невозможны;

что будет происходить при изменении параметров;

какие аномалии могут возникнуть;

что способно разрушить механизм.

Если структурная модель совместима практически с любым поведением, ее подтверждающая сила мала.

Следовательно, сильное структурное подтверждение должно быть ограничивающим.

Оно не только объясняет случившееся, но и запрещает некоторые возможные состояния.

Особенно важно структурное объяснение экстремальных случаев.

Средняя закономерность может возникать множеством способов.

Если одна и та же структура объясняет:

основной режим;

отклонения;

худшие случаи;

границы устойчивости,

доказательная сила существенно возрастает.

3.5. Метаинвариантная подтвержденность
Следующий уровень связан уже не с отдельной структурой, а с устойчивостью закона ее изменения.

Метаинвариантная подтвержденность имеет место тогда, когда на последовательности состояний или масштабов систематически воспроизводится один и тот же метаинвариант либо связанная система метаинвариантов.

Например, могут одновременно наблюдаться:

сохранение формы закона;

стабилизация нормированных коэффициентов;

предсказуемое изменение границ;

устойчивость структуры экстремальных случаев;

снижение относительной разрушительности отклонений.

Каждая из этих характеристик может сама изменяться.

Но способ ее изменения сохраняется.

Именно это образует метаинвариантный уровень.

Метаинвариантная подтвержденность принципиально отличается от простого накопления примеров.

Она относится уже к закону между законами.

Однако ее сила зависит от нескольких условий.

Во-первых, должно быть показано, что метаинвариант действительно наблюдается на нескольких независимых переходах.

Во-вторых, желательно исследовать разные масштабы, а не искусственно близкие соседние области.

В-третьих, необходим анализ экстремальных состояний.

В-четвертых, должна быть проверена независимость различных метаинвариантов.

В-пятых, необходимо заранее определить, какое событие будет считаться разрушением метаинварианта.

Особенно сильной является системная метаинвариантная подтвержденность, когда несколько независимых метаинвариантов поддерживают один общий режим.

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

Именно здесь начинает появляться понятие цены разрушения, которое получит самостоятельное развитие позже.

3.6. Метаиндукционная установленность
Теперь можно перейти к одному из центральных статусов всей книги — метаиндукционной установленности.

Это понятие должно использоваться значительно строже, чем обычные выражения «подтверждается индукцией» или «вероятно по большому числу случаев».

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

Из этого определения следует, что метаиндукционная установленность требует значительно больше, чем вычислительная проверка.

Минимально должны присутствовать:

структурированное состояние;

последовательность переходов;

метаинвариант или их система;

критерий условного тождества;

замыкание;

границы применимости;

разрушители.

Для более сильных вариантов добавляются:

ретропрогноз;

реальный прогноз;

несколько независимых каналов;

экстремальная проверка;

адверсарное тестирование;

оценка цены разрушения.

Можно поэтому различать степени внутри самой метаиндукционной установленности.

Локальная метаиндукционная установленность
Метазакон устойчиво действует на ограниченной системе масштабов или состояний.

Масштабно устойчивая установленность
Успешно воспроизводится на существенно различающихся масштабах.

Многоканальная установленность
Поддерживается несколькими относительно независимыми метаиндукционными каналами.

Адверсарно устойчивая установленность
Прошла специально построенные испытания на разрушение.

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

При этом необходимо принципиально отличать метаиндукционную установленность от дедуктивной доказанности.

Это разные доказательные статусы.

Метаиндукционно установленное утверждение не должно автоматически называться дедуктивно доказанным.

Но и сводить его к «обычной гипотезе» столь же неточно.

Именно для обозначения этого промежуточного, но содержательно богатого состояния и вводится специальная категория.

3.7. Дедуктивная доказанность
Дедуктивная доказанность возникает тогда, когда утверждение выводится из явно принятых оснований посредством допустимой последовательности логических переходов, достаточной внутри принятой формальной или математической системы.

Это классический и исключительно важный доказательный статус.

Внутри строго заданной системы он обладает особенностью, которой обычно не имеют эмпирические и метаиндукционные формы:

универсальность результата обеспечивается не количеством проверенных случаев, а логической структурой самого вывода.

Именно этим объясняется фундаментальная роль дедукции в математике.

Однако Теория степеней доказанности должна избежать двух крайностей.

Первая — недооценить дедуктивное доказательство, растворив его среди других подтверждений.

Вторая — объявить дедуктивную доказанность единственной содержательной характеристикой математического знания.

Дедуктивное доказательство чрезвычайно сильно по определенной координате:

логической установленности внутри принятой системы.

Но оно не автоматически определяет:

объяснительную силу;

эвристическую продуктивность;

технологическую применимость;

независимую воспроизводимость;

структурную прозрачность;

общность;

ценность результата.

Два доказательства одной теоремы могут обладать одинаковым статусом дедуктивной корректности, но сильно различаться по содержанию.

Одно может быть технически громоздким и почти ничего не объяснять.

Другое — выявить новый механизм и породить целую область исследований.

Следовательно, даже внутри дедуктивной доказанности существует богатая внутренняя структура.

Можно различать:

корректность;

минимальность;

прозрачность;

конструктивность;

переносимость метода;

независимость от сильных предпосылок;

глубину объяснения.

Но эти дополнительные характеристики уже не являются самим фактом дедуктивной доказанности.

Они относятся к доказательному и аксиологическому профилю.

Особенно важно следующее:

Дедуктивное доказательство является сильнейшим основанием определенного типа, но оно не превращает остальные измерения математического знания в ненужные.

Напротив, именно после появления доказательства часто возникает новый вопрос:

почему теорема истинна в содержательном смысле и что еще следует из найденного механизма?

Так доказательство может завершать один этап исследования и одновременно открывать следующий.

3.8. Комбинированные доказательные статусы
В реальной математике чистые доказательные статусы встречаются реже, чем комбинированные.

Одна и та же теорема может одновременно обладать:

дедуктивным доказательством;

независимым вычислительным подтверждением;

геометрической интерпретацией;

структурным объяснением;

прогностической плодотворностью;

несколькими независимыми доказательствами.

Поэтому конечным объектом Теории степеней доказанности должен стать не единичный статус, а комбинированный доказательный профиль.

Комбинированность может иметь различные формы.

Последовательное усиление
Один статус исторически переходит в другой:

гипотеза ; вычислительная поддержка ; структурная поддержка ; метаиндукционная установленность ; дедуктивное доказательство.

Параллельное усиление
Несколько каналов развиваются одновременно.

Резервное усиление
Один канал достаточен для результата, другие дают независимое резервирование.

Иерархическое усиление
Один канал подтверждает объектный уровень, другой — метазакон, третий — устойчивость доказательной архитектуры.

Перекрестное усиление
Разные каналы проверяют друг друга.

Особенно важно различать комбинацию и простое накопление.

Комбинированный статус предполагает структуру взаимных отношений.

Например, два доказательных канала могут быть независимы.

Другие два — частично зависимы.

Один может объяснять другой.

Еще один — проверять их границы.

Следовательно, комбинированный профиль лучше представлять как доказательную сеть.

В такой сети необходимо уметь выделять:

центральные узлы;

периферийные подтверждения;

независимые ветви;

общие предпосылки;

критические зависимости;

точки потенциального разрушения.

Это приводит к важному выводу:

степень доказанности является свойством не только утверждения, но и архитектуры системы его обоснований.

Из этого непосредственно следует будущая возможность говорить о:

степени доказанности теоремы;

степени доказанности семейства теорем;

степени доказанности теории;

степени доказанности целой математической программы.

Таким образом, доказательный статус постепенно становится системным понятием.

Глава 4. Аксиологические шкалы математического знания
Если Теория степеней доказанности ограничится только вопросом о надежности утверждений, она останется неполной.

Математическое знание обладает не только истинностными и доказательными характеристиками.

Оно обладает также ценностью.

Две одинаково доказанные теоремы могут совершенно различаться по своему месту в математике.

Одна решает узкую техническую задачу и почти не имеет дальнейших следствий.

Другая открывает новый класс объектов.

Третья дает новый метод.

Четвертая объединяет несколько областей.

Пятая приводит к технологическим приложениям.

Следовательно, возникает необходимость в аксиологии математического знания.

Под аксиологическими шкалами будем понимать системы оценки математического объекта относительно его содержательной, объяснительной, эвристической, генеративной, теоретической и прикладной ценности.

При этом речь может идти не только о теоремах.

Объектом аксиологической оценки может быть:

определение;

понятие;

метод;

доказательство;

алгоритм;

структура;

теория;

исследовательская программа;

целая математическая дисциплина.

Однако важнейшим методологическим принципом должно быть строгое различение ценности и истинности.

Ценная идея может быть ложной.

Истинная теорема может быть малозначительной.

Эвристически чрезвычайно плодотворная гипотеза может никогда не получить статуса теоремы.

Поэтому аксиологическая шкала не должна подменять доказательную.

Она образует самостоятельное измерение математического знания.

4.1. Истина и ценность
Истинность математического утверждения не зависит от того, насколько оно интересно, полезно или красиво.

Это фундаментальное различие.

Можно представить четыре принципиально различных случая.

Истинное и ценное утверждение.

Истинное, но малозначительное утверждение.

Ложное, но эвристически плодотворное предположение.

Ложное и малосодержательное утверждение.

Следовательно, истинность и ценность образуют разные координаты.

Особенно интересен третий случай.

История интеллектуального развития показывает, что ошибочная модель иногда может породить:

новые вопросы;

новые методы;

новые понятия;

новые вычислительные инструменты.

После обнаружения ошибки сама исходная гипотеза отбрасывается, но созданные ею инструменты сохраняются.

Это означает, что аксиологический профиль объекта способен пережить изменение его истинностного статуса.

Для Теории метаиндукции это особенно важно.

Метаиндукционная конструкция может оказаться в будущем частично или полностью разрушенной, но разработанный в процессе аппарат:

состояний;

метаинвариантов;

ретропрогноза;

теории разрушения

может сохранять самостоятельную ценность.

Следовательно, теория должна уметь различать:

ценность результата

и

ценность пути к результату.

Это важное аксиологическое различие.

4.2. Доказанность и значимость
Аналогично доказанность не тождественна значимости.

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

Недоказанная гипотеза, напротив, может десятилетиями определять направление развития целой области.

Поэтому значимость математического объекта зависит не только от доказательного статуса.

Она определяется тем:

сколько структур он связывает;

какие проблемы открывает;

какие методы порождает;

насколько глубокие уровни затрагивает;

как изменяет карту математического знания.

Можно поэтому различать:

доказательную значимость — насколько результат усиливает систему установленных знаний;

теоретическую значимость — насколько он влияет на структуру теории;

методологическую значимость — дает ли новый способ исследования;

историческую значимость — меняет ли направление развития дисциплины;

прикладную значимость — создает ли новые технологические возможности.

Это означает, что фраза:

«важная теорема»

сама по себе слишком неопределенна.

Необходимо спрашивать:

важная в каком отношении?

Аксиология должна сделать оценочную лексику более точной, а не просто умножить субъективные оценки.

4.3. Содержательность результата
Одной из базовых аксиологических характеристик является содержательность.

Под содержательностью будем понимать объем существенной математической информации, которую дает результат относительно исследуемого объекта.

Например, утверждение:

«существует некоторый объект с данным свойством»

может быть менее содержательным, чем результат, который дополнительно:

описывает его структуру;

задает способ построения;

определяет границы;

показывает механизмы изменения;

классифицирует возможные случаи.

Следовательно, содержательность зависит не просто от длины формулировки.

Короткая теорема может быть чрезвычайно содержательной.

Большой массив вычислений — сравнительно малосодержательным, если он не выявляет структуры.

Можно различать:

фактическую содержательность — сколько конкретной информации получено;

структурную содержательность — сколько отношений выявлено;

генеративную содержательность — сколько новых результатов можно получить из данного;

метатеоретическую содержательность — насколько результат изменяет понимание самой системы.

Особое значение для Метаорганона имеет именно переход от фактической к структурной и генеративной содержательности.

Миллион отдельных фактов может быть менее ценен, чем один метазакон, который объясняет их совместное устройство.

4.4. Общность
Общность характеризует широту класса объектов, к которому применим результат.

На первый взгляд эту характеристику легко упорядочить:

чем шире класс, тем выше общность.

Но и здесь возникают существенные тонкости.

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

Поэтому общность является самостоятельной координатой, а не универсальной мерой ценности.

Можно различать:

объектную общность — широту класса объектов;

параметрическую общность — диапазон параметров;

структурную общность — число различных структур, описываемых одним законом;

междисциплинарную общность — применимость в разных областях;

метатеоретическую общность — применимость к целым классам теорий.

Особенно интересна генетическая общность.

Один закон может быть общим не потому, что непосредственно описывает множество объектов, а потому, что содержит механизм их порождения.

Такой закон обладает высокой генеративной общностью.

Метаиндукционные метазаконы потенциально могут иметь именно такой статус.

Они описывают не каждый конкретный результат, а способ формирования целого класса закономерностей.

4.5. Объяснительная сила
Математическое доказательство отвечает на вопрос:

следует ли утверждение из принятых оснований?

Но оно не всегда отвечает на вопрос:

почему обнаруженная закономерность имеет именно такую структуру?

Отсюда возникает понятие объяснительной силы.

Объяснительная сила характеризует способность результата или теории раскрывать механизм возникновения других фактов.

Сильное объяснение:

уменьшает число независимых предположений;

объединяет различные явления;

показывает общий механизм;

делает ранее случайные совпадения необходимыми или естественными;

позволяет понять исключения.

Особенно сильным является объяснение, которое одновременно описывает:

нормальное поведение;

аномалии;

границы;

условия разрушения.

Это существенно для Теории метаиндукции.

Если закон объясняет только успешные случаи, но ничего не говорит о том, почему возникают отклонения, его объяснительная сила ограничена.

Более глубокая теория должна отвечать и на вопрос:

почему закон может нарушиться именно таким, а не другим способом?

Следовательно, Теория разрушения становится частью объяснительной мощности системы.

Можно говорить о:

локальном объяснении;

структурном;

генетическом;

процессуальном;

метаобъяснении.

Последнее объясняет уже не отдельный факт, а закон изменения законов.

4.6. Эвристическая продуктивность
Эвристическая продуктивность характеризует способность математического объекта порождать новые вопросы, гипотезы, методы и направления исследования.

Это особая форма ценности.

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

Другая, возможно даже первоначально гипотетическая идея, способна породить десятки новых направлений.

Эвристическая продуктивность может проявляться в нескольких формах.

Проблемная продуктивность
Возникают новые содержательные задачи.

Методическая продуктивность
Появляются новые способы исследования.

Понятийная продуктивность
Вводятся новые категории.

Междисциплинарная продуктивность
Метод переносится в другие области.

Метатеоретическая продуктивность
Исследование одной задачи приводит к появлению новой общей теории.

Последний тип особенно значим для настоящей книги.

Отдельная проблема может оказаться настолько содержательной, что ее исследование вынуждает создать новый уровень методологии.

В таком случае эвристическая ценность исходной задачи значительно превосходит значение ее конкретного ответа.

Именно поэтому аксиология должна оценивать не только решенность проблемы, но и плодотворность процесса ее исследования.

4.7. Предсказательная сила
Предсказательная сила близка к прогностической подтвержденности, но относится к другому измерению.

В главе о доказательной силе прогноз рассматривался как средство подтверждения закона.

Здесь он рассматривается как ценность самого закона.

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

Можно различать:

точечное предсказание;

интервальное;

структурное;

экстремальное;

масштабное;

трансволюционное.

Особенно высокой ценностью обладает теория, способная предсказывать не только обычные состояния, но и:

границы устойчивости;

появление аномалий;

изменение режима;

условия структурного перехода.

Предсказательная сила имеет двойное значение.

С одной стороны, она повышает доказательный статус теории после успешной проверки.

С другой — делает теорию практически и эвристически ценной еще до такой проверки.

Следовательно, одна и та же характеристика способна входить одновременно:

в доказательную шкалу;

и в аксиологическую шкалу.

Но смысл различен.

В первом случае оценивается, насколько прогноз подтвердил теорию.

Во втором — насколько сама теория способна производить прогнозы.

Это пример того, почему различные шкалы должны быть разведены, но не изолированы.

4.8. Генеративность
Генеративность является одной из наиболее важных аксиологических характеристик для Метаорганона.

Под генеративностью будем понимать способность математической конструкции порождать новые объекты, структуры, законы или теории по внутренним правилам.

Это более сильное понятие, чем эвристическая продуктивность.

Эвристически продуктивная идея побуждает исследователя создавать новое.

Генеративная система сама содержит механизм построения нового класса результатов.

Генеративность может относиться к:

формулам;

алгоритмам;

операторам;

геометрическим конструкциям;

метазаконам;

доказательным системам.

Можно говорить о нескольких уровнях.

Объектная генеративность — порождение новых объектов.

Структурная генеративность — порождение новых конфигураций.

Законная генеративность — получение новых закономерностей.

Метатеоретическая генеративность — порождение новых теорий или способов их построения.

Особенно интересны саморефлексивные и саморазвивающиеся системы, которые способны порождать не только новые результаты, но и новые правила собственного развития.

Здесь генеративность пересекается с трансволюцией.

Можно сказать:

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

Именно такие структуры особенно ценны для Метаорганона.

4.9. Технологическая применимость
Математическое знание может иметь непосредственное или опосредованное технологическое значение.

Под технологической применимостью будем понимать способность математического результата становиться основой воспроизводимых практических процедур, алгоритмов или технических систем.

Применимость может быть:

вычислительной;

криптографической;

информационной;

геометрической;

оптимизационной;

моделирующей;

алгоритмической.

Однако технологическая применимость не должна отождествляться с общей ценностью.

Фундаментальная теория может десятилетиями не иметь приложений, но обладать огромной теоретической значимостью.

И наоборот, сравнительно узкая математическая техника может иметь чрезвычайно высокую практическую ценность.

Поэтому технологическая применимость является отдельной координатой.

Она также имеет собственную структуру.

Прямая применимость
Теория непосредственно дает инструмент.

Методическая применимость
Используется не результат, а метод.

Архитектурная применимость
Теория дает принцип построения класса технологий.

Потенциальная применимость
Практическая реализация еще отсутствует, но конструкция обладает четким технологическим потенциалом.

Особенно важно последнее.

Математическая теория может создать пространство технологических возможностей, даже если конкретная технология пока не построена.

С точки зрения Демиургизма и Метаорганона именно этот аспект способен иметь особую аксиологическую значимость.

4.10. Теоретическая плодотворность
Эвристическая продуктивность и теоретическая плодотворность близки, но не совпадают.

Эвристическая продуктивность относится к способности порождать новые направления исследования.

Теоретическая плодотворность характеризует способность результата встраиваться в систему знания и создавать новые устойчивые теоретические конструкции.

Плодотворный результат:

связывается с другими теориями;

обобщается;

дает новые теоремы;

создает классификации;

порождает самостоятельные дисциплины;

изменяет понятийный аппарат.

Таким образом, вопрос звучит не только:

сколько новых идей возникло?

но и:

сколько из них превратилось в устойчивые элементы теории?

Можно говорить о:

локальной плодотворности;

межтеоретической;

метатеоретической.

Особенно высокая теоретическая плодотворность возникает тогда, когда одно понятие начинает работать в нескольких различных областях.

Например, понятия:

условного тождества;

метаинварианта;

замыкания;

степени доказанности

могут оказаться применимыми далеко за пределами одной конкретной задачи.

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

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

Это понятие шире доказательной устойчивости.

Доказательство может быть абсолютно корректным, но настолько узко связано с конкретным формализмом, что практически не переносится за его пределы.

Другой результат может сохранять значение при:

смене языка;

обобщении;

изменении масштаба;

переходе к другой интерпретации;

развитии теории.

Именно такой результат обладает высокой аксиологической устойчивостью.

Можно различать:

логическую устойчивость — результат не зависит от излишне хрупких предпосылок;

структурную устойчивость — сохраняется при вариациях объекта;

методическую устойчивость — метод работает в разных задачах;

историческую устойчивость — значение сохраняется при развитии дисциплины;

трансволюционную устойчивость — результат переживает изменение самой теоретической архитектуры.

Последняя характеристика особенно интересна.

Некоторые идеи способны пережить радикальные перестройки теории именно потому, что на новом уровне получают другую интерпретацию.

В ноогеологическом языке можно сказать, что такие структуры выдерживают сильный математический метаморфизм.

Следовательно, устойчивость — это способность знания сохранять свое ядро через изменение контекста.

Тем самым аксиологическая устойчивость непосредственно связана с центральной формулой метаиндукции:

перенос тождества через изменение.

4.12. Аксиологический профиль математического объекта
Теперь можно собрать различные аксиологические шкалы в единую конструкцию.

Математический объект не должен оцениваться одним словом:

«важный»,

«глубокий»,

«сильный»,

«красивый».

Такие оценки слишком неразличимы.

Необходимо строить аксиологический профиль.

В него могут входить по меньшей мере следующие координаты:

содержательность;

общность;

объяснительная сила;

эвристическая продуктивность;

предсказательная сила;

генеративность;

технологическая применимость;

теоретическая плодотворность;

устойчивость.

В дальнейшем этот перечень может быть расширен.

Например, можно добавить:

простоту;

компрессивную силу;

интегративность;

междисциплинарность;

обучаемость;

алгоритмизируемость;

трансформируемость.

Но уже базовый набор показывает принцип.

Две теоремы могут быть несравнимы по общей «ценности».

Первая может иметь большую общность.

Вторая — большую объяснительную силу.

Третья — технологическую применимость.

Четвертая — исключительную эвристическую продуктивность.

Следовательно, попытка обязательно построить единственный рейтинг математических результатов методологически подозрительна.

Правильнее сохранять многомерный профиль.

При этом некоторые задачи могут требовать локальной свертки профиля.

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

Для фундаментальной теории — общность и объяснительную силу.

Для исследовательской программы — эвристическую продуктивность и генеративность.

Но такая свертка всегда должна быть контекстуальной, а не абсолютной.

Еще важнее соединить аксиологический профиль с доказательным.

Тогда возникает более общая конструкция:

Доказательно-аксиологический профиль
Он должен включать по крайней мере три больших блока.

Истинностно-доказательный блок
Истинностный статус;

определенность;

вычислительная подтвержденность;

воспроизводимость;

прогностическая подтвержденность;

структурная подтвержденность;

метаинвариантная подтвержденность;

метаиндукционная установленность;

дедуктивная доказанность.

Структурно-устойчивостный блок
Эксплицируемость;

замкнутость;

число независимых каналов;

устойчивость;

разрушимость;

цена разрушения;

глубина критических зависимостей.

Аксиологический блок
Содержательность;

общность;

объяснительная сила;

эвристическая продуктивность;

предсказательная сила;

генеративность;

применимость;

теоретическая плодотворность;

устойчивость ценности.

В результате математическое утверждение, доказательство или теория перестают описываться единственным ярлыком.

Они получают координатный портрет.

Такой портрет способен изменяться во времени.

После нового доказательства повышается один компонент.

После обнаружения приложения — другой.

После появления контрпримера часть профиля может резко снизиться.

После расширения теории прежний результат может потерять общность, но приобрести объяснительную роль как частный случай более мощной конструкции.

Следовательно, аксиологический профиль тоже динамичен.

Можно говорить о траектории математической ценности.

Некоторые результаты сначала являются исключительно эвристическими.

Позднее получают доказательную силу.

Еще позже становятся технологическими инструментами.

Другие проходят обратный путь: фундаментальное когда-то утверждение становится стандартной леммой, но его историческая роль сохраняется.

Таким образом, Теория степеней доказанности постепенно перерастает исходную проблему оценки отдельных доказательств.

Она начинает описывать состояние и развитие математического знания одновременно по истинностным, доказательным, структурным и аксиологическим координатам.

Это уже позволяет сформулировать более сильный тезис.

Математическое знание существует не в одномерном пространстве «истинно — ложно» и не в одномерном пространстве «доказано — не доказано». Оно обладает многомерным состоянием, включающим способы установления, степень экспликации, воспроизводимость, устойчивость, разрушимость, объяснительную силу, генеративность и ценность.

Из этого положения непосредственно вырастает следующая проблема.

Если доказательный и аксиологический профиль многомерны, необходимо построить аппарат их совместного представления, сравнения и изменения.

Именно поэтому следующая глава должна перейти к многомерному доказательно-аксиологическому профилю: от отдельных шкал — к единой системе координат состояния математического знания.

************

Глава 5. Многомерный доказательно-аксиологический профиль
Предыдущие главы показали, что математическое знание невозможно адекватно описать одной оценкой.

Недостаточно сказать, что некоторое утверждение:

истинно;

доказано;

подтверждено;

ценно;

устойчиво.

Каждое из этих слов относится к собственной стороне состояния знания.

Более того, даже внутри каждой такой стороны возникают различные характеристики.

Доказанность может быть вычислительной, структурной, метаинвариантной, метаиндукционной или дедуктивной.

Истинностная характеристика зависит от определенности утверждения, контекста, уровня и области его применимости.

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

Следовательно, математический объект должен описываться не одной меткой и не одним коэффициентом, а системой координат.

Так возникает понятие многомерного доказательно-аксиологического профиля.

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

Такой профиль выполняет сразу несколько функций.

Он показывает текущее состояние знания.

Позволяет сравнивать различные результаты.

Фиксирует сильные и слабые стороны доказательной конструкции.

Показывает направления возможного усиления.

Позволяет наблюдать изменение знания во времени.

Наконец, он создает основу для будущей метаметрии математического знания.

Но для этого необходимо сначала отказаться от привычки сводить многомерное состояние к одному итоговому числу.

5.1. От одной оценки к системе координат
Человеческое мышление естественно стремится к свертыванию сложных характеристик в простые оценки.

Мы говорим:

«сильное доказательство»;

«слабая гипотеза»;

«важная теорема»;

«глубокий результат»;

«надежная теория».

Такие выражения полезны в обычном общении, но недостаточны для строгого анализа.

Что именно означает «сильное доказательство»?

Оно дедуктивно строго?

Опирается на несколько независимых методов?

Устойчиво к изменению аксиоматики?

Имеет простую структуру?

Легко проверяется?

Объясняет механизм?

А что означает «важная теорема»?

Широко применима?

Обладает большой общностью?

Породила новое направление?

Имеет технологические последствия?

Связывает несколько теорий?

Пока эти характеристики не разведены, общая оценка остается семантически неопределенной.

Поэтому первым принципом доказательно-аксиологического анализа является:

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

Это аналогично переходу от свойства к состоянию в первых частях книги.

Там выяснилось, что одного свойства недостаточно для полноценного метаиндукционного перехода.

Здесь выясняется, что одной оценки недостаточно для описания состояния математического знания.

Следовательно, доказательно-аксиологический профиль сам представляет собой структурированное состояние более высокого порядка.

Его координаты могут быть различной природы.

Одни бинарны.

Например, наличие или отсутствие дедуктивного доказательства внутри определенной системы.

Другие порядковы.

Например, уровень эксплицируемости.

Третьи количественны.

Например, размер непосредственно проверенной вычислительной области.

Четвертые структурны.

Например, число независимых доказательных каналов и характер их связей.

Пятые контекстуальны.

Например, технологическая применимость относительно определенного класса задач.

Таким образом, профиль является гетерогенным вектором, компоненты которого не обязаны принадлежать одной математической шкале.

Это обстоятельство имеет принципиальное значение.

Попытка механически нормировать все характеристики, например от нуля до единицы, а затем сложить их, может создать удобное число, но уничтожить значительную часть смысла.

Поэтому на первом этапе необходимо сохранять многомерность.

Свертка допустима лишь тогда, когда:

ясно указана цель сравнения;

определены веса;

обоснована сопоставимость координат;

известно, какие потери информации вносит такая операция.

Иными словами, сводная оценка всегда вторична относительно полного профиля.

5.2. Вектор доказанности
Первой крупной составляющей совместного профиля является вектор доказанности.

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

Такой вектор может включать, например:

вычислительную подтвержденность;

эмпирическую воспроизводимость;

прогностическую подтвержденность;

структурную подтвержденность;

метаинвариантную подтвержденность;

метаиндукционную установленность;

дедуктивную доказанность;

независимость доказательных каналов;

степень замыкания;

устойчивость к адверсарной проверке.

Важно, что это не обязательно линейная лестница.

Можно представить утверждение, которое имеет:

очень высокую вычислительную подтвержденность;

высокую прогностическую силу;

сильную метаинвариантную поддержку;

но не имеет дедуктивного доказательства.

Другой результат может иметь дедуктивное доказательство, но почти не исследован вычислительно и не обладает самостоятельной прогностической компонентой.

Какой из двух имеет «большую степень доказанности»?

Без указания критерия вопрос может не иметь однозначного ответа.

По координате дедуктивной доказанности второй результат сильнее.

По многоканальной эмпирической установленности — первый может иметь более богатую структуру.

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

Особенно важно включать в вектор не только подтверждающие характеристики, но и уязвимости.

Например:

наличие критической недоказанной леммы;

общая зависимость нескольких каналов от одной предпосылки;

непроверенный диапазон;

нестабильный экстремальный слой;

слабое замыкание.

Тогда доказательный профиль показывает не только накопленную силу, но и структуру риска.

Это намного содержательнее простой положительной оценки.

Можно различать:

положительные координаты доказанности — характеризующие основания;

и

отрицательные координаты — характеризующие незамкнутость, зависимость и разрушимость.

Таким образом, полный вектор доказанности становится двусторонним.

Он отвечает одновременно на два вопроса:

почему утверждение следует считать установленным?

и

где именно эта установленность может быть разрушена?

5.3. Вектор истинностных характеристик
Доказательный профиль необходимо отличать от вектора истинностных характеристик.

Этот вектор описывает не способы обоснования, а логико-семантическое состояние утверждения.

В него могут входить:

определенность формулировки;

истинностный статус;

контекстуальность;

область применимости;

уровень, к которому относится утверждение;

условность;

степень семантической экспликации;

устойчивость истинностного статуса при смене контекста.

Особенно важно различать несколько ситуаций.

Утверждение определено и имеет бинарный истинностный статус
Это классический математический случай.

Утверждение определено, но его истинностный статус неизвестен
Типичная открытая проблема.

Утверждение определено только относительно дополнительных условий
Тогда истинностный статус является условным.

Утверждение относится к ограниченной области
За ее пределами вопрос может иметь другой ответ или вообще потерять смысл.

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

Последний случай чрезвычайно важен.

Иногда спор о доказанности фактически скрывает более раннюю проблему:

неясно, что именно утверждается.

Следовательно, степень определенности должна предшествовать полноценной оценке доказательства.

Можно сформулировать принцип:

Нельзя корректно измерять доказанность утверждения точнее, чем определено само утверждение.

Если объект размыт, доказательный профиль неизбежно наследует эту размытость.

Истинностный вектор также должен учитывать уровневость.

Некоторое утверждение может быть:

истинным локально;

ложным как универсальное;

истинным в нормированном виде;

неприменимым после структурного перехода.

Поэтому необходимо фиксировать не только значение, но и адрес истинности:

класс объектов;

масштаб;

уровень;

контекст;

условия.

Это превращает истинностную оценку из одного флага в структурированное отношение.

5.4. Вектор аксиологических характеристик
Третьей крупной составляющей является вектор аксиологических характеристик.

Он описывает математическую ценность объекта по различным направлениям.

В него могут входить:

содержательность;

общность;

объяснительная сила;

эвристическая продуктивность;

предсказательная сила;

генеративность;

технологическая применимость;

теоретическая плодотворность;

устойчивость;

интегративная способность.

При необходимости могут вводиться дополнительные координаты.

Например:

простота;

красота;

экономность;

обучаемость;

вычислительная реализуемость;

междисциплинарная переносимость.

Однако не все аксиологические характеристики обладают одинаковой степенью объективируемости.

Например, технологическую применимость можно часто оценивать сравнительно строго.

Эвристическую продуктивность — через число и качество порожденных направлений.

А эстетическая оценка существенно более зависима от культурного и личного контекста.

Следовательно, аксиологический профиль должен также указывать характер самой координаты:

объективируемая;

частично объективируемая;

контекстуальная;

субъективная.

Это позволит не выдавать оценочные предпочтения за формальные свойства.

Особенно важным представляется различение:

актуальной ценности

и

потенциальной ценности.

Теория может пока не иметь приложений, но обладать высокой генеративностью.

Другой результат может быть чрезвычайно полезен сегодня, но почти не порождать нового знания.

Следовательно, аксиологический вектор также имеет временную структуру.

Он способен существенно изменяться по мере развития науки и технологий.

5.5. Совместный профиль
Истинностный, доказательный и аксиологический векторы образуют совместный доказательно-аксиологический профиль.

Но простого механического объединения списков характеристик недостаточно.

Между координатами существуют связи.

Например:

повышение определенности может увеличить доказательную силу, потому что становится яснее объект доказательства;

новое дедуктивное доказательство может повысить объяснительную силу, если раскрывает механизм;

успешный прогноз одновременно усиливает прогностическую подтвержденность и аксиологическую предсказательную силу;

обнаружение технологического приложения может резко изменить ценность результата, не изменяя его истинностного статуса;

нахождение контрпримера может разрушить универсальную доказанность, но сохранить эвристическую ценность метода.

Следовательно, совместный профиль является не просто вектором, а скорее системой взаимодействующих векторов.

В него естественно включить как минимум четыре блока.

Истинностно-семантический блок
Что утверждается и в каком смысле.

Доказательный блок
Как и насколько это установлено.

Устойчивостно-разрушительный блок
Насколько результат устойчив и что способно его разрушить.

Аксиологический блок
Какова его математическая, эвристическая, теоретическая и технологическая ценность.

Так возникает более полный объект:

метапрофиль математического знания.

Его можно применять к:

одному утверждению;

теореме;

доказательству;

методу;

семейству утверждений;

теории;

исследовательской программе.

Особенно важно, что доказательно-аксиологический профиль не должен превращаться в средство произвольного завышения статуса результата.

Например, высокая эвристическая ценность не компенсирует отсутствие доказательства по доказательной координате.

Высокая вычислительная подтвержденность не превращается в дедуктивную.

Дедуктивная доказанность не автоматически дает высокую технологическую ценность.

Каждая координата должна сохранять собственную семантику.

Именно это делает профиль аналитическим инструментом, а не риторической системой «баллов».

5.6. Сравнимые и несравнимые профили
Одна из наиболее интересных проблем возникает при сравнении двух профилей.

Предположим, первый результат сильнее второго по всем координатам.

Тогда сравнение относительно просто.

Можно говорить о доминировании профиля.

Но гораздо чаще ситуация сложнее.

Первый результат имеет:

большую общность;

более сильную дедуктивную основу;

меньшую технологическую применимость.

Второй:

уже по области;

слабее доказан;

но значительно продуктивнее эвристически и технологически.

Какой из них «лучше»?

Без дополнительного критерия ответ отсутствует.

Это означает, что доказательно-аксиологические профили образуют не обязательно линейный порядок.

Более естественен частичный порядок.

Два профиля сравнимы, если существует достаточно ясное отношение превосходства или включения по выбранной системе координат.

Они несравнимы, если один превосходит другой по одним измерениям, а уступает по другим.

Такое положение не является недостатком теории.

Напротив, оно отражает реальную многомерность математического знания.

Можно различать:

полное доминирование — первый профиль не слабее второго ни по одной существенной координате и сильнее хотя бы по одной;

локальное доминирование — превосходство относительно выбранной группы критериев;

компенсаторное сравнение — сильные стороны одного профиля компенсируют слабые по заданной целевой функции;

несравнимость — без дополнительной ценностной установки общего порядка нет.

Особенно важно последнее.

Если целью является фундаментальная теория, веса характеристик одни.

Если инженерная технология — другие.

Если поисковая исследовательская программа — третьи.

Следовательно, общий рейтинг объектов всегда содержит скрытую аксиологическую предпосылку.

Теория профилей позволяет сделать эту предпосылку явной.

5.7. Изменение профиля во времени
Математический объект имеет историю.

Гипотеза, сформулированная в некоторый момент, может через десятилетия оказаться в совершенно другом доказательно-аксиологическом состоянии.

Сначала она может обладать:

низкой доказанностью;

высокой эвристической ценностью.

Затем накапливаются вычислительные подтверждения.

Появляется структурная модель.

Создаются новые методы.

Возникают частные доказательства.

Наконец, может быть получено полное дедуктивное доказательство.

При этом аксиологическая траектория необязательно монотонна.

После доказательства проблема иногда частично теряет эвристическую привлекательность как открытая задача, но приобретает новое значение как фундаментальный инструмент.

Возможна и обратная динамика.

Некоторая теория первоначально считается фундаментальной, а затем после появления более общей системы превращается в частный случай.

Ее общность уменьшается.

Но объяснительная или историческая ценность может сохраниться.

Следовательно, профиль должен рассматриваться как функция времени или, точнее, как траектория в пространстве доказательно-аксиологических состояний.

Можно говорить о:

профиле возникновения;

профиле развития;

профиле стабилизации;

профиле кризиса;

профиле трансволюции.

Здесь возникает прямое соединение с ноогеологической метафорой.

Доказательное состояние теории может:

накапливать поддержку;

испытывать напряжение;

получать локальные повреждения;

перестраиваться;

переходить в новую формацию знания.

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

5.8. Динамика степени доказанности
Изменение доказательного профиля заслуживает отдельного анализа.

Степень доказанности может:

возрастать;

снижаться;

стабилизироваться;

расщепляться по различным областям;

переходить на новый уровень.

Усиление
Происходит при появлении:

нового независимого доказательства;

успешного прогноза;

нового метаинварианта;

более сильного замыкания;

структурного объяснения;

дедуктивного вывода.

Ослабление
Возникает при:

обнаружении ошибки;

появлении контрпримера;

выявлении зависимости якобы независимых каналов;

обнаружении скрытого ограничения;

провале прогноза.

Локализация
Универсальный статус может быть утрачен, но утверждение сохраниться на подмножестве области.

Это не просто снижение значения одной координаты.

Происходит перестройка профиля.

Расщепление
Один общий закон может распасться на несколько режимов с различными доказательными статусами.

Трансволюция
Исходная формулировка перестает быть адекватной, но ее содержательное ядро сохраняется внутри новой теории.

Следовательно, динамика доказанности не всегда монотонна.

Очень важно отказаться от упрощенной схемы:

гипотеза ; все больше подтверждений ; доказательство.

Реальный путь может быть значительно сложнее:

гипотеза ; подтверждение ; частичное разрушение ; уточнение ; разделение на классы ; новый метазакон ; новая форма доказанности.

Именно поэтому Теория степеней доказанности естественно является динамической теорией.

Ее объектом является не только уровень обоснования, но и закон изменения этого уровня.

В этом месте она непосредственно становится частью Теории метаиндукции.

5.9. Карта доказательного состояния теории
Если профиль отдельного утверждения уже многомерен, то профиль целой теории еще сложнее.

Невозможно адекватно описать развитую математическую теорию одним числом «доказанности».

Внутри нее могут существовать:

фундаментальные доказанные теоремы;

условные результаты;

гипотезы;

вычислительные законы;

метаиндукционно установленные зависимости;

спорные интерпретации;

неэксплицированные области;

структурно слабые узлы.

Поэтому требуется карта доказательного состояния теории.

Она должна показывать:

какие области теории обладают каким статусом;

какие результаты являются опорными;

какие зависят от других;

где существуют независимые подтверждения;

где располагаются критические узлы;

какие участки наиболее уязвимы;

какие области обладают высокой эвристической ценностью, несмотря на слабую доказанность.

Такую карту удобно мыслить как многослойную.

Один слой — истинностно-семантический.

Другой — доказательный.

Третий — сеть зависимостей.

Четвертый — устойчивостный.

Пятый — аксиологический.

При совмещении этих слоев возникает своеобразная томография математической теории.

Мы видим уже не только ее внешнюю систему теорем, но и внутреннюю структуру:

глубокие основания;

резервные доказательные пути;

слабые зоны;

области высокой генеративности;

потенциальные разломы.

Это становится непосредственным переходом к следующей главе.

Пока мы рассматривали преимущественно профиль одного математического объекта.

Но математическое знание существует прежде всего как система связанных утверждений.

Поэтому необходимо понять, как доказанность отдельного утверждения преобразуется в доказанность семейства, теории и целой доказательной сети.

Глава 6. Доказанность систем утверждений
6.1. Отдельное утверждение
Минимальной единицей доказательного анализа является отдельное утверждение.

Для него можно определить:

формулировку;

область действия;

истинностный статус;

доказательные основания;

подтверждающие каналы;

зависимости;

разрушители;

аксиологический профиль.

Но даже отдельное утверждение редко является действительно изолированным.

Оно обычно опирается на:

определения;

аксиомы;

предыдущие теоремы;

правила вывода;

вычислительные данные;

принятые способы интерпретации.

Следовательно, уже индивидуальная доказанность имеет реляционный характер.

Можно различать:

Внутреннюю доказательную структуру
Как устроено непосредственное доказательство утверждения.

Внешнюю доказательную структуру
От каких других результатов оно зависит.

Контекстуальную структуру
В какой системе оно вообще имеет данный смысл.

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

Первое зависит от одной глубокой и спорной предпосылки.

Второе имеет несколько независимых путей вывода.

По локальной бинарной характеристике оба «доказаны».

По системной архитектуре они различны.

Следовательно, отдельное утверждение является лишь локальным узлом более широкой доказательной системы.

Именно поэтому переход к семействам и сетям необходим.

6.2. Семейство утверждений
Под семейством утверждений будем понимать множество содержательно или структурно связанных высказываний, объединенных общим объектом, параметром, законом или способом построения.

Например, семейство может задаваться:

параметром;

масштабом;

классом объектов;

геометрическим преобразованием;

арифметическим типом;

уровнем иерархии.

Доказанность семейства нельзя свести к доказанности одного его элемента.

Возможны различные ситуации.

Полная покомпонентная доказанность
Доказан каждый элемент семейства.

Универсальная доказанность
Существует одно доказательство для всего семейства.

Частичная доказанность
Доказана только часть параметрического диапазона.

Масштабная доказанность
Закон подтвержден или доказан на последовательности масштабов.

Метаиндукционная установленность семейства
Установлен метазакон воспроизводимости перехода между членами семейства.

Последний случай особенно важен.

Семейство превращает отдельную теорему в динамическую структуру.

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

Это существенно усиливает содержательность.

Вместо тысячи раздельных фактов мы получаем один структурный принцип.

Следовательно, системная доказанность имеет не только количественную, но и компрессивную сторону.

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

Однако компрессия также несет риск.

Если множество утверждений зависит от одного общего основания, ошибка в этом основании может разрушить все семейство сразу.

Поэтому высокая теоретическая экономность часто одновременно повышает централизацию доказательного риска.

Это одна из важнейших тем системной доказанности.

6.3. Система теорем
Семейство утверждений еще не обязательно образует систему.

Система теорем возникает тогда, когда между утверждениями существуют организованные отношения:

выводимости;

зависимости;

поддержки;

обобщения;

специализации;

взаимной интерпретации.

В системе можно различать:

фундаментальные теоремы;

промежуточные леммы;

производные следствия;

обобщения;

частные случаи;

связующие результаты.

Так появляется архитектура теории.

Особенно важно различать:

ширину

и

глубину доказательной системы.

Ширина показывает, сколько независимых ветвей или классов результатов существует.

Глубина — сколько уровней зависимостей проходит от оснований к конечному результату.

Глубокая система может быть чрезвычайно содержательной, но одновременно уязвимой к ошибке в одном раннем узле.

Широкая система может иметь множество независимых оснований, но слабую интеграцию.

Поэтому системная сила зависит не от одного параметра.

Можно также различать:

централизованные системы;

распределенные системы;

модульные системы;

иерархические системы;

сетевые системы.

В централизованной значительная часть теорем зависит от небольшого числа фундаментальных результатов.

В распределенной существует множество относительно независимых опор.

В модульной разрушение одного блока мало влияет на другие.

Именно структурная архитектура начинает определять системную доказательную устойчивость.

6.4. Теория как доказательный объект
Следующий шаг принципиален.

Объектом оценки становится уже не отдельная теорема, а теория как целое.

Теория включает:

понятия;

определения;

аксиомы;

теоремы;

доказательства;

методы;

интерпретации;

открытые проблемы;

эмпирические и вычислительные результаты;

метатеоретические принципы.

Следовательно, сказать:

«теория доказана»

в большинстве случаев слишком грубо.

Необходимо спрашивать:

какие ее компоненты имеют какой статус?

Можно условно различить в составе теории:

дедуктивное ядро;

условный пояс;

эмпирически или вычислительно подтвержденную область;

метаиндукционно установленную область;

гипотетическую периферию;

проблемную или конфликтную область.

Это создает значительно более точную картину.

Теория может иметь очень сильное дедуктивное ядро и широкий гипотетический фронтир.

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

Третья — быть молодой, но чрезвычайно эвристически продуктивной.

Следовательно, теория как доказательный объект требует собственного профиля.

Особенно важен вопрос идентичности теории.

Если одна из фундаментальных теорем опровергнута, уничтожена ли теория?

Не обязательно.

Она может:

сузиться;

изменить аксиоматику;

заменить фундаментальное понятие;

перейти к другой интерпретации;

трансволюционировать.

Именно здесь Закон условного тождества получает применение уже к целым математическим теориям.

Теория до и после структурной перестройки может оставаться одной теоретической линией, если сохраняется достаточное ядро преемственности.

6.5. Взаимная поддержка утверждений
В сложной математической системе утверждения могут не только односторонне зависеть друг от друга, но и взаимно поддерживаться.

Это требует осторожного анализа.

На первый взгляд взаимная поддержка может показаться круговой.

Если утверждение A подтверждает B, а B подтверждает A, не возникает ли логический круг?

Иногда возникает.

Но не всякая взаимная поддержка является порочным кругом.

Необходимо различать:

Дедуктивную цикличность
A доказывается через B, а B — через A без независимого основания.

Такая структура действительно проблематична.

Независимое перекрестное подтверждение
A и B имеют собственные основания, но дополнительно согласуются друг с другом.

Это, напротив, усиливает систему.

Структурное взаимное ограничение
Два закона не выводят друг друга, но совместно сужают пространство допустимых состояний.

Метаиндукционное взаимное подтверждение
Разные метазаконы независимо описывают различные аспекты режима и согласуются на переходах.

Именно последние случаи особенно важны для многоканальной метаиндукции.

Взаимная поддержка сильна тогда, когда между утверждениями существует избыточная согласованность без доказательной круговой зависимости.

Иначе говоря, каждый компонент способен хотя бы частично стоять самостоятельно, но совместно система становится сильнее.

Это можно назвать нециркулярной взаимной поддержкой.

Ее необходимо отличать от ситуации, когда один и тот же аргумент многократно переупакован в различные формулировки.

Так появляется задача анализа генеалогии доказательств.

6.6. Независимые основания
Системная доказанность существенно возрастает при наличии независимых оснований.

Пусть теорема имеет два различных доказательства.

Сам по себе этот факт уже интересен.

Но степень усиления зависит от того, насколько эти доказательства действительно независимы.

Они могут:

использовать одну аксиоматику, но разные методы;

использовать разные теории;

опираться на разные промежуточные теоремы;

работать через разные представления объекта;

быть вычислительным и аналитическим;

геометрическим и алгебраическим.

Особенно сильной является ситуация, когда разные основания принадлежат различным математическим формациям, но сходятся на одном результате.

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

Однако независимость имеет степени.

Необходимо исследовать:

общие аксиомы;

общие определения;

общие скрытые предпосылки;

общие программные или вычислительные компоненты;

общие леммы.

Можно ввести понятие глубины независимости.

Поверхностно независимые доказательства могут сходиться к одному общему корню.

Глубоко независимые сохраняют раздельность почти до самых фундаментальных оснований.

С точки зрения Теории разрушения это означает:

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

Следовательно, независимость доказательств непосредственно влияет на системную цену разрушения.

6.7. Сетевые структуры доказательства
Линейная модель доказательства:

основание ; лемма ; теорема

полезна для отдельного рассуждения, но недостаточна для больших математических систем.

Более адекватным объектом становится доказательная сеть.

В ней узлами могут быть:

аксиомы;

определения;

леммы;

теоремы;

вычислительные факты;

метаинварианты;

прогнозы;

структурные модели;

адверсарные результаты.

Связи между ними могут иметь разные типы:

дедуктивное следование;

подтверждение;

ограничение;

объяснение;

эквивалентность;

условную зависимость;

разрушение;

перекрестную проверку.

Таким образом, доказательная сеть является типизированным графом математического знания.

Такое представление чрезвычайно плодотворно.

Оно позволяет выделять:

опорные узлы;

узлы высокой связности;

критические мосты;

изолированные компоненты;

резервные пути;

циклы;

иерархические уровни.

Например, если множество результатов зависит от одной леммы, она становится доказательно критическим узлом.

Если те же результаты можно получить несколькими независимыми путями, сеть обладает резервированием.

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

Если один локальный узел связывает две большие части теории, его разрушение может вызвать системный разлом.

Здесь формальный аппарат непосредственно соединяется с ноогеологией.

Критический узел доказательной сети может играть роль структурного разлома.

Разрушение узла запускает доказательную волну.

Последствия распространяются через сеть зависимостей.

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

6.8. Системная степень доказанности
Теперь можно определить системную степень доказанности.

Она не равна среднему уровню доказанности отдельных утверждений.

Она зависит от структуры всей системы.

Предположим, все теоремы некоторой теории имеют высокую локальную доказанность, но зависят от одного сомнительного фундаментального постулата.

Системная устойчивость будет значительно ниже, чем показывает простое среднее.

И наоборот, часть результатов может иметь умеренный локальный статус, но быть поддержана несколькими независимыми блоками и хорошо интегрирована в сеть.

Следовательно, системная доказанность должна учитывать по крайней мере:

доказательные статусы узлов;

структуру зависимостей;

глубину цепей;

независимость оснований;

наличие резервных путей;

число критических узлов;

степень замыкания;

устойчивость к локальному разрушению;

масштаб каскадных последствий.

Можно выделить несколько видов системной устойчивости.

Узловая устойчивость
Способность пережить разрушение отдельных утверждений.

Канальная устойчивость
Способность пережить потерю одного доказательного метода.

Структурная устойчивость
Сохранение основной архитектуры при локальных изменениях.

Аксиоматическая устойчивость
Сохранение значительной части результатов при изменении некоторых оснований.

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

Последний тип представляет особенно высокий уровень.

Такая теория не просто «не ломается».

Она способна преобразоваться, не потеряв полностью свою идентичность.

Это вновь связывает системную доказанность с условным тождеством и трансволюцией.

Можно поэтому говорить не только о степени доказанности теории, но и о степени устойчивости ее доказанности.

Это отдельная метахарактеристика.

Теория может быть хорошо доказана, но хрупка.

Другая — поддерживаться несколькими разнородными основаниями и быть структурно значительно более устойчивой.

6.9. Доказательный профиль математической теории
В предельном случае вся совокупность рассмотренных характеристик образует доказательный профиль математической теории.

Он должен включать не только перечень доказанных и недоказанных утверждений.

Это слишком примитивная карта.

Полный профиль может содержать следующие слои.

1. Семантический слой
Какие объекты и понятия определены.

Где существуют неоднозначности.

Каковы границы применимости.

2. Истинностный слой
Какие утверждения имеют какой статус.

Какие вопросы остаются открытыми.

3. Доказательный слой
Какими способами установлены результаты.

4. Сетевой слой
Как устроены зависимости между доказательствами.

5. Метаинвариантный слой
Какие метазаконы связывают различные результаты.

6. Устойчивостный слой
Какие локальные нарушения теория способна пережить.

7. Разрушительный слой
Где находятся критические узлы и потенциальные разломы.

8. Аксиологический слой
Какие части теории обладают наибольшей:

общностью;

содержательностью;

эвристической продуктивностью;

генеративностью;

технологической ценностью.

9. Динамический слой
Как профиль менялся и в каком направлении меняется сейчас.

Таким образом, доказательный профиль теории становится не статическим паспортом, а динамической картой ее состояния.

На такой карте можно будет видеть:

ядро;

периферию;

фронтир;

разломы;

резервные структуры;

зоны роста.

Это уже почти прямая формализация геологической метафоры, введенной ранее.

Можно даже провести содержательное соответствие:

аксиоматическое и понятийное ядро — глубинные слои;

доказательные модули — формации;

системы теорем — крупные структурные блоки;

критические зависимости — разломы;

конфликтующие результаты — зоны напряжения;

локальные контрпримеры — возможные форшоки;

глубокая перестройка теории — математическое землетрясение;

пересмотр зависимых результатов — афтершоки;

распространение изменения статуса — доказательные сейсмические волны.

Теперь эта аналогия уже значительно меньше похожа на чистую литературную метафору.

Для каждого элемента начинают появляться потенциально формализуемые аналоги в доказательной сети.

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

Итог Части VI
После шести глав можно сформулировать основной результат этой части.

Математическое знание не обладает единственной характеристикой «доказано / не доказано».

Его состояние многомерно.

Необходимо различать по крайней мере:

истинность;

определенность;

подтвержденность;

воспроизводимость;

доказанность;

метаиндукционную установленность;

устойчивость;

разрушимость;

ценность.

При этом каждая из этих характеристик сама способна иметь внутреннюю структуру.

Следовательно, естественной единицей анализа становится не единичная оценка, а доказательно-аксиологический профиль.

Для отдельного утверждения такой профиль описывает состояние знания о нем.

Для семейства утверждений — распределение состояний внутри класса.

Для системы теорем — архитектуру взаимных зависимостей.

Для целой теории — многослойную доказательную карту.

Это позволяет сделать еще один шаг.

Если доказательность является состоянием, она может изменяться.

Если она изменяется, можно исследовать законы ее изменения.

Если различные теории имеют собственные доказательные сети, можно сравнивать их устойчивость.

Если существуют критические узлы, можно исследовать условия их разрушения.

Таким образом, Теория степеней доказанности естественно выводит нас к следующей крупной проблеме:

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

Следовательно, после теории доказательной силы закономерно должна следовать Теория разрушения математического закона — с понятиями разрушителя, антиметаиндукции, траектории разрушения, критического узла, каскада, цены разрушения и устойчивости метазакона.

********