Исходный тезис
Часто под «чистой логикой» понимают нечто автономное и универсальное, что не зависит ни от языка, ни от допущений. Разбор показывает обратное: логика не стартует в пустоте и всегда работает внутри заранее заданной рамки.
1. Почему логика не может быть «самодостаточной»
Логический вывод требует исходных условий:
— какие объекты и сущности считаются допустимыми;
— какие выражения считаются осмысленными;
— какие значения истинности используются;
— какие преобразования считаются корректными.
Без этих условий невозможно даже начать формальное рассуждение. Поэтому логика не создаёт фундамент «из ничего», а работает на уже заданном основании.
2. Аксиомы и правила вывода задаются, а не выводятся
В любой формальной системе есть как минимум:
1. Аксиомы — исходные утверждения, принимаемые без доказательства.
2. Правила вывода — допустимые операции перехода от одних утверждений к другим.
Ключевая точка: сами правила вывода (например, modus ponens) нельзя обосновать, не используя уже некоторую систему вывода. Это указывает на неизбежный мета-уровень предпосылок.
3. Логика условна по форме
Логический вывод всегда имеет вид:
если приняты X, то следует Y.
Но логика сама по себе не доказывает истинность X. Она лишь фиксирует, что в рамках принятых условий вывод Y корректен.
4. Нет единственной «чистой логики»
Существуют разные логические системы:
— классическая;
— интуиционистская;
— параконсистентная;
— многозначная;
— модальная;
— другие специализированные варианты.
Это показывает, что «логика» — не единичный абсолют, а семейство формализмов с разными базовыми правилами.
5. Произвольность ограничена устойчивостью системы
Хотя правила задаются извне, не любые наборы правил одинаково пригодны. Система должна сохранять внутреннюю работоспособность (например, не сводиться к тривиальности, где можно вывести всё из чего угодно).
Иными словами, логика — это не просто случайный набор ходов, а набор устойчивых преобразований, поддерживающих структуру вывода внутри выбранной рамки.
6. Связь с различением
Если базовым считать не «готовую логику», а различение, порядок становится таким:
1. различение и границы;
2. категории и язык описания;
3. правила вывода;
4. логические следствия.
Тогда логика оказывается вторичным механизмом: инструментом движения внутри уже оформленного пространства различий.
7. Практический вывод для споров и исследований
Большинство споров застревает на уровне выводов, при том что расхождение находится уровнем выше — в аксиомах и в правилах их интерпретации.
Поэтому корректный старт обсуждения:
— явно назвать рамку;
— обозначить аксиомы;
— согласовать правила вывода;
— только затем сравнивать выводы.
Итоговая формулировка
Логику корректнее понимать не как абсолютный фундамент реальности, а как грамматику выбранного мира: она работает строго и эффективно, но только после того, как заданы исходные различения, допущения и критерии корректности.
