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

Полный вводный курс формальной логики на русском: 24 урока по открытому учебнику forall x: Calgary и материалам Open Logic Project. Следование, таблицы истинности, натуральный вывод, кванторы, теоремы Гёделя. Восемь тренажёров, 150 вопросов, экзамен. Бесплатно, без регистрации.

Начать с первого урока

Программа

I. Что такое следование

1. Аргумент: посылки, заключение и то, что между ними
2. Правильно, истинно, убедительно — три разные вещи
3. Контрпример: единственный способ показать, что не следует

II. Язык, в котором форма видна

1. Зачем формальный язык
2. Не, и, или
3. «Если»

III. Таблицы истинности

1. Как сосчитать сложное высказывание
2. Проверка следования: строка, которой не должно быть
3. Тавтология, противоречие и «из противоречия следует всё»

IV. Вывод

1. Зачем доказывать, если можно посчитать
2. Правила: как вводят и как убирают связку
3. Допущение
4. Длинное доказательство целиком

V. Кванторы

1. Почему высказываний не хватает
2. Все и некоторые
3. Область действия
4. Тождество, «ровно один», определённые описания

VI. Что можно и чего нельзя

1. Корректность и полнота: два разных обещания
2. Гёдель без мистики
3. Разрешимость: что можно поручить машине

VII. Логика и живая речь

1. Задача выбора: одна форма, 19 % против 72 %
2. Перевод: как проверить, что записал то самое

VIII. Другие логики и итог

1. Не одна логика
2. Карта курса: что доказано, что выбрано, где ловушки

Курс читается с включённым JavaScript: тесты, тренажёры и сохранение прогресса без него не работают. Программа и разбор источников целиком есть на странице курса.