Автор работы: Пользователь скрыл имя, 12 Декабря 2010 в 19:26, реферат
Умозаключения строятся не только из простых, но и из сложных суждений. Широко используются умозаключения, посылками которых являются условные и разделительные суждения, выступающие в разных сочетаниях друг с другом или с категорическими суждениями. К ним относятся чисто условное, условно-категорическое, разделительно- категорическое и условно-разделительное умозаключения.
Разделительное
суждение может содержать две, три
и большее число альтернатив,
поэтому лемматические
Рассмотрим на
примере дилеммы структуру и
виды условно-разделительного
В простой конструктивной дилемме условная посылка содержит два основания, из которых вытекает одно и то же следствие. Разделительная посылка утверждает оба возможных основания, заключение утверждает следствие. Рассуждение направлено от утверждения истинности оснований к утверждению истинности следствия.
Схема простой конструктивной дилеммы:
Пример:
Если обвиняемый виновен в заведомо незаконном аресте (а), то он подлежит уголовной ответственности за преступление против правосудия (с); если он виновен в заведомо незаконном задержании (b), то он также подлежит уголовной ответственности за преступление против правосудия (с). Обвиняемый виновен или в заведомо незаконном аресте (а), или в заведомо незаконном задержании (b)
Обвиняемый подлежит уголовной ответственности за преступление против правосудия (с)
В сложной конструктивной
дилемме условная посылка содержит
два основания и два следствия.
Разделительная посылка утверждает
оба возможных следствия. Рассуждение
направлено от утверждения истинности
оснований к утверждению
Схема сложной конструктивной дилеммы:
Пример:
Если сберегательный
сертификат является предъявительским
"с (а), то он передается другому лицу
путем вручения (b); если он является
именным (с), то передается в порядке,
установленном для уступки
Сберегательный
сертификат передается другому лицу
путем вручения (b) или в порядке,
установленном для уступки
В простой деструктивной
дилемме условная посылка содержит
одно основание, из которого вытекает
два возможных следствия. Разделительная
посылка отрицает оба следствия,
заключение отрицает основание. Рассуждение
направлено от отрицания истинности
следствий к отрицанию
Схема простой деструктивной дилеммы:
Пример:
Если Н -- подозреваемый (а), значит, он или задержан по подозрению в совершении преступления (b), или является лицом, к которому применена мера пресечения до предъявления обвинения (с)
Н не был задержан по подозрению в совершении преступления (не -b) или он не является лицом, к которому применена мера пресечения до предъявления обвинения (не - с).
Н не является подозреваемым (не - а) в сложной деструктивной дилемме условная посылка содержит два основания и два следствия. Разделительная посылка отрицает оба следствия, заключение отрицает оба основания. Рассуждение направлено от отрицания истинности следствий к отрицанию истинности оснований.
Схема сложной деструктивной дилеммы:
Пример:
Если предприятие
является арендным (а), то оно осуществлю
предпринимательскую
Сокращенный силлогизм (энтимема)
Силлогизм, в котором выражены все его части -- обе посылки и заключение, называется полным. Такие силлогизмы были рассмотрены в предыдущих разделах. Однако на практике чаще используются силлогизмы, в которых одна из посылок или заключение явно не выражаются, а подразумеваются.
Силлогизм с пропущенной посылкой или заключением называется сокращенным силлогизмом, или энтимемой.
Широко используются
энтимемы простого категорического
силлогизма, особенно выводы по первой
фигуре. Например: «Николаев -- студент,
поэтому он обязан сдавать экзамены».
Здесь пропущена большая
Полный силлогизм строится по 1-й фигуре:
Пропущенной может быть не только большая, но и меньшая посылка, а также заключение: «Все студенты обязаны сдавать экзамены, а Николаев -- студент» или: «Все студенты обязаны сдавать экзамены, значит, и Николаев обязан сдавать экзамены». Пропущенные части силлогизма подразумеваются.
В зависимости
от того, какая часть силлогизма
пропущена, различают три вида энтимемы:
с пропущенной большей
Умозаключение в форме энтимемы может быть построено и по 2-й фигуре; по 3-й фигуре оно строится редко.
Форму энтимемы принимают также умозаключения, посылками которых являются условные и разделительные суждения.
Рассмотрим наиболее распространенные виды энтимем.
Условно-категорический
силлогизм с пропущенной
Здесь пропущена
большая посылка -- условное суждение
«Если событие преступления не имело
места, то уголовное дело не может
быть возбуждено». Она содержит известное
положение Уголовно-
Разделительно-категорический силлогизм с опущенной большей посылкой: «По данному делу не может быть вынесен оправдательный приговор, он должен быть обвинительным».
Большая посылка -- разделительное суждение «По данному делу может быть вынесен либо оправдательный, либо обвинительный приговор» -- не формулируется.
Разделительно-категорический
силлогизм с опущенным
Заключение, отрицающее все другие альтернативы, обычно не формулируется.
Использование
сокращенных силлогизмов
Сложные и сложносокращенные силлогизмы
В процессе рассуждения простые силлогизмы выступают в логической связи друг с другом, образуя цепь силлогизмов, в которой заключение предшествующего силлогизма становится посылкой последующего. Предшествующий силлогизм называется просиллогизмом, последующий -- эписиллогизмом
Соединение простых силлогизмов, в котором заключение предшествующего силлогизма (просиллогизма) становится посылкой последующего (эписиллогизма) называется сложным силлогизмом, или полисиллогизмом.
Различают прогрессивный и регрессивный полисиллогизмы. В прогрессивном полисиллогизме заключение просиллогизма становится большей посылкой эписиллогизма.
В регрессивном полисиллогизме заключение просиллогизма становится меньшей посылкой эписиллогизма. Например:
Оба приведенных примера представляют собой соединение двух простых категорических силлогизмов, построенных по модусу ААА 1-й фигуры. Однако полисиллогизм может быть соединением большего числа простых силлогизмов, простроенных по разным модусам разных фигур. Цепь силлогизмов может включить в себя как прогрессивную, так и регрессивную связь.
Сложными могут быть чисто условные силлогизмы, которые имеют схему:
В символической записи:
Из схемы видно,
что, как и в простом чисто
условном умозаключении, заключение представляет
собой импликативную связь
В процессе рассуждения полисиллогизм принимает обычно сокращенную форму; некоторые из его посылок опускаются. Полисиллогизм, в котором пропущены некоторые посылки, называется соритом. Различают два вида соритов:
1. Прогрессивный
полисиллогизм с пропущенными
большими посылками
К сложносокращенным силлогизмам относится также эпихейрема. Эпихейремой называется сложносокращенный силлогизм, обе посылки которого являются энтимемами.
Например:
Развернем посылки эпихейремы в полные силлогизмы. Для этого восстановим в полный силлогизм сначала 1-ю энтимему:
Как видим,
первую посылку эпихейремы
Вторую посылку эпихейремы также составляют заключение и меньшая посылка силлогизма.
Заключение эпихейремы получено из заключений 1-го и 2-го силлогизмов:
Развертывание эпихейремы в полисиллогизм позволяет проверить правильность рассуждения, избегать логических ошибок, которые могут остаться незамеченными в эпихейреме.
Понятие о логике высказываний
Современная символическая логика для анализа дедуктивных рассуждений строит особые логические системы; одна из них называется логикой высказываний или пропозициональной логикой, другая -- логикой предикатов. Рассмотрим кратко принципы построения логики высказываний.
Логика высказываний -- это логическая система, которая анализирует процессы рассуждения, основанные на характере связей между простыми суждениями, но без учета их внутренней структуры.
Язык логики
высказываний включает: алфавит, определение
правильно построенных
Список
литературы.