Построение умозаключений из простых и сложных суждений. Утверждающий и отрицающий модусы условно-категорического умозаключения. Истинность основания и следствия. Равенство двойного отрицания. Зависимость истинности импликации от антецедента и консеквента.
Пермский институт ФСИН РоссииШироко используются умозаключения, посылками которых являются условные и разделительные суждения, выступающие в разных сочетаниях друг с другом или с категорическими суждениями.Если изобретение создано совместным творческим трудом нескольких граждан (р), все они признаются соавторами изобретения (q). Если они признаются соавторами изобретения (q), то порядок пользования правами на изобретение, созданное в соавторстве, определяется соглашением между соавторами (г). Если изобретение создано совместным творческим трудом нескольких граждан (р), то порядок пользования правами на изобретение, созданное в соавторстве, определяется соглашением между соавторами (г). В приведенном примере обе посылки - условные суждения, причем следствие первой посылки является основанием второй (q), из которого, в свою очередь, вытекает некоторое следствие (г).В утверждающем модусе (modus ponens) посылка, выраженная категорическим суждением, утверждает истинность основания условной посылки, а заключение утверждает истинность следствия; рассуждение направлено от утверждения истинности основания к утверждению истинности следствия. Например: · Если иск предъявлен недееспособным лицом (р), то суд оставляет иск без рассмотрения (q) Например: Если иск предъявлен недееспособным лицом (р), то суд оставляет иск без рассмотрения (q) Нетрудно установить, что возможны еще две разновидности условно-категорического силлогизма: от отрицания истинности основания к отрицанию истинности следствия (3) и от утверждения истинности следствия к утверждению истинности основания(4), т.е.: (3) Р-^Р, \ / ^Ч А (4)-^Г-| Так, если в примере, приведенном выше, основание условной посылки отрицается: неверно, что иск предъявлен недееспособным лицом (схема 3), нельзя с достоверностью отрицать истинность следствия: неверно, что суд оставляет иск без рассмотрения.Разделительно-категорическим называется умозаключение, в котором одна из посылок - разделительное, а другая посылка и заключение - категорические суждения. умозаключение суждение модус импликация Например, разделительное суждение "Облигации могут быть предъявительскими или именными" состоит из двух суждений - дизъюнктов: "Облигации могут быть предъявительскими" и "Облигации могут быть именными", соединенных логическим союзом "или". В утверждающе-отрицающем модусе (modus ponendo tollens) меньшая посылка - категорическое суждение - утверждает один член дизъюнкции, заключение - также категорическое суждение - отрицает другой ее член. В самом деле, из посылок "Кражу совершил К. или Л." и "Кража совершена К." заключение "Л. кражу не совершал" с необходимостью не следует. В отрицающе-утверждающем модусе (modus tollendo ponens) меньшая посылка отрицает один дизъюнкт, заключение утверждает другой.В данной работе мы рассмотрели формы мышления - умозаключения, посылки которых сложные суждения.
План
Содержание
Введение
1. Чисто-условные умозаключения
2. Условно-категорические умозаключения
3. Разделительно-категорические умозаключения
4. Условно-разделительные умозаключения (дилеммы)
Заключение
Список используемой литературы
Вы можете ЗАГРУЗИТЬ и ПОВЫСИТЬ уникальность своей работы
