Метаиндукция. Шкалы истинностных состояний

Шкалы истинностных состояний

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

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


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

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

Утверждение может быть истинным и еще не доказанным.

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

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

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

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

1. Бинарная истинностная шкала
Для полностью определенного утверждения относительно фиксированной семантики классическая шкала имеет два значения:

истинно;

ложно.

Это фундаментальная шкала и она не отменяется Теорией метаиндукции.

Особенно важно:

«неизвестно» не является автоматически третьим значением истинности.

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

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

ложно

и

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

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

Это допустимо только тогда, когда:

задана соответствующая логика;

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

определены операции над ними.

Нельзя произвольно превращать:

«вероятно»;

«неизвестно»;

«частично доказано»

в дополнительные значения истины без формального основания.

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

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

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

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

контекстуально определенное — значение фиксируется только после указания контекста;

частично определенное — часть существенных условий не задана;

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

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

Это метасемантические состояния.

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

Принцип:

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

4. Контекстуальная шкала истинности
Некоторые утверждения истинны или ложны только относительно определенного контекста.

Контекст может включать:

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

предметную область;

масштаб;

класс объектов;

логику;

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

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

Поэтому корректная форма иногда имеет вид:

истинно в контексте C.

Контекстуальность не означает субъективного релятивизма.

Напротив, она требует более точного указания условий.

Одно утверждение может быть:

истинно в C;;

ложно в C;;

не определено в C;.

Противоречия здесь нет, если контексты действительно различаются.

5. Локальная и глобальная истинность
Следует различать:

локальную истинность

и

глобальную истинность.

Локальное утверждение относится к:

диапазону;

области;

масштабу;

подклассу.

Глобальное — ко всему заявленному классу.

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

Это особенно важно для вычислительных исследований.

Запись:

утверждение истинно для всех проверенных объектов

не эквивалентна:

утверждение истинно для всех объектов вообще.

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

6. Объектная и метаистинность
Можно различать уровни утверждений.

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

Метаутверждение
Относится к закону изменения объектных утверждений или состояний.

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

Поэтому ложность локального объектного ожидания не обязательно разрушает метазакон.

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

7. Условная истинность
Утверждение может иметь форму:

при условиях C выполняется P.

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

истинность условия;

истинность импликации;

фактическую реализованность условия.

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

Поэтому доказательная теория должна фиксировать:

что именно доказано:

условное отношение

или

безусловная реализация результата.

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

8. Уровневая истинность
В иерархических системах утверждение может быть истинным на одном уровне описания и неприменимым на другом.

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

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

уровень, к которому относится истинностное утверждение.

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

истинность метазакона

на

истинность каждой локальной реализации,

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

9. Динамика истинностной оценки
Необходимо различать два совершенно разных явления.

Первое — изменение знания о фиксированном утверждении.

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

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

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

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

или к опровержению.

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

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

Например:

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

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

10. Истинность и подтвержденность
Подтвержденность не является истинностью.

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

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

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

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

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

11. Истинность и вероятность
Вероятность и истинность также должны быть разделены.

Высказывание:

P имеет вероятность 0,9

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

частотную вероятность;

байесовскую степень уверенности;

меру на пространстве объектов;

модельную вероятность.

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

Для фиксированного классического утверждения оно может быть истинным или ложным, даже если наша субъективная или модельная уверенность составляет 0,9.

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

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

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

истинность;

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

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

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

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

13. Истинность и признание
Следует также различать:

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

и

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

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

Социальное признание является отдельной характеристикой истории знания.

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

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

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

контекст;

область;

уровень;

условия;

семантический статус;

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

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

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

15. Принцип разделения шкал
Главным итогом классификации является следующий принцип:

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

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