(черновая философская заметка)
1. Введение
Классическая логика часто воспринимается как нечто самоочевидное, нейтральное и универсальное. Она представляется не как система с допущениями, а как естественный способ мышления.
Однако при более внимательном рассмотрении становится ясно, что классическая логика — это система с собственными аксиомами и правилами преобразования. Она не является «чистой истиной», а представляет собой формальную структуру рассуждения, основанную на определённых исходных принципах.
Это важно понимать, потому что многие философские и мировоззренческие споры происходят внутри логических рамок, которые принимаются как само собой разумеющиеся.
2. Логика как система
Любая формальная система состоит из трёх элементов:
- Элементы — базовые символы или высказывания.
- Аксиомы — утверждения, принимаемые без доказательства.
- Правила вывода — допустимые операции преобразования.
Например:
Шахматы
- элементы: фигуры и клетки
- аксиомы: правила движения фигур
- правила преобразования: допустимые ходы
Классическая логика
- элементы: высказывания (P, Q, R)
- аксиомы: базовые логические законы
- правила вывода: допустимые способы получения новых утверждений
С точки зрения структуры шахматы и логика устроены одинаково.
Это системы, внутри которых разрешены определённые операции.
3. Аксиомы классической логики
Классическая логика опирается на несколько фундаментальных принципов, которые обычно называют законами логики.
3.1. Закон тождества
A = A
Любая вещь тождественна самой себе.
Если утверждение истинно, оно остаётся тем же самым утверждением.
3.2. Закон непротиворечия
¬(A ∧ ¬A)
Невозможно, чтобы утверждение было одновременно истинным и ложным.
3.3. Закон исключённого третьего
A ∨ ¬A
Любое утверждение либо истинно, либо ложно.
Третьего состояния не существует.
Эти три закона образуют фундамент классической логики.
4. Правила вывода
Помимо аксиом существуют операции преобразования.
Примеры:
Modus Ponens
Если:
P → QP
то:
Q
Modus Tollens
Если:
P → Q¬Q
то:
¬P
Эти правила позволяют строить цепочки рассуждений.
5. Ограниченность логической системы
Важно понимать: логика начинает работать только после принятия аксиом.
Аксиомы не выводятся логически — они принимаются.
Это означает, что любая логическая система:
- не является абсолютной
- действует внутри своих рамок
- применима только при принятии исходных принципов
6. Различие между логикой и реальностью
Логика — это формальная система преобразования утверждений.
Она не является автоматически описанием реальности.
Логика определяет:
- как можно рассуждать
- какие преобразования допустимы
Но она не определяет:
- что существует
- как устроена реальность
Эти вопросы относятся уже к онтологии.
7. Возможность альтернативных логик
Исторически были разработаны различные логические системы:
- интуиционистская логика
- параконсистентная логика
- многозначные логики
- квантовая логика
Это показывает, что логика — не единственная возможная структура мышления.
Она может изменяться вместе с принятыми аксиомами.
8. Важное философское следствие
Большая часть интеллектуальных споров происходит внутри неосознаваемых рамок логических и философских предпосылок.
Люди часто спорят:
- о фактах
- о теориях
- о содержании
но не обсуждают сами рамки мышления, внутри которых происходит рассуждение.
Поэтому многие споры оказываются бесплодными: участники используют разные исходные аксиомы.
9. Вывод
Классическая логика — это мощная и эффективная система рассуждения.
Но она:
- основана на аксиомах
- имеет границы применимости
- не является абсолютной моделью реальности
Понимание этого позволяет различать:
- форму рассуждения
- онтологические утверждения о мире
И это различие имеет фундаментальное значение для философии, науки и эпистемологии.
10. Направления для следующего расширения
- Почему фундаментальной операцией мышления является различение.
- Как из различения возникают тождество и отрицание.
- Почему классическая логика — частный случай более глубокой структуры.
- Как это связано с Spencer-Brown и Laws of Form.
- Как это связано с моделью смыслового поля.
