Формальная логика

Формальная логика — это раздел логики, изучающий структуру правильных рассуждений, отвлекаясь от конкретного содержания входящих в них понятий и суждений. Она оперирует формами мышления (понятиями, суждениями, умозаключениями) и устанавливает законы и правила, соблюдение которых гарантирует получение истинного заключения из истинных посылок. В отличие от диалектической логики, исследующей развитие и противоречия в мышлении, формальная логика занимается статическими, непротиворечивыми формами.

История

Античность

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

Средневековье

В Средние века формальная логика преподавалась в университетах как часть тривиума (грамматика, риторика, диалектика). Схоласты, такие как Пётр Абеляр и Уильям Оккам, углубили аристотелевскую логику, разработали теорию суппозиций (значения терминов) и внесли вклад в семантику. В исламском мире логику развивали аль-Фараби, Ибн Сина (Авиценна) и Ибн Рушд (Аверроэс), которые комментировали и дополняли Аристотеля.

Новое время

В XVII–XIX веках формальная логика подверглась критике со стороны эмпириков (Фрэнсис Бэкон, Джон Локк) и рационалистов (Рене Декарт, Готфрид Лейбниц). Лейбниц выдвинул идею «универсальной характеристики» — формального языка, который позволил бы сводить рассуждения к вычислениям. Эта идея предвосхитила современную математическую логику. В XIX веке Иммануил Кант в «Критике чистого разума» утверждал, что формальная логика («общая логика») является завершённой наукой, не изменившейся со времён Аристотеля.

Современный этап

В конце XIX — начале XX века произошла революция в формальной логике, связанная с работами Готлоба Фреге, Бертрана Рассела и Альфреда Норта Уайтхеда. Они создали математическую (символическую) логику, которая использует искусственные формальные языки и строгие аксиоматические методы. Фреге ввёл понятие квантора и разработал исчисление предикатов. Рассел и Уайтхед в «Principia Mathematica» (1910–1913) предприняли попытку сведения всей математики к логике. В XX веке формальная логика стала основой для развития теории алгоритмов, теории вычислимости, искусственного интеллекта и лингвистики.

Основные понятия

Суждение (высказывание)

Суждение — это форма мышления, в которой что-либо утверждается или отрицается о предметах и явлениях. В формальной логике суждение, выраженное в языке, называется высказыванием. Высказывание может быть истинным или ложным. Например: «Земля вращается вокруг Солнца» — истинное высказывание; «2 + 2 = 5» — ложное.

Понятие

Понятие — это форма мышления, отражающая существенные признаки предметов или явлений. Понятия имеют объём (множество предметов, подпадающих под понятие) и содержание (совокупность существенных признаков). Например, понятие «студент» имеет объём — все учащиеся высших учебных заведений, и содержание — «человек, обучающийся в вузе».

Умозаключение

Умозаключение — это форма мышления, в которой из одного или нескольких суждений (посылок) выводится новое суждение (заключение). Умозаключения делятся на дедуктивные (от общего к частному), индуктивные (от частного к общему) и традуктивные (по аналогии).

Силлогизм

Силлогизм — это дедуктивное умозаключение, в котором из двух посылок, связанных общим термином, выводится заключение. Классический пример Аристотеля:

• Все люди смертны (большая посылка).
• Сократ — человек (меньшая посылка).
• Следовательно, Сократ смертен (заключение).

Законы формальной логики

Формальная логика опирается на четыре основных закона, сформулированных ещё Аристотелем:

1. Закон тождества: каждая мысль в процессе рассуждения должна быть тождественна самой себе. Иными словами, нельзя подменять одно понятие другим. Формально: A = A.
2. Закон непротиворечия: не могут быть одновременно истинными два противоположных суждения об одном и том же предмете, взятом в одно и то же время и в одном и том же отношении. Формально: ¬(A ∧ ¬A).
3. Закон исключённого третьего: из двух противоречащих суждений одно истинно, другое ложно, а третьего не дано. Формально: A ∨ ¬A.
4. Закон достаточного основания: всякая истинная мысль должна быть обоснована другими мыслями, истинность которых уже установлена. Этот закон был сформулирован Готфридом Лейбницем в XVII веке.

Разделы формальной логики

Классическая логика

Классическая логика включает в себя традиционную аристотелевскую логику (силлогистику) и пропозициональную логику (логику высказываний). Она основана на принципе двузначности: каждое высказывание либо истинно, либо ложно.

Математическая (символическая) логика

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

• Логика высказываний: изучает логические операции (конъюнкция, дизъюнкция, импликация, отрицание) над высказываниями.
• Логика предикатов: расширяет логику высказываний, вводя кванторы (∀ — «для всех», ∃ — «существует») и предикаты (свойства и отношения).
• Теория доказательств: изучает формальные доказательства и их свойства.
• Теория моделей: исследует отношения между формальными языками и их интерпретациями (моделями).

Неоклассические логики

В XX веке возникли неклассические логики, отказывающиеся от некоторых принципов классической логики:

• Модальная логика: изучает высказывания с модальностями (необходимо, возможно, случайно).
• Интуиционистская логика: отвергает закон исключённого третьего для бесконечных множеств.
• Многозначная логика: допускает более двух истинностных значений (например, истина, ложь, неопределённость).
• Нечёткая логика: оперирует степенями истинности (от 0 до 1).

Применение

Формальная логика находит применение в различных областях:

• Математика: обоснование математических теорий, доказательство теорем, теория алгоритмов.
• Информатика: проектирование цифровых схем, разработка языков программирования, искусственный интеллект (системы логического вывода, экспертные системы), базы данных (реляционная алгебра).
• Лингвистика: формальная семантика, анализ естественного языка.
• Философия: анализ аргументов, критика рассуждений, метафизика.
• Юриспруденция: построение правовых норм, судебные доказательства.
• Инженерия: верификация программного обеспечения и аппаратного обеспечения.

Критика

Формальная логика подвергается критике за ограниченность её применимости к реальным рассуждениям. Критики (например, представители диалектической логики, Георг Гегель) указывают, что формальная логика игнорирует развитие, противоречия и контекст мышления. В XX веке философы-прагматисты (Чарльз Пирс, Уильям Джеймс) и представители неформальной логики (Стивен Тулмин) утверждали, что формальные модели неадекватны для анализа аргументации в реальных дискуссиях, науке и повседневной жизни. Однако формальная логика остаётся фундаментальным инструментом для точных наук и компьютерных технологий.

Источники

1. Аристотель. Сочинения в четырёх томах. Том 2. — М.: Мысль, 1978.
2. Бочаров В. А., Маркин В. И. Основы логики. — М.: ИНФРА-М, 2001.
3. Гильберт Д., Аккерман В. Основы теоретической логики. — М.: Иностранная литература, 1947.
4. Ивин А. А. Логика. — М.: Гардарики, 2002.
5. Чёрч А. Введение в математическую логику. — М.: Иностранная литература, 1960.