Оглавление

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

Читать книгу

Издательство: Издательство Ленинградского университета

Место издания: Ленинград

Год издания: 1977

Количество страниц: 357 с.

Рубрики: Русская философия
Теги: Логика

Формальная логика

В основу учебника положен курс логики, читавшийся на философском факультете Ленинградского университета в течение ряда лет. В нем освещаются вопросы, относящиеся к общей и символической логике. Учебник предназначен для студентов-философов и студентов других гуманитарных факультетов и педагогических вузов.