Логика как наука о правильном мышлении¶
Логика — это наука о законах и методах правильного мышления, изучающая формы и правила, по которым из одних суждений достоверно следуют другие. Слово происходит от греческого logos (λόγος), что означает «слово», «мышление», «разум». В широком смысле логикой называют способность рассуждать последовательно и обоснованно; в узком — формальную дисциплину, входящую в классические философские и математические науки.
¶Предмет и задачи
Логика изучает не содержание мыслей, а их форму — то, как суждения связаны между собой. Её центральные вопросы:
- какие рассуждения являются правильными (валидными), а какие нет;
- какие правила вывода допустимы;
- как отличить истину от ложного рассуждения.
Простейший пример логического вывода: «Все люди смертны. Сократ — человек. Значит, Сократ смертен». Правильность этого вывода не зависит от конкретных фактов — она определяется только структурой рассуждения.
¶Основные понятия
¶Суждение и умозаключение
Суждение — мысль, в которой нечто утверждается или отрицается о предмете («Снег бел», «Земля кругла»). Умозаключение — вывод нового суждения из имеющихся. Логика разбирает, какие умозаключения допустимы и почему.
¶Силлогистика
Аристотель (384—322 до н. э.) создал силлогистику — учение о трёхпредикатных умозаключениях, где из двух посылок (одна — общий тезис, другая — частный случай) следует заключение. Силлогистика была основой логики более двух тысячелетий и до сих пор преподаётся как вводный курс.
¶Суждения и логические связки
В классической логике выделяют связки «и», «или», «если… то», «не». С их помощью сложные суждения строятся из простых, а правила их сочетания формализуются в таблицах истинности.
¶Ветви логики
| Ветвь | Что изучает |
|---|---|
| Аристотелева (силлогистическая) логика | Умозаключения с общими и частными суждениями |
| Пропозициональная логика | Суждения целиком, связки между ними |
| Предикатная логика | Суждения с кванторами «все» и «существует» |
| Модальная логика | Понятия необходимости и возможности |
| Математическая логика | Формальные системы, доказательства, вычислимость |
¶История
¶Античность
Логика возникла в Древней Греции и Индии почти одновременно. Аристотель создал первую систематическую логику, вошедшую в историю как «Органон». Параллельно в Индии развивалась логика буддистских и индийских школ (например, логика Гаутамы и Дигнаги), опиравшаяся на теорию познания и дискуссионную практику.
¶Средние века
В исламском мире логику развивали Аль-Фараби, Ибн Сина и Ибн Рушд, комментировавшие Аристотеля. В Европе логика стала обязательной частью университетского образования («семи свободных искусств») и применялась в богословских диспутах.
¶Новое время и математизация
В XVII—XIX веках логика пережила второе рождение. Лейбниц мечтал о «калькуляции рассуждений», Буле в 1847 году создал алгебру логики, а Фреге в 1879 году опубликовал «Беглые понятия», заложивший основы современной символической логики. Математики Гёдель, Тьюринг и Чёрч в XX веке связали логику с теорией вычислимости, что привело к созданию теоретической информатики.
¶Логика и повседневное мышление
В бытовом значении «логичность» означает последовательность и обоснованность рассуждений. Типичные ошибки, которые логика помогает распознать:
- Ad hominem — нападение на собеседника вместо аргумента;
- Апелляция к авторитету — ссылка на авторитет вместо доказательства;
- Двузначность — подмена понятия в ходе рассуждения;
- Ложная дилемма — представление выбора только из двух вариантов, хотя их больше.
Такие ошибки называются софизмами или логическими заблуждениями, и их разбор — одна из традиционных задач вводного курса логики.
¶Применение
Логика лежит в основе математики (доказательства, аксиоматические системы), информатики (алгоритмы, схемы Буля, формальные языки), юриспруденции (построение доказательств) и лингвистики (анализ структуры языка). В XX веке логика стала инструментом философского анализа — от логического позитивизма до современной философии языка.
В России логику как учебную дисциплину традиционно преподают на философских и математических факультетах; крупнейшие центры — МГУ, СПбГУ, Институт философии РАН.
¶Интересные факты
- Термин «логика» в современном смысле ввёл римский философ Цицерон, хотя сам Аристотель называл свою науку «аналитикой».
- В языке программирования Python ключевое слово
and/or/not— это буквально логические связки. - Теорема Гёделя о неполноте (1931) показала, что в любой достаточно богатой формальной системе существуют истинные, но недоказуемые утверждения — один из самых неожиданных результатов в истории логики.
Источники: «Органон» Аристотеля; «Беглые понятия» Г. Фреге; «Введение в математическую логику» А. И. Маркова; «Логика» Н. И. Кондакова; учебник «Логика» под ред. И. Н. Селивановой.