Костюк В.Н. Логика

Киев; Одесса: Вища школа, 1975. — 112 с.В курсе логики рассматриваются актуальные проблемы пропозиционной логики, логики предикатов, логики научного познания и логики норм. Дается достаточно полное представление о математической логике, вводятся формулировки логических исчислений посредством аналитических таблиц.
Книга предназначена для студентов гуманитарных и естественных факультетов.Введение.
Семантика пропозициональной логики.
Формулы и связки.
Тавтологии и законы логики.
Импликация, эквивалентность, следствие.
Теория доказательств в пропозициональной логике.
Аксиоматическая формулировка пропозиционального исчисления.
Теорема дедукции и непротиворечивость.
Правила введения и удаления пропозициональных связок. Понятие о полноте и разрешимости.
Пропозициональное исчисление как естественный вывод.
Аналитические таблицы и полнота пропозиционального исчисления.
Семантика логики предикатов.
Переменные и формулы.
Предикатные интерпретации, общезначимость и следование.
Теория доказательств в логике предикатов.
Аксиоматическая формулировка и непротиворечивость.
Теорема дедукции и другие метатеоремы.
Исчисление предикатов как естественный вывод.
Исчисление одноместных предикатов и силлогистика Аристотеля.
Аналитические таблицы. Полнота исчисления предикатов.
Логика научного познания и логика норм.
Гипотетико-дедуктивный метод. Объяснение и предсказание.
Теория индуктивного рассуждения и индуктивная логика.
Логика норм.
Литература.