Ю.П. Попов

ЛОГИКА

Традиционная логика

Логика высказываний

Логика предикатов

Владивосток

Издательство Дальневосточного университета

2003

Содержание

Предисловие . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Часть I. Традиционная логика . . . . . . . . . . . . . . . . . . . . . . .
Глава 1. Понятие . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
1.1 Содержание и объем понятия. Закон обратного отношения между объемом и содержанием . . . . . . . .
1.2 Виды понятий . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
1.3 Типы отношений между понятиями . . . . . . . . . . . . . . .
1.4 Определение понятий . . . . . . . . . . . . . . . . . . . . . . . . . . .
1.5 Правила определения понятий . . . . . . . . . . . . . . . . . . . .
1.6 Деление понятий. Классификация . . . . . . . . . . . . . . . . .
Упражнения и задачи к главе "Понятие". . . . . . . . . . . .
Глава 2. Суждение . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
2.1 Суждение и его типы . . . . . . . . . . . . . . . . . . . . . . . . . . . .
2.2 Структура суждения . . . . . . . . . . . . . . . . . . . . . . . . . . . .
2.3 Объединенная классификация суждений . . . . . . . . . . .
2.4 Логический квадрат . . . . . . . . . . . . . . . . . . . . . . . . . . . .
2.5 Распределенность терминов в суждении . . . . . . . . . . . .
2.6 Модальные суждения . . . . . . . . . . . . . . . . . . . . . . . . . . .
Упражнения и задачи к главе "Суждение" . . . . . . . . . . .
Глава 3. Основные законы логики . . . . . . . . . . . . . . . . . . . .
3.1 Закон тождества . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
3.2 Закон противоречия . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
3.3 Закон исключенного третьего . . . . . . . . . . . . . . . . . . . . .
3.4 Закон достаточного основания . . . . . . . . . . . . . . . . . . . .
Глава 4. Умозаключение . . . . . . . . . . . . . . . . . . . . . . . . . . . .
4.1 Непосредственные умозаключения . . . . . . . . . . . . . . . .
4.2 Простой категорический силлогизм . . . . . . . . . . . . . . .
4.3 Энтимема . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
4.4 Сложные и сложносокращенные виды силлогизма . . .
4.5 Условные и условно-категорические силлогизмы . . . .
4.6 Виды разделительных силлогизмов . . . . . . . . . . . . . . . .
4.7 Индукция и ее виды . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
4.8 Научная индукция . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
4.9 Аналогия . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Задачи к главе "Умозаключение" . . . . . . . . . . . . . . . . . .
Глава 5. Доказательство . . . . . . . . . . . . . . . . . . . . . . . . . . . .
5.1 Структура доказательства . . . . . . . . . . . . . . . . . . . . . . . .
5.2 Виды доказательства . . . . . . . . . . . . . . . . . . . . . . . . . . . .
5.3 Правила по отношению к тезису и их возможные нарушения . . . . . . . . . . . . . . . . . . . . . .
5.4 Правила по отношению к аргументам и их возможные нарушения . . . . . . . . . . . . . . . . . . . . . .
5.5 Правила по отношению к демонстрации и их возможные нарушения . . . . . . . . . . . . . . . . . . . . . .
5.6 Опровержение и его виды . . . . . . . . . . . . . . . . . . . . . . . .
Часть 2. Символическая логика . . . . . . . . . . . . . . . . . . . . .
Символическая логика и ее язык . . . . . . . . . . . . . . . . . . . .
Глава 1. Логика высказываний . . . . . . . . . . . . . . . . . . . . . . .
1.1 Образование сложных высказываний . . . . . . . . . . . . . . .
1.2 Нуль-единичная проверка истинности высказываний
1.3 Нормальные формы . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
1.4 Основные эквивалентности . . . . . . . . . . . . . . . . . . . . . . .
1.5 Понятие закона в символической логике . . . . . . . . . . . .
Глава 2. Логика предикатов . . . . . . . . . . . . . . . . . . . . . . . . .
Задачи к главам “Логика высказываний” и “Логика предикатов” . . . . . . . . . . . . . . . . . . . . . . . . . .
Глава 3. Важнейшие направления в развитии логики и нерешенные проблемы . . . . . . . . . . . . . . . . . . . . . . . . . . .
3.1 Основные тенденции в современной логике . . . . . . . . .
3.2 Паранепротиворечивые логические системы . . . . . . . . .
3.3 Логическое конструирование . . . . . . . . . . . . . . . . . . . . . .

Для овладения основными принципами традиционной и символической логики достаточно основательно проштудировать следующие разделы учебника и порешать указанные далее задачи