Относительная математика - следствия для парадокса лжеца

[Vaako]

Относительная математика — тезисы к обсуждению

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

2. Я рассматриваю третий тип знания.
Это знание не задаётся заранее и не выводится по правилам.
Оно появляется во время построения.
В традиционной математике такой тип просто игнорируется или заменяется ссылкой «ну, это уже философия».

3. Если истинность утверждений сделать зависимой от третьего типа знания, можно построить пример, где истинность всегда ложная.
Неважно, какие законы логики используются — результат один: всё ложно.

4. Это значит, что можно получить логику, где все утверждения ложные.
Парадокс лжеца в ней не один — им становится любое утверждение.
Эта логика не эквивалентна ни параконсистентной, ни противоречивой логике.
В противоречивой логике утверждение может быть истинным и ложным.
Здесь — только ложным, и при этом каждое утверждение ведёт себя как лжец.

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

6. Из этого следует важный вывод:
Если третий тип знания существует, то существуют задачи, которые неразрешимы без него.
Значит, такие задачи принципиально неразрешимы в традиционной математике.

7. Я не привожу примеров.
Там очень не тривиально и сложновато и куча нюансов, очень много что нужно учесть.
Если кто-то хочет проверить — пусть попробует построить логику «все ложь» без третьего типа знания.
Тоесть исследовать нужно не парадокс лжеца, а именно логку где все ложно.

[petvablogic]

Любопытно... Над этим стоит подумать.

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

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

[Гость]

Немного добавлю для понимания сути, почему «ограничить самореференцию» — это не решение, а просто попытка остаться внутри двух типов знания (априорного и апостериорного).

1️⃣ Сам парадокс лжеца — не ошибка логики и не чисто языковая игра.
Это проявление того, что знание может возникать во время построения, но не быть заранее зафиксировано.
Запрещать самореференцию — значит просто запрещать самому знанию появляться там, где вам неудобно.
Проблема от этого не исчезает.

2️⃣ Ограничения «чтобы не было противоречий» — по сути это защита статуса кво.
Но тогда из формальной системы автоматически выбрасывается часть реальности.
Примеры в физике:

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

3️⃣ В инженерии и практике такие ограничения означают одно — вы не моделируете всё, что реально есть, а только то, что «удобно описывать строго».
Именно поэтому возникают «эффективные теории», «приближения», «калибровки» — и никто не может их обосновать в рамках начальных аксиом.

4️⃣ Отрицательная вероятность — яркий пример.
Её запрещают на уровне терминологии, но разрешают через эквивалентные конструкции под другим названием.
Такой же трюк — «операциональный смысл». Если понятие нельзя измерить, его выкидывают, даже если оно математически нужно.

Что важно:

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

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

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

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

[Vaako]

### Что открывает относительная математика

**1. Открытие третьего типа математического знания**
Относительная математика выявляет тип знания, который не является ни априорным, ни апостериорным. Это знание:

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

**2. Новый взгляд на противоречия**
Рассматриваются не любые противоречия, а только те, что:

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

**3. Относительная строгость как развитие обычной строгости**
Главное отличие:

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

Это не ослабление строгости, а уточнение её границ во времени.

**4. Третий тип знания пронизывает и априорное, и апостериорное**

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

* В апостериорном:
*Индекс авторства* — это физически фиксируемое знание о том, кто создал математический символ. Это знание невозможно устранить, оно присутствует в любом построении и нарушает замкнутость математической системы.

**5. Математика не является замкнутой и самодостаточной системой**
Без привлечения третьего типа знания:

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

**6. Новый уровень связи с физикой**
Третий тип знания:

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

Можно утверждать:

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

**7. Несколько разновидностей третьего типа знания**
Это не единичное явление. Существуют разные формы:

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

[Vaako]

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

Математики должны были открыть это сами, но даже не пытались.
Вместо этого они измеряют «углы пылинок», игнорируя слона в комнате — реальную связь математики с реальностью.

Я предложил обсудить эту тему. В ответ — молчание.

Возникает вопрос:
Математика вообще ещё наука о реальном мире, или это просто клуб для занятий интеллектуальной акробатикой, где реальность никому не интересна?

[Vaako]

Одно из самих странних следствий - єто то, что практические результати математики невозможно получить на практике не допустив нарушение строгости или противоречие. Єто в принципе невозможно. Как же математики єто пропустили ? Они просто виделяли очень небольшой кусочек опита и говорили что именно єта часть важна, а все остальное не важно. На самом деле математики просто ограничивали свой опит только априорним и апостериорним знанием и не имеюит возможности виразитьтретий тип математического знания. После того как относительная математика дала инструменти для и зучения и использования третиьего типа знания єто становится очевидним.