Чупахин И.Я., Бродский И.Н. Формальная логика

Учебник. – Коллектив авторов. – Л.: Изд-во Ленинградского университета, 1977. – 357 с.В основу учебника положен курс логики, читавшийся на философском факультете Ленинградского университета в течение ряда лет. В нем освещаются вопросы, относящиеся к общей и символической логике.
Учебник предназначен для студентов-философов и студентов других гуманитарных факультетов и педагогических вузов.Понятие
Об определении и структуре понятия.
Основные методы образования понятий.
Соотношение между содержанием и объемом понятия.
Виды понятий.
Формально-логические отношения между понятиями по содержанию и по объему.
Обобщение и ограничение понятий.Суждение
Сущность суждения и его строение.
Суждение и предложение.
Суждение и вопрос.
Деление суждений по качеству и количеству.
Объединенная классификация суждений по качеству и Количеству.
Распределенность терминов в категорических суждениях.
Отношения между суждениями.
Деление суждений по модальности.
Сложные суждения.Основные формально-логические законы
Общие замечания.
Закон тождества.
Закон противоречия.
Закон исключенного третьего.
Закон достаточного основания.Умозаключение
Определение умозаключения.
Непосредственные умозаключения.
Простой категорический силлогизм.
Сокращенные, сложные и сложносокращенные категорические силлогизмы.
Условные, разделительные и условно-разделительные силлогизмы.
Индуктивные умозаключения.
Аналогия.Логические методы научного мышления
Методы классификации объектов исследования.
Определение.
Доказательство.
Доказательство (продолжение: паралогизмы, софизмы и парадоксы).
Аксиоматический метод.
Индуктивные методы установления причинной связи явлений.
Гипотеза.
Вероятностные методы в логике.Часть вторая Символическая логика

Табличное построение логики высказываний
Высказывания и формы высказываний.
Язык логики высказываний.
Семантика логических знаков.
Таблицы формул логики высказываний.
Равносильные формулы.
Правило равносильной замены.
Полные системы логических знаков.
Закон двойственности.
Тождественно-истинные и тождественно-ложные формулы.Нормальные формы формул логики высказываний
Нормальная форма.
Проблема разрешения.
Конъюнктивная нормальная форма и совершенная конъюнктивная нормальная форма.
Логическое следование и логические следствия.
Сокращенная конъюнктивная нормальная форма.
Дизъюнктивные нормальные формы.Естественный вывод в логике высказываний
Понятия логического вывода.
Производные правила.
Чисто прямое доказательство.
Слабое косвенное доказательство.
Квазисильное косвенное доказательство.
Сильное (классическое) косвенное доказательство.
Полнота классического нечисления высказываний.
Аксиоматическое представление логики высказываний.Формализованная силлогистика

Естественный вывод в логике предикатов

Модальная логика