- •§1. Обращение к читателю. О значении логики для развития мышления и характере предлагаемого пособия
- •§ 2. Категориальные основания логики
- •Часть I. Логика высказываний
- •Глава I. Таблицы истинности
- •§ I. Операции над простыми высказываниями
- •§ 2. Операции над сложными высказываниями.
- •§ 3. Тавтологии. Законы мышления
- •Глава II. Проблема вывода в логике высказываний
- •§ 1. Схемы Хрисиппа
- •§ 2. Условные умозаключения. Дилеммы
- •§3. Энтимемы
- •§ 4. Аксиоматическое построение логики высказываний
- •§ 5. Парадоксы логики высказываний
- •§1. Конъюнктивные высказывания
- •§ 2. Дизъюнктивные высказывания.
- •§3. Импликации.
- •§ 4. Эквивалентные высказывания.
- •§ 5. Общий случай сложных высказываний.
- •§ 6. Отрицание сложных высказываний
- •§ 7. Тавтологии
- •§ 8. Выводы из конъюнктивных высказываний
- •§ 9. Выводы из дизъюнктивных высказываний.
- •§ 10. Разделительно-категорические силлогизмы
- •§ 11. Условно-категорические силлогизмы
- •§ 12. Выводы из суждений эквивалентности.
- •§ 13. Смешанные выводы. Дилеммы
- •§ 14. Энтимемы
- •Часть II. Атрибутивная логика
- •Глава I. Суждение и понятие
- •§ 1 Структура суждений и их деление но качеству
- •§ 2. Понятие, его объем и содержание
- •§3. Виды понятий
- •§ 4. Отношения между понятиями по объему и содержанию
- •§ 5. Закон обратного отношения
- •§ 6. Индивидуальные и абстрактные понятия
- •§ 7. Определение понятий и приемы его заменяющие
- •§ 8. Правила определения понятий
- •§ 9. Деление понятий и его правила
- •§ 10. Деление и расчленение
- •§ 11. Классификация
- •§ 12. Деление суждений по количеству
- •§ 13. Распределенпость терминов в суждении
- •Глава II. Непосредственные умозаключения
- •§ 1. Выводы из понятий
- •§ 2. Превращение
- •§ 3. Логический квадрат
- •§ 4. Обращение
- •§ 5. Противопоставление предикату (контрапозиция)
- •§ 6. Выводы через ограничение
- •Глава III. Категорический силлогизм
- •§ 1. Категорический силлогизм и его структура
- •§ 2. Общие правила категорического силлогизма
- •§ 3. Фигуры категорического силлогизма и их правила
- •§ 4. Энтимемы
- •§ 5. Сложные предикаты в силлогизме. Полисиллогизмы и сориты
- •§ 1. Структура суждений и их деление по качеству
- •§ 2. Понятие, его объем и содержание
- •§ 3. Виды понятий
- •§ 4. Отношения между понятиями
- •§ 5. Определения понятий и приемы их заменяющие.
- •§ 6. Деление и его правила
- •§ 7. Качество и количество простых суждений
- •Глава II. Непосредственные умозаключения
- •§ 1. Выводы из понятий
- •§ 2. Превращения
- •§ 3. Выводы по схеме логического квадрата
- •§ 4. Обращение
- •§ 5. Противопоставление предикату (контрапозиция)
- •§ 6. Выводы через ограничение
- •Глава III. Категорический силлогизм
- •§ 1. Структура категорического силлогизма
- •§ 2. Общие правила силлогизма
- •§ 4. Суждения со сложными предикатами
- •§ 5. Энтимемы
- •§ 6. Сложные силлогизмы и сориты
- •Глава I. Логика отношений
- •§ 2. Свойства отношений и схемы вывода
- •§ 3. Критика логики отношений
- •Глава II. Логика предикатов
- •§ 1. Основные понятия логики предикатов
- •§ 2. Правильно построенные формулы логики предикатов
- •§ 3. Аксиоматика и тавтологии логики предикатов
- •§ 4. Логика предикатов и классическая силлогистика
- •§ 5. Недостатки логики предикатов как средства анализа повседневного мышления
- •Глава III. Язык тернарного описания
- •§ 1. Категориальные основы языка тернарного описания
- •§ 3. Типы правильно построенных формул ято
- •§ 4. Правила и схемы вывода
- •Глава III. Язык тернарного описания
- •Глава I. СущносТb и виды индукции через перечисление
- •§ 1. Дедукция и индукция
- •§ 2. Неполная индукция через перечисления и ее правила
- •§ 3. Достоверная индукция
- •Глава II. Индуктивные методы исследования причинных связен
- •§ 1. Понятие причины. Дедуктивные и индуктивные методы исследования причинных связей
- •§ 2. Методы исследования причинных связей
- •§ 3. Ошибки в определении причинных связей
- •Глава III. Выводы по аналогии
- •§ 1. Определение и основные формы выводов по аналогии
- •§ 2. Условия правомерности различных форм
- •Глава IV. Выводы от утверждения следствия. Обоснование гипотез
- •§1. Полная и неполная индукция
- •§ 2. Условия повышения вероятности вывода
- •§ 3. Методы индуктивного исследования причинных связей
- •§ 4. Выводы по аналогии
- •§ 5. Правила выводов по аналогии
- •§ 6. Выводы от утверждения следствия
- •§ 1. Сущность и строение доказательства. Опровержение
- •§ 2. Правила доказательств и ошибки в них
- •§ 3. Роковые ошибки
- •§ 4. Аргументация и спор
- •§ 1. Сущность и строение доказательств
- •§ 2. Правила доказательства
- •§ 3. Аргументация и спор
- •§ 2. Категориальные основания логики
- •§ 1. Конъюнктивные высказывания
- •§ 2. Дизъюнктивные высказывания
- •§ 3. Импликации
- •§ 4. Эквивалентные высказывания
- •§ 5. Общий случай сложных высказываний
- •§ 6. Отрицание сложных высказываний
- •§ 7. Тавтологии.
- •§ 8. Выводы из конъюнктивных высказываний
- •§ 9. Выводы из дизъюнктивных высказываний
- •§ 10. Разделительно-категорические силлогизмы
- •§ 11. Условно-категорические силлогизмы
- •§ 12. Выводы из суждений эквивалентности
- •§13. Смешанные выводы. Дилеммы
- •§ 14. Энтимемы
- •Глава 1. § 1
- •Глава II
- •Глава III
- •Глава I
- •Глава II
- •Глава III
§ 13. Смешанные выводы. Дилеммы
1. Ниже приведен ряд умозаключений и составлены их структурные формулы. С помощью элементарных преобразований эти умозаключения приведены к одной из рассмотренных выше форм и определена их состоятельность. Проверьте, правильно ли проведен этот логический анализ.
1) Нельзя жить приятно, не живя разумно, нравственно и справедливо, и, наоборот, нельзя жить разумно, нравственно и справедливо, не живя приятно.
Этот человек живет разумно, нравственно и справедливо. Следовательно, он живет приятно.
а — Человек живет приятно.
b — Человек живет разумно.
с — Человек живет нравственно.
d — Человек живет справедливо.
Вывод построен по следующей формуле:
¬ [а & ¬ (b & с & d)] & ¬ [(b & с & d) & ¬а]
Преобразуем большую посылку:
¬ [а & ¬ (b & с & d)] & ¬ [(b & с & d) & ¬а] =
= [¬a v (b & с & d)] & ¬ (b & с & d) v a] =
= [a ® (b & с & d)] & [(b & с & d) ® a].
Отсюда путем непосредственного вывода из конъюнктивных высказываний следует, что:
(b & с & d) ® а. Соединяя этот вывод с данной меньшей посылкой, получаем условное умозаключение:
(b & с & d) ® а
Вывод правомерен, так как построен от утверждения основания к утверждению следствия.
2) Если я брошусь из окна, то получу ушибы, если же я пойду по лестнице, то сгорю. Но я должен или броситься из окна, или пойти по лестнице. Следовательно, я или ушибусь, или
сгорю.
а — Я брошусь из окна,
b — Я получу ушибы,
с — Я пойду по лестнице,
d — Я сгорю.
Умозаключение имеет форму:
(а ® b) & (с ® d) a v с
Это схема сложной конструктивной дилеммы. Вывод правомерен (к сожалению).
3) Если я брошусь из окна, то получу ушибы, если же я пойду по лестнице, то сгорю. Но я не хочу ни сгорать, ни получать ушибы. Следовательно, я не должен ни идти по лестнице, ни бросаться из окна.
Обозначения те же, что и в предыдущем примере. Схема вывода будет иметь вид:
(а ® b) & (с ® d)
Это разновидность сложной деструктивной дилеммы. Вывод правомерен.
2. Постройте умозаключение, которое позволило бы решить следующую задачу.
Три человека были приговорены к смерти. На них были надеты колпаки. Каждый мог видеть только те колпаки, которые были надеты на других. Известно, что эти три колпака были взяты из пяти колпаков, среди которых были 3 черных и 2 белых. Тому, кто догадается, какой колпак на нем, было обещано помилование. Через некоторое время один из приговоренных определил, какой колпак надет на него с помощью умозаключения.
3. Составьте логическую схему сложного высказывания, имеющего место в тексте (подчеркнуто):
1) “Сон этот может означать только одно из двух, — рассуждала сама с собой Маргарита Николаевна, — если он мертв и поманил меня, то это значит, что он приходил за мною, и я скоро умру. Это очень хорошо, потому что мучениям тогда настанет конец. Или он жив, тогда сон может означать одно, что он напоминает мне о себе! Он хочет сказать, что мы еще увидимся. Да, мы увидимся очень скоро”. (М. Булгаков. Мастер и Маргарита)
2) “— Мессир! Я вновь обращаюсь к логике, — заговорил кот, прижимая лапы к груди, — если игрок объявляет шах королю, а короля между тем уже и в помине нет на доске, шах признается недействительным.” (М. Булгаков. Мастер и Маргарита)