Комментарий к Логике, Глава 9
Умозаключение как обоснование
Суждение говорит: «S есть P». Сомнение спрашивает: «Почему?». Ответ должен предъявить опосредствование: «S есть M, и M есть P, следовательно, S есть P». Средний термин (M) — это «потому что»: мост, соединяющий единичное со всеобщим. Без умозаключения всё остаётся просто мнением. Наука — это система умозаключений.
Тройная перестановка — гениальный ход Гегеля
Обзорные таблицы форм умозаключения:
Умозаключения наличного бытия — средний термин выбран случайно:
| Фигура | Схема | Пример | Проблема |
|---|---|---|---|
| 1-я фигура | Е–О–В | «Роза красна / красное — цвет / роза — цветна» | Произвольный средний термин |
| 2-я фигура | О–Е–В | «Некоторые вещи полезны / инструменты — вещи / некоторые инструменты полезны» | Никакой необходимости |
| 3-я фигура | Е–В–О | «Люди смертны / камни не смертны / человек — не камень» | Только разделяет, не связывает |
Общая проблема: средний термин выбран произвольно — можно было взять и другой. Умозаключение формально «имеет силу», но ничего не объясняет. Нам нужен средний термин не случайный, а охватывающий весь объём предмета.
Умозаключения рефлексии — всеобщность остаётся проблематичной:
| Форма | Пример | Несостоятельность |
|---|---|---|
| Всеобщность (Allheit) | «Все люди смертны / Кай — человек / Кай смертен» | Круг — «все» уже предполагает Кая |
| Индукция | «Золото проводит, медь проводит… / все металлы проводят» | Никогда не завершима |
| Аналогия | «Земля обладает жизнью / Луна подобна Земле / есть ли жизнь на Луне?» | Сходство неопределённо |
Обе формы умозаключения неизбежны и обе ненадёжны — это не недостаток логики, а положение всякого познания, выходящего за пределы данного. Как практически обходиться с этой ненадёжностью, описывает [[wahrheit:10]] (опционально) как калибровку.
Ещё один шаг вперёд: рефлективные умозаключения выхватывают за пределы отдельного случая — но не достигают необходимости. Индукция собирает случаи, никогда не видя их все. Аналогия указывает на сходство, не зная его основания. Недостаток: нам нужно усмотрение предметного основания, а не простое обобщение.
Умозаключения необходимости — средний термин показывает предметное основание:
| Форма | Пример | Прирост познания |
|---|---|---|
| Категорическое | «Золото — металл / металлы проводят / золото проводит» | Показывает почему — исходя из природы рода |
| Гипотетическое | «Если трение, то теплота / здесь — трение / следовательно, теплота» | Условная необходимость |
| Разделительное | «Металл есть Fe или Cu или Au… / не Fe, не Cu / следовательно, Au» | Метод исключения |
Здесь круг замыкается: средний термин уже не произволен, а показывает внутреннюю необходимость связи. «Золото проводит, потому что оно металл» — «почему» заключено в «что».
Каждый элемент (Е, О, В) должен один раз оказаться в середине!
| Фигура | Структура | Пример | Вид |
|---|---|---|---|
| Фигура 1 (Е–О–В) | Особенное опосредствует | «Сократ (Е) смертен (В), потому что он человек (О)» | Дедукция |
| Фигура 2 (В–Е–О) | Единичное опосредствует | «Золото, медь, железо (Е) проводят → все металлы (В) проводят» | Индукция |
| Фигура 3 (О–В–Е) | Всеобщее опосредствует | «Организм (О) сохраняется через закон природы (В) в этом живом существе (Е)» | Аналогия |
Лишь круговорот всех трёх фигур делает разум полным. Теория (В) должна подтверждаться в экспериментах (Е) и быть опосредована методами (О). Только когда круг В–О–Е–В замкнут, система устойчива.
От умозаключения наличного бытия к умозаключению необходимости — внутреннее движение
И здесь каждая ступень гонит к следующей собственным недостатком:
Умозаключения наличного бытия (≈ логика бытия в умозаключении): качественные умозаключения (фигуры 1–3) основаны на случайных свойствах. «Роза красна; всё красное прекрасно; значит, роза прекрасна» — формально правильно, но средний термин «красное» произволен: можно было бы выбрать «колючее» и прийти к противоположному. Недостаток: средний термин слишком беден — он выхватывает произвольный признак. Переход: нам нужен средний термин не произвольный, а охватывающий целый объём.
Рефлективные умозаключения (≈ логика сущности в умозаключении): индукция и аналогия выходят за пределы единичного. Индукция: «Этот лебедь бел, и тот тоже… следовательно, все». Аналогия: «Земля имеет атмосферу и жизнь; Марс имеет атмосферу; следовательно, на Марсе, возможно, есть жизнь». Оба дают вероятность, но не достоверность. Недостаток индукции: «умозаключение через всеобщность» страдает от круга — оно предполагает, что мы видели все случаи, а именно этого мы никогда не можем знать. Индукция — дурная бесконечность умозаключения: ещё один случай, и ещё. Переход: нам нужен не пересчёт всех случаев, а усмотрение внутренней необходимости.
Умозаключения необходимости (≈ логика понятия в умозаключении): Категорическое: «Золото — металл; металлы проводят; следовательно, золото проводит» — связь сущностная, не случайная. Гипотетическое: «Если температура > 100°C, то вода испаряется» — условие принуждает следствие. Разделительное: «Данный металл есть либо золото, либо серебро, либо медь… (разделение полно). Этот металл — не золото, не серебро… следовательно, это медь». Здесь необходимость принудительна, потому что исключены все альтернативы. Разделительное умозаключение — высшая форма, потому что оно исчерпывает тотальность возможностей.
Параллель с общей архитектурой: три ступени умозаключения повторяют три части логики: бытие (непосредственное, случайное) → сущность (рефлектированное, вероятное) → понятие (постигающее, необходимое). Винтовая лестница вращается и здесь.
Умозаключение как наука — определение, деление, доказательство
То, что здесь предстаёт как задача науки, некогда было школьным материалом классической логики, а сегодня почти целиком исчезло — теория множеств не знает определения порядка, формальная логика начинает с готовых понятий. [[systematisches-denken:6a]] (опционально) описывает эту лакуну, [[systematisches-denken:8]] (опционально) заново выстраивает учение о делении. Наука — это систематическое умозаключение. Три момента научной практики соответствуют трём формам умозаключения: определение (Что это такое? — категорическое), деление (Каковы его виды? — разделительное), доказательство (Почему это так? — гипотетическое). Логика умозаключения — не просто формализм; она — грамматика научного аргументирования.
Гегель versus формальная логика
Формальная логика рассматривает умозаключения как чисто синтаксические операции — истинны ли посылки, её не интересует. Гегелевская логика показывает: сама форма умозаключения обладает содержанием. Умозаключение наличного бытия содержательно бедно (тавтологично), умозаключение необходимости содержательно богато (схватывает сущность). Форма развивается — а вместе с ней и то, что может считаться «доказательством». Формальная логика относится к гегелевской так же, как шахматная доска к шахматной игре: правила необходимы, но игра выходит за их пределы.