ФОРМАЛЬНАЯ ЛОГИКА И. Я. ЧУПАХИН и И. Н. БРОДСКИЙ

ФОРМАЛЬНАЯ ЛОГИКА И. Я. ЧУПАХИН и И. Н. БРОДСКИЙ Издательство Ленинградского университета Ленинград 1977
Формат: DjVu
Качество: Отсканированные страницы

В основу учебника положен курс логики, читавшийся на философском факультете Ленинградского университета в течение ряда лет. В нем осве¬щаются вопросы, относящиеся к общей и символической логике.
Учебник предназначен для студентов-философов и студентов других гума¬нитарных факультетов и педагогических вузов.
Во введении и первой части учебника § 1—13, 20, 28—31, 35, 36, 38 написа¬ны проф. И. Я. Чупахиным; § 14—15, 17—19, 40 — проф. А. М. Плотниковым; § 16 — канд. философск. наук К. А. Сергеевым; § 21,22,42 — доц. Я. А. Слини-ным; § 23—27, 41—доц. Б.И.Федоровым; § 32 — В. С. Бачмановым и проф. И. Я. Чупахиным; § 33 — канд. философск. наук А. Ф. Назаренко; § 34 — проф. Г. А. Подкорытовым; § 37, 39 — канд. философск. наук Ю. Н. Солониным. Во второй части учебника гл. I и И написаны доц. И. Н. Бродским; гл. III— .VI — доц. О. Ф. Серебрявниковым.
Отв. редактор первой части — проф. И. Я. ЧУПАХИН Отв. редактор второй части — доц. И. Н. БРОДСКИЙ
Рецензенты: проф. А. В. Дроздов и кафедра философии Ленинградского педагогического института имени А. И. Герцена

ОГЛАВЛЕНИЕ
Введение 3
§ 1. Марксистская философия о мышлении 3
§ 2. Мышление и язык 4
§ 3. Определение формальной логики 5
§ 4. Логика и психология 9
§ 5. Из истории логики 10
§ 6. Практическое значение формальной логики 16
§ 7. Структура формальной логики 19
Часть первая ОБЩАЯ ЛОГИКА ОСНОВНЫЕ ЛОГИЧЕСКИЕ ФОРМЫ И МЕТОДЫ МЫШЛЕНИЯ
Глава I. Понятие 20
§ 8. Об определении и структуре понятия
§ 9. Основные методы образования понятий 26
§ 10. Соотношение между содержанием и объемом понятия . 28
§ 11. Виды понятий 32
§ 12. Формально-логические отношения между понятиями по содержанию и по объему 36
§ 13. Обобщение и ограничение понятий 33
Глава II. Суждение 42
§ 14. Сущность суждения и его строение 45
§ 15. Суждение и предложение 46
§ 16. Суждение и вопрос 48
§ 17. Деление суждений по качеству и количеству 54
§ 18. Объединенная классификация суждений по качеству и количеству 57
§ 19. Распределеиность терминов в категорических суждениях 58
§ 20. Отношения между суждениями 61
§ 21. Деление суждений по модальности 63
§ 22. Сложные суждения 69
Глава III. Основные формально-логические законы 75
§ 23. Обшие замечания 75
§ 24. Закон тождества 76
§ 25. Закон противоречия 79
§ 26. Закон исключенного третьего 81
§ 27. Закон достаточного основания 84
Глава IV. Умозаключение 87
§ 28. Определение умозаключения 88
§ 29. Непосредственные умозаключения 89
§ 30. Простой категорический силлогизм 98
§ 31. Сокращенные, сложные и сложносокращенные категорические силлогизмы 111
§ 32. Условные, разделительные и условно-разделительные силлогизмы 114
§ 33. Индуктивные умозаключения 120
§ 34. Аналогия 127
Глава V. Логические методы научного мышления 138
§ 35. Методы классификации объектов исследования 139
§ 36. Определение 147
§ 37. Доказательство 156
§ 38. Доказательство (продолжение: паралогизмы, софизмы
и парадоксы) 168
§ 39. Аксиоматический метод 174
§ 40. Индуктивные методы установления причинной связи явлений 179
§ 41. Гипотеза 185
§ 42. Вероятностные методы в логике 192
Часть вторая СИМВОЛИЧЕСКАЯ ЛОГИКА
Глава I. Табличное построение логики высказываний 200
§ 1. Высказывания и формы высказываний 201
§ 2. Язык логики высказываний 203
§ 3. Семантика логических знаков 208
§ 4. Таблицы формул логики высказываний 214
§ 5. Равносильные формулы . 219
§ 6. Правило равносильной замены 224
§ 7. Полные системы логических знаков 227
§ 8. Закон двойственности 234
§ 9. Тождественно-истинные и тождественно-ложные формулы 236
Глава II. Нормальные формы формул логики высказываний 241
§ 10. Нормальная форма 242
§ 11. Проблема разрешения 242
§ 12. Конъюнктивная нормальная форма и совершенная конъюнктивная нормальная форма 246
§ 13. Логическое следование и логические следствия . . . 251
§ 14. Сокращенная конъюнктивная нормальная форма . . . 254
§ 15. Дизъюнктивные нормальные формы 260
Глава III. Естественный вывод в логике высказываний 267
§ 16. ПОНЯТИЯ логического вывода 270
§ 17. Производные правила 284
§ 18. Чисто прямое доказательство » 287
§ 19. Слабое косвенное доказательство . 291
§ 20. Квазисильное косвенное доказательство 2S5
§ 21. Сильное (классическое) косвенное доказательство . . 297
§ 22. Полнота классического нечисления высказываний . . § 23. Аксиоматическое представление логики высказываний 318
Глава IV. Формализованная силлогистика 322
Глава V. Естественный вывод в логике предикатов 330
Глава VI. Модальная логика 345

Формат: DjVu
Качество: Отсканированные страницы

Скачать эту книгу по логике