Гамова А.Н. Формальная логика. - Саратов: Изд-во СГУ 2001. - 72 с. ISBN 5-292-02589-5.
Учебное пособие состоит из двух разделов: традиционная логика и математическая логика. Теоретический материал сопровождается упражнениями и примерами решения задач.
Для студентов и аспирантов факультета гуманитарных и социальных наук.
Содержание:
Предисловие
Введение
Раздел I. Традиционная логика.
Глава 1. Понятие
Глава 2. Суждение.
Глава 3. Умозаключение. 3.1. Теория силлогизмов Аристотеля. 3.2. Умозаключения из суждений с отношениями. 3.3.Индуктивные умозаключения.
Раздел II. Математическая логика.
Глава 1. Логика высказываний. 1.1. Алгебра высказываний. 1.2. Приложения алгебры высказываний. 1.3. Аксиоматическая система в исчислении высказываний.
Глава 2. Логика предикатов. 2.1. Исчисление предикатов. 2.2. Система аксиом в исчислении предикатов.
Глава 3. Формальная арифметика.
Послесловие.
Библиографический список.
