- •Предмет логики.
- •Общая характеристика понятия.
- •Содержание и объем понятия.
- •Виды понятий.
- •Отношения между понятиями.
- •Обобщение и ограничение понятия.
- •9. Общая характеристика суждения.
- •10. Суждения простые и сложные.
- •11. Состав простого суждения.
- •12. Деление суждений по качеству и количеству.
- •13. Распределенность терминов в суждении.
- •14. Деление суждений по модальности.
- •15. Сложное суждение и его виды.
- •16. Отношения между суждениями («логический квадрат»).
- •17. Обращение суждений.
- •18. Превращение суждений.
- •19. Противопоставление предикату.
- •20. Закон тождества.
- •21. Закон противоречия.
- •22. Закон исключенного третьего.
- •23. Закон достаточного основания.
- •24. Общая характеристика умозаключения.
- •25. Простой категорический силлогизм.
- •26. Фигуры и модусы категорического силлогизма.
- •27. Общие правила категорического силлогизма.
- •28. Первая фигура категорического силлогизма.
- •29. Вторая фигура категорического силлогизма.
- •30. Третья фигура категорического силлогизма.
- •31. Сведение модусов 2, 3 и 4 фигуры к модусам 1 фигуры путем обращения.
- •33. Условный силлогизм.
- •34. Условно-категорический силлогизм.
- •35. Разделительно-категорический силлогизм.
- •36. Дилемма.
- •37. Сокращенные, сложные и сложносокращенные силлогизмы.
- •38. Индукция и дедукция.
- •39. Полная и неполная индукция.
- •40. Популярная и научная индукция.
- •41. Метод сходства.
- •42. Метод различия.
- •43. Соединенный метод сходства и различия.
- •44. Метод сопутствующих изменений.
- •45. Метод остатков.
- •46. Аналогия.
- •47. Гипотеза.
- •48. Виды гипотез.
- •49. Построение и проверка гипотез (см. Вопрос 48)
- •50. Общая характеристика доказательства.
- •51. Структура доказательства.
- •52. Доказательство и опровержение.
- •53. Прямое и косвенное доказательства.
- •54. Ошибка в доказательстве.
36. Дилемма.
Дилемма — условно-разделительный силлогизм с двумя взаимоисключающими выводами, альтернативами. Смысл дилеммы заключается в необходимости выбора одного из двух возможных, как правило, взаимоисключающих друг друга решений. Различают два вида, или модуса, дилеммы: утверждающий и отрицающий. Утверждающий иначе называют конструктивной дилеммой, отрицающий модус — деструктивной дилеммой.
В конструктивной (утверждающей) дилемме условная (большая) посылка устанавливает два возможных основания и два вытекающих из них следствия. В разделительной (меньшей) посылке говорится о возможности только одного из двух оснований. В заключении же утверждается возможность только одного из двух следствий. Например:
Если Иванов - дисциплинированный студент, то он регулярно посещает учебные занятия; если же Иванов - недисциплинированный студент, то он часто пропускает учебные занятия.
Иванов либо дисциплинированный студент, либо недисциплинированный.
Иванов либо регулярно посещает учебные занятия, либо часто пропускает их.
Главная особенность этих рассуждений заключается в переходе мысли от основания к следствию условного суждения, т.е. в соблюдении того закона, который определяет структурные зависимости элементов условного суждения.
В деструктивной (отрицающей) дилемме большая условная посылка устанавливает два возможных следствия из двух оснований. В разделительной меньшей посылке отрицаются оба возможных следствия. В заключении необходимо отрицаются и сами основания:
Если В, то С; если Д, то К
Либо не-С, либо не-К
Не-В либо не-Д
Упрощенный вариант:
Если В, то С или Д
Не-С или не-Д
Не-В
37. Сокращенные, сложные и сложносокращенные силлогизмы.
Структура их в целом ясна из самих их названий. Сокращенные — значит с пропуском одного из элементов полного умозаключения, сложные — значит состоящие из нескольких умозаключений, определенным образом связанных между собой. Сложносокращенные совмещают в себе свойства тех и других умозаключений. В логике выделяют четыре вида сокращенных, сложных и сложносокращенных силлогизмов, это - энтимема, эпихейрема, полисиллогизм и сорит.
Энтимема - умозаключение, в котором пропущена либо одна из посылок, либо само заключение. Таким образом, возможна энтимема с пропущенной большей посылкой, с пропущенной меньшей посылкой и с пропущенным заключением, т.е. можно выделить три вида энтимем.
Эпихейрема - умозаключение, посылками которого выступают энтимемы. Понятно, что такое умозаключение нельзя рассматривать только как сокращенное — скорее, оно сложносокращенное. Например:
Все студенты сдают экзамены, так как они - учащиеся
Этот молодой человек - студент, так как он учится на нашем факультете
Этот молодой человек сдает экзамены
Полисиллогизм и сорит. Ряд силлогизмов, в которых вывод предшествующего силлогизма (просиллогизма) становится посылкой следующего силлогизма (эписиллогизма), называется полисиллогизмом. Если вывод просиллогизма становится большей посылкой эписиллогизма, то полисиллогизм называется прогрессивным; если же вывод просиллогизма становится меньшей посылкой эписиллогизма, то полисиллогизм называется регрессивным. Понятно, что эписиллогизм, в свою очередь, становится просиллогизмом для следующего за ним силлогизма и т. д.
Сокращенным полисиллогизмом является сорит. Сорит — такой полисиллогизм, в котором пропущены посылки, а точнее — промежуточные выводы, выводы просиллогизмов, становящиеся большей или меньшей посылкой следующих силлогизмов (эписиллогизмов).