ЧТО ЕСТЬ ИСТИНА?
Доктор философских наук зав сектором логики ИФ РАН РФ А.С.Карпенко в своей рецензии от 12.10.05. на книги по Логикологии «Тайные связи» заявляет, что, согласно А.Тарскому, понятие истины не определимо. Попробуем разобраться с помощью Логикологии, так ли это.
Согласно второй задаче Гильберта, если система аксиом полна (то есть любое утверждение в ней может быть доказано), то она противоречива.
Единственным выходом из такой ситуации остается принятие неполной системы аксиом. То есть, приходиться мириться с тем, что в контексте любой логической системы у нас останутся утверждения «типа А», которые являются заведомо истинными или ложными, — и мы можем судить об их истинности лишь вне рамок принятой нами аксиоматики. Если же таких утверждений не имеется, значит, наша аксиоматика противоречива, и в ее рамках неизбежно будут присутствовать формулировки, которые можно одновременно и доказать, и опровергнуть.
Итак, формулировка первой, или слабой теоремы Гёделя о неполноте: «Любая формальная система аксиом содержит неразрешенные предположения». Но на этом Гёдель не остановился, сформулировав и доказав вторую, или сильную теорему Гёделя о неполноте: «Логическая полнота (или неполнота) любой системы аксиом не может быть доказана в рамках этой системы. Для ее доказательства или опровержения требуются дополнительные аксиомы (усиление системы)».
Догикология является неполной непротиворечивой системой аксиом.
Попробуем с помощью системы аксиом Логикологии определить, что есть Истина, сущность Истины, где система аксиом: 45 что + 72 есть + 72 Истина = 202 будет служить для доказательства логической неполноты и непротиворечивости системы аксиом: 159 сущность + 99 истины = 258
Сначала рассмотрим, что представляет сущность Истины.
СУЩНОСТЬ ИСТИНЫ ( ЦИФРЫ ) 258
Сущность Истины и Цифры имеют одно и то же цифровое значение - это знаковое отображение Истины. Цифра математически подтверждает высказанную словами истину.
Сущность Истины есть аксиома. База Логикологии Бога представляет собой систему аксиом.
Первооснова сущности Истины есть Цифра и Слово. Основное и главное в сущности Цифры и Истины то, что Цифра и Истина осуществляют связь с Богом всего сущего. Это есть закон Природы.
258 сущность Истины = 72 есть + 69 аксиома + 117 правильно
258 сущность Истины = 105 исходное + 85 система + 68 аксиом
85 система + 68 аксиом =153 = 13 база + 118 Логикологии + 22 Бога
258 сущность Истины = 112 понятие + 140 Логикология + 6 да
258 сущность Истины = 123 первооснова + 72 есть, Цифра + 63 Слово
258 сущность Истины = 100 основное, главное + 158 связь с Богом, закон Природы
Первородная сущность Истины - это Всевышний Бог, информационное поле, предопределённость.
258 сущность Истины = 141 первородная + 117 Всевышний
258 сущность Истины = 21 Бог + 237 предопределённость, информационное поле
Теперь непротиворечивость этой системы аксиом докажем с помощью дополнительной системы аксиом, а именно рассмотрим понятие: Что есть Истина = 202
58 ЧТО + 72 ЕСТЬ + 72 ИСТИНА = 202
202 = 136 это есть + 66 основа
что есть Истина 202 = 123 первооснова + 79 число
что есть Истина 202 = 72 цифра + 69 аксиома + 55 верно + 6 да
что есть Истина 202 = 64 это + 117 Всевышний + 21 Бог
что есть Истина 202 = 21 Бог + 175 верное утверждение + 6 да
что есть Истина 202 = 140 Логикология + 56 единое + 6 да
Дополнительная система аксиом показала, что Истина есть Бог, Цифра, сущность и Логикология.
Сущность 159 = 72 Истина + 87 точно
Сущность Истины 258 = 72 есть + 72 Истина + 108 тождество + 6 да
72 Истина + 101 определима = 173 = 167 первоначально, неизменность + 6 да
72 Истина + 101 определима = 173 = 136 это ИСТИНА + 37 ВСЕГДА
72 Истина = 50 закон + 22 Бога
72 Истина + 101 определима = 173 = 72 Истина + 101 недоказуема
72 Истина + 115 подтверждаема = 187 = 148 верное суждение + 39 нет
Итак, мы доказали, что Истина определима первоначально и всегда сохраняет свою неизменность, но она недоказуема и является аксиомой, не требующей подтверждения.