Логика: как устроены корректные рассуждения
Логика исследует условия, при которых вывод следует из посылок. Раздел связывает формальные языки, правила доказательства и анализ аргументов, не подменяя содержательную проверку истинности исходных утверждений.
Классическая логика
Двузначная логика с законами тождества, противоречия и исключённого третьего. Аристотель (384-322 до н.э.) — основатель. Силлогизмы, логика предикатов.
Модальная логика
Расширение классической логики операторами «необходимо» и «возможно». Изучает модальности: алетическую, деонтическую, эпистемическую. Применяется в философии и AI.
Математическая логика
Формализация логики математическими методами. Включает теорию доказательств, теорию моделей, теорию рекурсии. Гёдель (1931) доказал неполноту арифметики.