Рождение логики

Зарождение логики как науки произошло внутри философии: она изучала познающее мышление и служила инструментом познания. Хотя элементы логического рассуждения встречались в разных культурах с древнейших времён, становление логики в качестве систематизированной дисциплины связывают с IV веком до н. э. и с именем Аристотеля (384–322 гг. до н. э.).

Ранние истоки логики в разных цивилизациях

До Аристотеля зачатки логических идей развивались в других центрах древней мысли:

• Древняя Индия (VI в. до н. э.): особое внимание уделялось теории умозаключения, которое отождествлялось с доказательством. Школа ньяя (буквально «логика») разработала методы отличения надёжных источников знания от ложных мнений. Основной текст — «Ньяя‑сутры» Акшапады Гаутамы (II в. н. э.).
• Древний Китай (эпоха Конфуция): философская школа моизма (основатель — Мо‑цзы) и её ответвление Мин цзя затрагивали правила вывода и условия правильных умозаключений. Логические теории были разбросаны по трактатам по философии, этике и политике.

Аристотель и создание формальной логики

Аристотель считается основоположником логики как систематической дисциплины. Его труды по логике объединены под общим названием «Органон» («орудие, инструмент познания»). В них он:

1. Сформулировал фундаментальные законы мышления:
   • закон тождества;
   • закон непротиворечия (закон противоречия);
   • закон исключённого третьего.
2. Описал ключевые логические операции.
3. Разработал теоретические основы понятия и суждения.
4. Подробно исследовал силлогистическое (дедуктивное) умозаключение — способ рассуждения, где из двух посылок выводится заключение.

В состав «Органона» входят сочинения:

• «Категории» — классификация того, что может быть субъектом и предикатом суждения;
• «Об истолковании» — анализ простых категорических суждений;
• «Первая аналитика» — формальный анализ валидных форм рассуждений (силлогизмов), где впервые использованы переменные и аксиоматический метод;
• «Вторая аналитика» — учение о научном доказательстве;
• «Топика» и «О софистических опровержениях» — о диалектических дискуссиях и ошибках в рассуждениях.

Вклад античных стоиков и других мыслителей

Существенный вклад внесли античные стоики (Зенон, Хрисипп и др.), которые:

• дополнили теорию силлогизма анализом сложных умозаключений;
• заложили основы того, что позднее стало логикой высказываний.

Развитие аристотелевских идей продолжили:

• Гален, Порфирий, Боэций — комментировали и систематизировали учение Аристотеля, их сочинения долгое время служили основными логическими пособиями.

Краткий итог

Таким образом, рождение логики как науки принято относить к IV веку до н. э. и связывать с Аристотелем, создавшим первую систематическую теорию правильного мышления. Однако важные предпосылки сложились ранее в Индии (школа ньяя) и Китае (моизм). Античные стоики и позднейшие комментаторы дополнили и развили аристотелевское учение, подготовив почву для дальнейшего прогресса логики в Средние века и Новое время.