Оглавление | Оглавление | |
ОТ АВТОРОВ | 9 |
ГЛАВА I. ПРЕДМЕТ И ОСНОВНЫЕ ПОНЯТИЯ ЛОГИКИ | |
§ 1. Логика как наука. Логика и язык. Основные формы и приемы рационального познания | 12 |
§ 2. Логическая форма. Отношение логического следования | 24 |
§ 3. Логические законы. Логические теории | 35 |
ГЛАВА П. КЛАССИЧЕСКАЯ ЛОГИКА ВЫСКАЗЫВАНИЙ | |
§ 1. Пропозициональные связки | 42 |
§ 2. Язык классической логики высказываний | 49 |
§ 3. Таблицы истинности. Тождественно-истинные, тождественно-ложные, выполнимые и опровержимые формулы | 54 |
§ 4. Логические отношения между формулами | 64 |
§ 5. Основные законы и способы правильных рассуждений логики высказываний | 71 |
ГЛАВА III. КЛАССИЧЕСКАЯ ЛОГИКА ПРЕДИКАТОВ | |
§ 1. Язык логики предикатов | 88 |
§ 2. Интерпретации и модели. Общезначимые формулы и логические отношения в логике предикатов | 105 |
§ 3. Метод аналитических таблиц | 128 |
ГЛАВА IV. ДЕДУКТИВНЫЕ ВЫВОДЫ И ДОКАЗАТЕЛЬСТВА | |
§ 1. Классическое исчисление высказываний | 143 |
§ 2. Классическое исчисление предикатов первого порядка | 160 |
ГЛАВА V. СИЛЛОГИСТИКА | |
§ 1. Общие сведения о силлогистике | 172 |
§ 2. Семантика традиционной силлогистики | 177 |
§ 3. Законы силлогистики и непосредственные следования | 182 |
§ 4. Простой категорический силлогизм | 188 |
§ 5. Энтимемы | 195 |
§ 6. Негативная силлогистика | 198 |
ГЛАВА VI. ПОНЯТИЕ | |
§ 1. Общая характеристика понятий | 207 |
§ 2. Виды понятий | 212 |
§ 3. Булевы операции над понятиями и отношения между понятиями | 224 |
§ 4. Операции ограничения, обобщения и деления понятий | 232 |
ГЛАВА VII. ОПРЕДЕЛЕНИЕ | |
§ 1. Теоретико-познавательные характеристики определений | 242 |
§ 2. Явные определения | 245 |
§ 3. Неявные определения | 253 |
§ 4. Другие виды определений | 255 |
§ 5. Требования к корректности определений | 260 |
ГЛАВА VIII. ПРАВДОПОДОБНЫЕ РАССУЖДЕНИЯ | |
§ 1. Общие сведения о правдоподобных рассуждениях | 265 |
§ 2. Обобщающая индукция | 273 |
§ 3. Причинная зависимость | 282 |
§ 4. Методы установления причинных связей | 292 |
§ 5. Гипотетико-дедуктивный метод | 308 |
§ 6. Аналогия | 319 |
ПРЕДМЕТНЫЙ УКАЗАТЕЛЬ | 325 |