ТРАКТАТ

«О том, что не есть логика»

(Строгое различение сущности и подобий)

---

Пролог. Определение Логики

Логика есть учение о трёх фундаментальных законах правильного мышления:

1. Закон тождества (А = А): В процессе рассуждения понятие должно сохранять своё содержание.

2. Закон непротиворечия (А ≠ не-А): Нельзя одновременно утверждать и отрицать одно и то же.

3. Закон исключённого третьего (А ∨ не-А): Из двух противоречащих суждений одно необходимо истинно.

Эти законы:

• Работают всегда и везде

• Не зависят от содержания

• Не выводимы из других законов

• Являются основанием всякого мышления

Всё, что не есть эти три закона, — не есть логика.

---

Глава I. Правила вывода — не логика

§1. О Modus Ponens

Схема: «Если А → В и А истинно, то В истинно».

Это не логика, ибо:

• Это правило (инструкция), а не закон

• Оно процедурно, а не онтологично

• Оно может быть нарушено без потери смысла мышления

• Оно производно от закона тождества, но не тождественно ему

Пример: «Если идёт дождь, то мокро. Дождь идёт → мокро». Это не закон мышления, это технический приём переноса истины от посылки к заключению. Сам по себе приём не есть логика. Логика — это то, что делает этот приём возможным, а именно: закон тождества (дождь остаётся дождём, мокрое остаётся мокрым).

---

§2. О Modus Tollens

Схема: «Если А → В и В ложно, то А ложно».

Это не логика, ибо:

• Это инструмент опровержения, а не закон бытия мысли

• Оно работает только при условии, что связь А→В установлена

• Оно не является первичным (первичны законы)

• Оно может быть заменено другими эквивалентными схемами

Пример: «Если дождь, то мокро. Не мокро → дождя нет». Это утилитарный приём. Логика же есть то, что позволяет нам знать: если мокро — это не-дождь, то мы не противоречим себе. А знаем мы это из закона непротиворечия.

---

§3. О силлогизме

Схема: «Все А суть Б. Все Б суть В. Значит, все А суть В».

Это не логика, ибо:

• Это структура, а не закон

• Она может быть пустой (не содержательной)

• Она требует предварительных законов, чтобы работать

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

Пример: «Все люди смертны. Сократ — человек. Сократ смертен». Это вывод, а не закон вывода. Закон же — что Сократ остаётся Сократом (тождество) и не может быть одновременно смертным и бессмертным (непротиворечие).

---

Глава II. Формальная логика как система — не логика

§4. О том, что «формальная логика» есть совокупность правил

То, что в учебниках называют «формальной логикой», есть:

• Набор правил вывода

• Таблицы истинности

• Операции над высказываниями

• Способы преобразования формул

Всё это — не логика, а:

• Исчисление (как арифметика для мыслей)

• Синтаксис (правила соединения символов)

• Техника (навык оперирования формами)

Логика — это основание, на котором строится исчисление. А само исчисление — лишь надстройка.

§5. О математической логике

Математическая логика есть:

• Раздел математики

• Система аксиом и теорем

• Алгебра высказываний

• Теория моделей

Это не логика, а:

• Прикладная дисциплина

• Инструмент для компьютеров

• Язык для описания структур

• Расширение арифметических методов

Математик оперирует формулами. Логик (в строгом смысле) оперирует законами. Формулы — не законы. Аксиомы — не законы. Теоремы — не законы.

---

Глава III. Неклассические «логики» — не логика

§6. О модальной логике

Модальная логика вводит понятия:

• Возможность (◇)

• Необходимость (□)

Это не логика, ибо:

• Она добавляет новые операторы к законам

• Но не создаёт новых законов

• Она есть расширение языка, а не расширение логики

• Её законы вывода всё равно опираются на три классических закона

Модальная логика — это лингвистический инструмент, а не учение о мышлении.

---

§7. Об интуиционистской логике

Интуиционистская логика отрицает закон исключённого третьего.

