# Основные законы логического мышления (LAW)  Четыре основных закона формальной логики — обязательные условия правильного мышления. Нарушение любого из них делает рассуждение логически неправильным независимо от истинности посылок. Источник: Гл. VII учебника Виноградова–Кузьмина. Термины — см. [глоссарий, разделы 17–20](../glossary.md#17-закон-тождества).  ---  ## Навигация - [Таблица правил](#таблица-правил) - [Принцип](#принцип) - [Подробное описание](#подробное-описание) - [Пример проверки](#пример-проверки) - [Исключения и граничные случаи](#исключения-и-граничные-случаи) - [Версионирование](#версионирование)  ---  ## Таблица правил | ID | Правило | |----|---------| | LAW-001 | Закон тождества: в данном рассуждении каждое понятие (и тезис) употребляется в одном и том же смысле. | | LAW-002 | Закон противоречия: два противоположных высказывания не могут быть оба истинными в одно и то же время и в одном и том же отношении. | | LAW-003 | Закон исключённого третьего: из двух противоречащих суждений одно истинно, другое ложно, а третьего не дано. | | LAW-004 | Закон достаточного основания: всякая истинная мысль должна быть обоснованной. |  ---  ## Принцип Законы логики выражают четыре обязательных качества правильного мышления: определённость (LAW-001), непротиворечивость (LAW-002), последовательность (LAW-003) и обоснованность (LAW-004). Они первичны по отношению к остальным правилам системы: правила определения, деления, силлогизма и доказательства суть частные применения этих законов. Проверка на законы применяется к любому рассуждению — от отдельного суждения до развёрнутого доказательства.  | Закон | Обеспечивает качество | Против чего направлен | |-------|----------------------|-----------------------| | LAW-001 тождества | определённость | подмена понятия/тезиса, двусмысленность | | LAW-002 противоречия | непротиворечивость | самопротиворечие | | LAW-003 исключённого третьего | последовательность | уклонение от «да/нет» в альтернативе | | LAW-004 достаточного основания | обоснованность | голословность, вера без доказательства |  ---  ## Подробное описание  **[LAW-001]** *Закон тождества.* «В данном рассуждении, споре, дискуссии каждое понятие должно употребляться в одном и том же смысле» (Гл. VII, § 2). На всём протяжении рассуждения предмет мысли и смысл каждого термина остаются постоянными. Нарушения: **подмена понятия** (термин меняет значение по ходу рассуждения), **подмена тезиса** (доказывается не то, что заявлено), **эквивокация** (использование многозначного слова в разных смыслах, в т. ч. как средний термин силлогизма — см. [SYL-001](syllogism-rules.md)).  **[LAW-002]** *Закон противоречия.* «Два противоположных высказывания не могут быть оба истинными в одно и то же время, в одном и том же отношении» (Гл. VII, § 3). Распространяется и на противные (A–E), и на противоречащие (A–O, E–I) суждения об одном предмете. Оговорка «в одном и том же отношении» существенна: суждения «Иванов молод (как работник)» и «Иванов немолод (как спортсмен)» не противоречат друг другу, так как взяты в разных отношениях.  **[LAW-003]** *Закон исключённого третьего.* «Из двух противоречащих суждений всегда одно истинное, другое ложное, а третьего быть не может» (Гл. VII, § 4). Применим **только к противоречащим** суждениям, выражающим строгую альтернативу «A или не-A». К противным суждениям (допускающим промежуточный, третий вариант) закон неприменим: из ложности «Все S суть P» не следует истинность «Ни одно S не есть P».  **[LAW-004]** *Закон достаточного основания.* «Всякая истинная мысль должна быть обоснованной» (Гл. VII, § 5). Всякое утверждение опирается на достаточное основание — факты, аксиомы или ранее доказанные истинные суждения. На этом законе держатся правила силлогизма (нераспределённый средний термин, расширение терминов — нарушения именно LAW-004) и правила доказательства.  > **Важно:** законы формы не подтверждают истинности посылок. LAW-002 запрещает утверждать A и > не-A одновременно, но не решает, какое из них истинно; LAW-004 требует обоснования, но само > обоснование проверяется отдельно. Форма и содержание разделяются (см. [L-001] конституции).  ---  ## Пример проверки  ```text Рассуждение: «Движение вечно. Хождение в школу — движение.               Следовательно, хождение в школу вечно».  Проверка на LAW-001: слово «движение» употреблено в двух разных смыслах —   философском (движение материи вообще) и обыденном (перемещение).   Нарушение закона тождества (подмена понятия) → эквивокация среднего термина. Вердикт: рассуждение логически неправильно (нарушен LAW-001). ```  ---  ## Исключения и граничные случаи  | Ситуация | Как поступить | |----------|---------------| | Суждения расходятся, но взяты «в разном отношении» | Противоречия нет; LAW-002 не нарушен — зафиксировать отношение явно | | Суждения противные (A–E), а не противоречащие | LAW-003 неприменим: возможен третий вариант; проверять по LAW-002 | | Суждение очевидно или является аксиомой | LAW-004 не требует отдельного обоснования (Гл. VII, § 5) |  ---  ## Версионирование | Версия | Дата | Задача | Агент | Модель | Описание изменений | |--------|------|--------|-------|--------|--------------------| | 1.0.0 | 2026-07-31 | Запрос пользователя: разработать правила логики (Фаза 2) | Claude Code | Claude Opus 4.8 | Начальное создание: LAW-001…004 с формулировками по Гл. VII первоисточника, привязкой к качествам мышления и типовым нарушениям |