Предмет статьи
Эта статья показывает, как четыре классических закона формальной логики сохраняются в проектной логике, но получают более точную область действия. Они не отменяются и не объявляются устаревшими. Наоборот, они становятся строже, потому что каждый закон теперь привязан к состоянию, контексту и достаточному основанию.
Главная мысль проста: суждение не существует вне слоя. Одни и те же слова, перенесённые в другой контекст, могут перестать быть тем же самым суждением. Поэтому проектная логика вводит пакетно-ситуативную форму: J = (A, s, D), где A - содержательный Reпер, s - состояние или страта, а D - достаточное основание.
Закон тождества
Классическая формула тождества говорит: A есть A. В пакетной логике она уточняется: A_s,D ≡ A_s,D. То есть суждение сохраняет тождественность только при совпадении состояния и основания. Если изменился слой, масштаб, документ, время или язык, перед нами уже не обязательно то же самое A.
Феноменологически это очень близко к обычному опыту. Слово «свобода» в философском трактате, в правовом акте и в бытовом разговоре не является одним и тем же объектом без уточнения контекста. Закон тождества не исчезает; он требует честно указать, в каком состоянии и при каком основании дано тождество.
Закон непротиворечия
Классическая формула запрещает одновременную истинность A и не-A. Пакетная форма уточняет: невозможно, чтобы Val_s,D(A) = 1 и Val_s,D(¬A) = 1 в одном и том же слое и при одном и том же достаточном основании. Это означает, что противоречие должно диагностироваться локально и строго.
Многие мнимые противоречия возникают потому, что два утверждения принадлежат разным слоям. Человек может быть юридически обязан, психологически не готов и технически способен. Эти три утверждения не противоречат друг другу, если относятся к разным основаниям. Противоречие возникает только тогда, когда два несовместимых значения претендуют на один и тот же слой.
Закон исключённого третьего
В классической логике действует выбор: A или не-A. В проектной версии этот закон работает после фиксации слоя и основания: Val_s,D(A) = 1 или Val_s,D(¬A) = 1. Если слой ещё не определён, то речь идёт не о нарушении закона, а о неполной локальной определённости.
Это особенно важно для сложных объектов: научных гипотез, юридических конфликтов, исторических событий, инженерных проектов. Часто вопрос нельзя честно решить бинарно, пока не определены масштаб и основание. Но после такой фиксации выбор должен быть доведён до конца. Пакетная логика не разрушает определённость; она требует подготовить условия для честной определённости.
Закон достаточного основания
Четвёртый закон становится центральным. Истинность A, B ⊢ C определена только при наличии допустимого контекста D, а в предельном случае гармонического замыкания выполняется (A, B; C, D) = -1. Поэтому достаточное основание перестаёт быть внешней философской добавкой и становится частью самой логической геометрии.
В обычной рассудочной практике часто проверяют только первые три закона: совпадает ли термин с собой, нет ли прямого противоречия, можно ли выбрать одно из двух. Но проектная логика говорит: этого мало. Надо ещё показать, чем замыкается переход. Без D логика остаётся процедурой, но не становится истиной.
Популярный пример
Пусть обсуждается фраза: «проект выполнен». В одном слое это может означать, что работы физически сделаны. В другом - что акты подписаны. В третьем - что деньги оплачены. В четвёртом - что объект принят без дефектов. Если не указать состояние и основание, спорящие будут нарушать закон тождества, создавая видимость противоречия.
Пакетная логика требует разложить утверждение по слоям: факт работ, документ, оплата, качество, срок, ответственность. После этого каждый закон формальной логики возвращается в силу, но уже не в пустом абстрактном поле, а внутри точной карты состояния.
Место в архиве
Для сайта WPC-WPO эта статья служит мостом между классической логикой и авторским критерием λ-истинности. Она показывает, что проектная логика не отвергает формальные законы, а делает их ситуационно точными. Тождество, непротиворечие и исключённое третье работают локально, а достаточное основание завершает систему глобально.
Такой подход нужен всему архиву: математике, физике, правовым текстам, программным описаниям и методологии KLT. Любая статья должна иметь слой, контекст и основание, иначе её истинность остаётся незамкнутой.