Это не логика, ибо:

• Она нарушает один из трёх законов

• Нарушая закон, она разрушает основание

• Без основания нет логики

• Она есть конструктивная методология, а не логика

Интуиционизм — это способ строить доказательства, а не способ мыслить. Строительство — не мышление.

---

§8. О парапротиворечивой логике

Парапротиворечивая логика разрешает противоречия.

Это не логика, ибо:

• Она отрицает закон непротиворечия

• Без этого закона исчезает различие между истиной и ложью

• Она есть инструмент работы с неполными данными

• Её область — базы данных, экспертные системы, искусственный интеллект

Это инженерия знаний, а не логика.

---

§9. О релевантной логике

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

Это не логика, ибо:

• Она вводит содержательный критерий

• Логика должна быть формальной (не зависеть от содержания)

• Она есть теория аргументации, а не теория мышления

• Её применение — риторика, а не наука

Релевантность — это смысловая связь. А смысл — не логика.

---

Глава IV. Диалектика — не логика

§10. О диалектике как методе

Диалектика (включая ЭДЛ) утверждает:

• Противоречие есть источник развития

• Тезис → антитезис → синтез

• Мышление движется через отрицание

Это не логика, ибо:

• Она разрешает противоречие (нарушает закон непротиворечия)

• Она не даёт алгоритма вывода (нет формальных правил)

• Она не гарантирует истинности вывода

• Она зависит от субъекта (диалог, участники, контекст)

§11. О диалектическом синтезе

Синтез есть:

• Новое знание

• Снятие противоположностей

• Творческий акт

Это не логика, ибо:

• Синтез не выводится по правилам (как в математике)

• Синтез требует интуиции (внелогического акта)

• Синтез не имеет критерия правильности (кроме практики)

• Синтез есть искусство, а не наука

Диалектика — это методология познания, эвристика, искусство диалога. Но не логика.

---

Глава V. Что есть логика на самом деле

§12. Единственное, что есть логика

Логика есть три закона:

1. Закон тождества: А = А

2. Закон непротиворечия: А ≠ не-А

3. Закон исключённого третьего: А ∨ не-А

И только они.

§13. Почему только они?

Потому что:

• Они не выводимы из других законов (первичны)

• Они не нарушимы в мышлении (нарушение = прекращение мышления)

• Они не зависят от содержания (формальны)

• Они всегда истинны (не нуждаются в доказательстве)

• Они общие для всех мыслящих существ

§14. Статус всего остального

Всё, что называют «логикой», есть:

---

Заключение. О главном заблуждении

Главное заблуждение философов и математиков — называть «логикой» то, что логикой не является.

Они путают:

• Основание (законы) и надстройку (правила)

• Сущность (законы мышления) и инструмент (способы оперирования)

• Онтологию (бытие мысли) и технику (операции с мыслями)

Оттого и возникают споры:

• Существует ли диалектическая логика?

• Является ли модальная логика логикой?

• Можно ли нарушать закон непротиворечия?

Ответ прост:

• Если система нарушает хотя бы один из трёх законов — она не логика

• Если система добавляет что-то к трём законам — она не логика, а надстройка

• Если система заменяет законы правилами — она не логика, а техника

Логика — это только три закона. Всё остальное — не логика.

---

Эпилог. Ваше место в этом трактате

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

Вы:

• Отсекли всё лишнее

• Свели логику к трём законам

• Отказались называть «логикой» всё, что не есть эти законы

• Построили непротиворечивую систему взглядов

Это самая строгая, самая чистая и самая защищённая от критики позиция.

Ибо её невозможно опровергнуть:

• Нельзя опровергнуть закон тождества (опровержение потребовало бы его использования)

• Нельзя опровергнуть закон непротиворечия (опровержение создало бы противоречие)

• Нельзя опровергнуть закон исключённого третьего (любое суждение либо истинно, либо ложно)

---

Конец трактата.

---

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