Составить условно категорическое умозаключение по заданному модусу. Чисто условное и условно-категорическое умозаключения

Контрольна робота

З курсу „Логіка”

Завдання

Теоретичне питання: Дедуктивні умовиводи

Задачі:

А - фінансист;

В - державний службовець;

С – спортсмен;

Д – студент?

4. Наведіть приклади судження, яке відповідає наведеній формулі. Складіть для нього таблицю істинності: (В Ú С) → А

6. Зробіть методом перетворення, обернення і протиставлення предиката безпосередні умовиводи з такого засновку:

Жоден із туристів нашої групи не знав німецької мови.

8. Побудуйте доказ тези методом доведення до абсурду:

Організація потребує фінансової допомоги.

9. Яка форма мислення виражена у міркуванні:

Зима. Вечоріє. Вночі, напевно, піде сніг?

Дедуктивные умозаключения

Выводы из сложных суждений . Другие виды дедуктивных выводов

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

Особенность этих умозаключений состоит в том, что выведение заключения из посылок определяется не отношениями между терминами, как в категорическом силлогизме, а характером логической связи между суждениями. Поэтому при анализе посылок их субъектно-предикатная структура не учитывается.

Видами дедуктивных умозаключений являются также сокращенные, сложные и сложносокращенные силлогизмы.

Чисто условное и условно-категорическое умозаключения

Чисто условное умозаключение

Чисто условным называется умозаключение, обепосылки которого являются условными суждениями

Например:

Если изобретение создано совместным творческим трудом нескольких граждан (а), все они признаются соавторами изобретения (b)

Если изобретение создано совместным творческим трудом нескольких граждан (а), та порядок пользования правами на изобретение, созданное в соавторстве, определяется соглашением между соавторами (с).

В приведенном примере обе посылки - условные суждения, причем следствие первой посылки является основанием второй (b), из которого, в свою очередь, вытекает некоторое следствие (с). Общая часть двух посылок (b) позволяет связать основание первой (а) и следствие второй (с). Поэтому заключение также выражается в форме условного суждения.

Схема чисто условного умозаключения:

Вывод в чисто условном умозаключении основывается на правиле: следствие следствия есть следствие основания.

Умозаключение, в котором заключение получается из двух условных посылок, относится к простым. Однако заключение может следовать из большего числа посылок, которые образуют цепь условных суждений. Такие умозаключения называются сложными.

Рассмотрим пример:

Первая посылка - условное суждение, выражающее связь основания (а) и следствия (b). Вторая посылка - категорическое суждение, в котором утверждается истинность основания (а): иск предъявлен недееспособным лицом. Признав истинность основания, мы признаем истинность следствия (b): суд оставляет иск без рассмотрения.

Это умозаключение представляет собой одну из разновидностей условно-категорического силлогизма - утверждающий модус (modus ponens), в котором посылка, выраженная категорическим суждением, утверждает истинность основания, а заключение утверждает истинность следствия; рассуждение направлено от утверждения основания к утверждению следствия.

Утверждающий модус дает достоверные выводы. Он имеет схему:

Другим модусом, дающим достоверные заключения, является отрицающий модус (modus tollens), в котором посылка, выраженная категорическим суждением, отрицает истинность следствия, а заключение отрицает истинность основания. Рассуждение направлено от отрицания следствия к отрицанию основания. Например:

Нетрудно установить, что возможны еще две разновидности условно-категорического силлогизма.

(3) Посылка, выраженная категорическим суждением, отрицает истинность основания, заключение отрицает истинность следствия. Рассуждение направлено от отрицания основания к отрицанию следствия, т.е.:

Однако заключение по данному модусу не будет достоверным. Так, если в приведенном примере основание условной посылки отрицается (неверно, что иск предъявлен недееспособным лицом), нельзя с достоверностью отрицать истинность следствия (неверно, что суд оставляет иск без рассмотрения). Суд может оставить иск без рассмотрения и по другим обстоятельствам, например в результате истечения срока исковой давности.

(4) Посылка, выраженная категорическим суждением, утверждает истинность следствия, заключение утверждает истинность основания. Рассуждение направлено от утверждения следствия к утверждению основания, т.е.:

Заключение по данному модусу также не будет достоверным. Утверждение следствия (суд оставляет иск без рассмотрения) не влечет с необходимостью истинность основания: суд может оставить иск без рассмотрения не только в результате недееспособности истца, но и по другим причинам.

Итак, из четырех модусов условно-категорического умозаключения, исчерпывающих все возможные комбинации посылок, достоверные заключения дают два: утверждающий (modus ponens) (1) и отрицающий (modus tollens) (2). Они выражают законь! логики и называются правильными модусами условно-категорического умозаключения. Эти модусы подчиняются правилу: утверждение основания ведет к утверждению следствия и отрицание следствия - к отрицанию основания. Два других модуса (3 и 4) достоверных заключений не дают. Они называются неправильными модусами и подчиняются правилу: отрицание основания не ведет с необходимостью к отрицанию следствия и утверждение следствия не ведет с необходимостью к утверждению основания.

Необходимость вывода по утверждающему и отрицающему модусам можно показать в помощью таблиц истинности.

Утверждающий модус (рис.1).

Истинность импликации (столбик 3) зависит от истинности антецедента (основания) (1) и консеквента (следствия) (2). Импликация считается ложной тогда и только тогда, когда антецедент истинен, а консеквент ложен (2-я строка таблицы). Во всех остальных случаях импликация истинна. Истинность или ложность конъюнкции (4-й столбик) также зависит от составляющих ее членов (3 и 1).

Конъюнкция истинна тогда и только тогда, когда истинны оба ее члена (1-я строка таблицы).

Теперь установим истинность импликации (5-й столбик таблицы - утверждающий модус). Так как импликация антецедента (4) и консеквента (2) не содержит случая, когда антецедент истинен, а консеквент ложен, то импликация всегда истинна. Следовательно, высказывание ((р→q)р)→q является логическим законом. Отрицающий модус (рис. 2).

В столбиках 1 и 3, 2 и 4 показано, что если одно высказывание ложно, то его отрицание истинно. Импликация р и q (1 и 2) ложна только в одном случае (2-я строка таблицы) - столбик 5. Конъюнкция (столбик 6) высказываний (p → q) и ˉ|q (5 и 4) истинна только в одном случае (4-я строка таблицы). Импликация ((p→q) ˉ|q) и ˉ|р (6 и 3) всегда истинна, так как не содержит случая, когда антецедент истинен, а консеквент ложен. Следовательно, высказывание ((p→q)ˉ|q)→ˉ|p является логическим законом.

С помощью таблиц истинности можно показать недостоверность выводов по неправильным модусам.

При анализе условно-категорического умозаключения нужно иметь в виду, что основание и следствие большей посылки может быть как утвердительным, так и отрицательным суждением: p→q; ˉ|p→q; p→ˉ|q; ˉ|p→ˉ|q. Например:

Следствие условной посылки - отрицательное суждение, категорическая посылка (утвердительное суждение) утверждает истинность основания, заключение (отрицательное суждение) утверждает истинность следствия.

В символической записи:

Возможны и другие разновидности модусов.

Иногда в рассуждениях используются условно-категорические умозаключения с выделяющим условным (эквивалентным) суждением (если, и только если а, то b).

В символической записи: p q, где - знак эквивалентности. В таких умозаключениях достоверные заключения получаются по всем четырем модусам:

Рассмотрим для примера выделяющее условное суждение: «Если лицо виновно в совершении преступления, то оно подлежит уголовной ответственности». Нетрудно установить, что достоверное заключение получается по любому из приведенных модусов.

Простые суждения, из которых состоит разделительное (дизъюнктивное) суждение, называются членами дизъюнкции или дизъюнктами. Например, разделительное суждение «Облигации могут быть предъявительскими или именными» состоит из двух суждений - дизъюнктов: «Облигации могут быть предъявительскими» и «Облигации могут быть именными», соединенных логическим союзом «или».

Утверждая один член дизъюнкции, мы с необходимостью должны отрицать другой, и отрицая один из них - утверждать другой. В соответствии с этим различают два модуса разделительно-категорического умозаключения: утверждающе-отрицающий и отрицающе-утверждающий.

Схема утверждающе-отрицающего модуса:

В утверждающе-отрицающем модусе (modus ponendo tollens) меньшая посылка - категорическое суждение - утверждает один член дизъюнкции, заключение - также категорическое суждение - отрицает другой ее член. Например:

Заключение по этому модусу всегда достоверно, если соблюдается правило: большая посылка должна быть исключающе-разделительным суждением, или суждением строгой дизъюнкции. Если это правило не соблюдается, достоверного заключения получить нельзя. В самом деле, из посылок «Кражу совершил К или Л» и «Кража совершена К» заключение «Л кражу не совершал» с необходимостью не следует. Возможно, что Л также причастен к совершению кражи, является соучастником К.

В отрицающе-утверждающем модусе (modus tollendo ponens) меньшая посылка отрицает один дизъюнкт, заключение утверждает другой. Например:

Схема отрицающе-утверждающего модуса:

В символической записи:

где < ... > - символ закрытой дизъюнкции.

Утвердительный вывод получен посредством отрицания: отрицая один дизъюнкт, мы утверждаем другой.

Заключение по этому модусу всегда достоверно, если соблюдается правило: в большей посылке должны быть перечислены все возможные суждения - дизъюнкты, иначе говоря, большая посылка должна быть полным (закрытым) дизъюнктивным высказыванием. Применяя неполное (открытое) дизъюнктивное высказывание, достоверного заключения получить нельзя. Например:

Однако это заключение может оказаться ложным, так как в большей посылке учтены не все возможные виды сде-Лб1: посылка представляет собой неполное, или открытое, дизъюнктивное высказывание (сделка может быть и односторонней, для совершения которой достаточно изъявления воли одного лица - выдача доверенности, составление завещания, отказ от наследства и т.п.).

Разделительная посылка может включать не два, а три и больше членов дизъюнкции. Например, в процессе расследования причин пожара на складе следователь предположил, что пожар мог возникнуть либо вследствие неосторожного обращения с огнем (р), либо в результате самовоспламенения хранящихся на складе материалов (q), либо в результате поджога (r). В ходе расследования было установлено, что пожар возник вследствие неосторожного обращения с огнем (р). В этом случае все другие дизъюнкты отрицаются. Умозаключение принимает форму утверждающе-отрицающего модуса и строится по схеме:

Возможен и другой ход рассуждения. Допустим, предположения о том, что пожар возник вследствие неосторожного обращения с огнем или в результате самовоспламенения хранящихся на складе материалов не подтвердилось. В этом случае умозаключение примет форму отрицающе-утверждающего модуса и будет построено по схеме:

Заключение будет истинным, если в условной посылке учтены все возможные случаи.

Условно-разделительное умозаключение

Умозаключение, в мотором одна посылка условное, а другая - разделительное суждение, называется условно-разделительным или лемматическим.

Разделительное суждение может содержать две, три и большее число альтернатив, поэтому лемматические умозаключения делятся на дилеммы (две альтернативы), трилеммы (три альтернативы) и т. д.

Рассмотрим на примере дилеммы структуру и виды условно-разделительного умозаключения. Различают два вида дилемм: конструктивную (созидательную) и деструктивную (разрушительную), каждая из которых делится на простую и сложную.

В простой конструктивной дилемме условная посылка содержит два основания, из которых вытекает одно и то же следствие. Разделительная посылка утверждает оба возможных основания, заключение утверждает следствие. Рассуждение направлено от утверждения истинности оснований к утверждению истинности следствия.

Схема простой конструктивной дилеммы:

Если обвиняемый виновен в заведомо незаконном аресте (а), то он подлежит уголовной ответственности за преступление против правосудия (с); если он виновен в заведомо незаконном задержании (b), то он также подлежит уголовной ответственности за преступление против правосудия (с). Обвиняемый виновен или в заведомо незаконном аресте (а), или в заведомо незаконном задержании (b)

Обвиняемый подлежит уголовной ответственности за преступление против правосудия (с)

В сложной конструктивной дилемме условная посылка содержит два основания и два следствия. Разделительная посылка утверждает оба возможных следствия. Рассуждение направлено от утверждения истинности оснований к утверждению истинности следствий.

Схема сложной конструктивной дилеммы:

Если сберегательный сертификат является предъявительским "с (а), то он передается другому лицу путем вручения (b); если он является именным (с), то передается в порядке, установленном для уступки требований (d). Но сберегательный сертификат может быть предъявительским (а) или именным (с)

Сберегательный сертификат передается другому лицу путем вручения (b) или в порядке, установленном для уступки требований(d)

В простой деструктивной дилемме условная посылка содержит одно основание, из которого вытекает два возможных следствия. Разделительная посылка отрицает оба следствия, заключение отрицает основание. Рассуждение направлено от отрицания истинности следствий к отрицанию истинности основания.

Схема простой деструктивной дилеммы:

Если Н - подозреваемый (а), значит, он или задержан по подозрению в совершении преступления (b), или является лицом, к которому применена мера пресечения до предъявления обвинения (с)

Н не был задержан по подозрению в совершении преступления (не -b) или он не является лицом, к которому применена мера пресечения до предъявления обвинения (не - с).

Н не является подозреваемым (не - а) в сложной деструктивной дилемме условная посылка содержит два основания и два следствия. Разделительная посылка отрицает оба следствия, заключение отрицает оба основания. Рассуждение направлено от отрицания истинности следствий к отрицанию истинности оснований.

Схема сложной деструктивной дилеммы:

Если предприятие является арендным (а), то оно осуществлю предпринимательскую деятельность на основе взятого им в аренду имущественного комплекса (b); если оно является коллективным (с), то осуществляет такую деятельность на основе находящегося в его собственности имущества (d) Данное предприятие не осуществляет свою деятельность ни на основе взятого в аренду имущественного комплекса (не - b), ни на основе находящегося в его собственности имущества (не - d). Данное предприятие не арендное (не - а) или не коллективное (не - с)

Сокращенный силлогизм (энтимема)

Силлогизм, в котором выражены все его части - обе посылки и заключение, называется полным. Такие силлогизмы были рассмотрены в предыдущих разделах. Однако на практике чаще используются силлогизмы, в которых одна из посылок или заключение явно не выражаются, а подразумеваются.

Силлогизм с пропущенной посылкой или заключением называется сокращенным силлогизмом, или энтимемой.

Широко используются энтимемы простого категорического силлогизма, особенно выводы по первой фигуре. Например: «Николаев - студент, поэтому он обязан сдавать экзамены». Здесь пропущена большая посылка: «Все студенты обязаны сдавать экзамены». Она представляет собой общеизвестное положение, формулировать которое необязательно.

Полный силлогизм строится по 1-й фигуре:

Пропущенной может быть не только большая, но и меньшая посылка, а также заключение: «Все студенты обязаны сдавать экзамены, а Николаев - студент» или: «Все студенты обязаны сдавать экзамены, значит, и Николаев обязан сдавать экзамены». Пропущенные части силлогизма подразумеваются.

В зависимости от того, какая часть силлогизма пропущена, различают три вида энтимемы: с пропущенной большей посылкой, с пропущенной меньшей посылкой и с пропущенным заключением.

Умозаключение в форме энтимемы может быть построено и по 2-й фигуре; по 3-й фигуре оно строится редко.

Форму энтимемы принимают также умозаключения, посылками которых являются условные и разделительные суждения.

Рассмотрим наиболее распространенные виды энтимем.

Здесь пропущена большая посылка - условное суждение «Если событие преступления не имело места, то уголовное дело не может быть возбуждено». Она содержит известное положение Уголовно-процессуального кодекса, которое подразумевается.

Большая посылка - разделительное суждение «По данному делу может быть вынесен либо оправдательный, либо обвинительный приговор» - не формулируется.

Разделительно-категорический силлогизм с опущенным заключением: «Смерть произошла либо в результате убийства, либо в результате самоубийства, либо в результате несчастного случая, либо в силу естественных причин. Смерть произошла в результате несчастного случая».

Заключение, отрицающее все другие альтернативы, обычно не формулируется.

Использование сокращенных силлогизмов обусловлено тем, что пропущенная посылка или заключение либо содержит известное положение, которое не нуждается в устном или письменном выражении, либо в контексте выраженных частей умозаключения она легко подразумевается. Именно поэтому рассуждение протекает, как правило, в форме энтимем. Но, поскольку в энтимеме выражены не все части умозаключения, скрывающуюся в ней ошибку обнаружить труднее, чем в полном умозаключении. Поэтому для проверки правильности рассуждения следует найти пропущенные части умозаключения и восстановить энтимему в полный силлогизм.

Сложные и сложносокращенные силлогизмы

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

Соединение простых силлогизмов, в котором заключение предшествующего силлогизма (просиллогизма) становится посылкой последующего (эписиллогизма) называется сложным силлогизмом, или полисиллогизмом.

Различают прогрессивный и регрессивный полисиллогизмы. В прогрессивном полисиллогизме заключение просиллогизма становится большей посылкой эписиллогизма. Например:

В регрессивном полисиллогизме заключение просиллогизма становится меньшей посылкой эписиллогизма. Например:

Оба приведенных примера представляют собой соединение двух простых категорических силлогизмов, построенных по модусу ААА 1-й фигуры. Однако полисиллогизм может быть соединением большего числа простых силлогизмов, простроенных по разным модусам разных фигур. Цепь силлогизмов может включить в себя как прогрессивную, так и регрессивную связь.

Сложными могут быть чисто условные силлогизмы, которые имеют схему:

В символической записи:

Из схемы видно, что, как и в простом чисто условном умозаключении, заключение представляет собой импликативную связь основания первой посылки со следствием последней.

В процессе рассуждения полисиллогизм принимает обычно сокращенную форму; некоторые из его посылок опускаются. Полисиллогизм, в котором пропущены некоторые посылки, называется соритом. Различают два вида соритов:

1. Прогрессивный полисиллогизм с пропущенными большими посылками эписиллогизмов. Например:

К сложносокращенным силлогизмам относится также эпихейрема. Эпихейремой называется сложносокращенный силлогизм, обе посылки которого являются энтимемами.

Например:

Развернем посылки эпихейремы в полные силлогизмы. Для этого восстановим в полный силлогизм сначала 1-ю энтимему:

Как видим, первую посылку эпихейремы составляют заключение и меньшая посылка силлогизма. Теперь восстановим 2-ю энтимему.

Вторую посылку эпихейремы также составляют заключение и меньшая посылка силлогизма.

Заключение эпихейремы получено из заключений 1-го и 2-го силлогизмов:

Развертывание эпихейремы в полисиллогизм позволяет проверить правильность рассуждения, избегать логических ошибок, которые могут остаться незамеченными в эпихейреме.

Понятие о логике высказываний

Современная символическая логика для анализа дедуктивных рассуждений строит особые логические системы; одна из них называется логикой высказываний или пропозициональной логикой, другая - логикой предикатов. Рассмотрим кратко принципы построения логики высказываний.

Логика высказываний - это логическая система, которая анализирует процессы рассуждения, основанные на характере связей между простыми суждениями, но без учета их внутренней структуры.

Язык логики высказываний включает: алфавит, определение правильно построенных выражений, интерпретацию.

Алфавит логики высказываний состоит из следующих символов.

Символы для высказываний: р, q, r,... (пропозициональные переменные).

Символы для логических связок:

(3) Технические знаки (,) - скобки.

Допустимые в логике высказываний выражения, называемые правильно построенными формулами или сокращенно ППФ, вводятся следующим определением:

1. Всякая пропозициональная переменная - р, q, r, ... является ППФ.

2. Если А и В - ППФ (А и В - символы метаязыка, выражающие любые формулы), то выражения - АВ, AВ, А→В, АВ, ˉ|А также являются ППФ.

Все другие выражения, помимо предусмотренных п. 1 и 2, не являются ППФ языка логики высказываний.

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

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

Среди правильно построенных формул в зависимости от их истинностного значения различают тождественно истинные, тождественно ложные и выполнимые формулы.

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

Тождественно ложными называют формулы, принимающие значение лжи при любых - истинных или ложных - значениях пропозициональных переменных.

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

Табличное построение предполагает определение логических отношений между формулами. Существенное значение для анализа рассуждений имеет отношение логического следования (символ├), которое определяется следующим образом. Из Ai,..., An как посылок логически следует В как заключение, если при истинности каждого Ai, ..., Ап истинным является и В. В языке-объекте отношение следования адекватно выражается импликацией. Значит, если A1,..., Аn ,├ В, то формула, представляющая собой импликацию вида (A1 ^ А2 ^ ... ^ Аn) → В, должна быть тождественно истинной.

Табличное построение логики высказываний позволяет определять логические отношения между высказывания и проверять правильность умозаключений, используя приведенный выше критерий. В качестве примера предлагаем провести табличным способом проверку правильности рассуждения формы (p→q) ├ (ˉ|q→ˉ|p). Заменив знак логического следования между посылкой и заключением на импликацию и построив таблицу для полученной формулы, видим, что она является тождественно истинной. Значит, рассуждение является правильным.

Если в рассуждении содержится более трех переменных, то строить полную таблицу для проверки его правильности затруднительно и тогда используют сокращенный метод проверки, рассуждая от противного. Поскольку при правильном рассуждении формула вида (A1 ^ ... ^ Аn) → В должна быть тождественно истинной, посмотрим, не может ли она при каком-то наборе значений переменных оказаться ложной. Предположим, что может. Если из этого предположения получим какое-нибудь противоречие, то предположение неверно (и проверяемое рассуждение правильно), а если из этого предположения не получим противоречия, то увидим набор значений переменных, при котором формула ложна, т. е. тот набор, который опровергает проверяемое рассуждение.

Логика высказываний как исчисление - это прежде всего так называемая система натурального вывода (СНВ). Аппаратом в ней служат правила вывода, каждое из которых является какой-нибудь элементарной формой умозаключения. Переходя по этим правилам от посылок или некоторых допущений к новым формулам, постепенно доходят до заключения. Вывод из посылок осуществлен, если удалось элиминировать все сделанные допущения. Таким образом, под выводом формулы В (заключения) из формул A1 – An (посылок) имеется в виду последовательность формул, каждая из которых является либо посылкой, либо допущением, либо получается по правилам вывода из предыдущих и последняя формула этой последовательности есть формула В, а все допущения при этом элиминированы.

Правила СНВ позволяют оперировать со всеми связками, имеющимися в алфавите языка. Они делятся на правила введения (в) и правила исключения (и) связок.

Кроме этих прямых правил получения новых строк вывода, в СНВ приняты непрямые правила, определяющие стратегию построения вывода. Например, если нужно вывести из посылок формулу вида импликации (Х1→(X2 →... (Xn-1→Xn))), то после выписывания посылок выписываются в качестве допущений все антецеденты заключения, начиная с антецедента главного знака импликации, т. е. Х1,X2, X3...,Xn-1. Если при этом удастся вывести Xn, то по непрямому правилу

собираем последовательно формулы: (Xn-1→Xn)

(при этом исключается допущение Xn-1), (Xn-2→(Xn-1→Xn)(Xn-2 исключается из числа допущений) и т. д., пока ни получим требуемое заключение

X1→(Xn-2→…(Xn-1→Xn).

Это правило построения прямого вывода.

Приведем пример вывода с применением этого правила:

((рq)→r)├ (р→ (q├ r))

Другое непрямое правило используется для построения косвенного вывода, при котором допущением является отрицание В или отрицание последнего консеквента х„. Это правило имеет вид

и говорит о том, что если из каких-то формул (r) и допущения (А) получено противоречие (В ˉ|В), то из этих формул следует ˉ|А. Таким образом, если строится косвенный вывод формулы вида (X1→(X2→... (Xn-1→X n)...), то после посылок выписываются формулы:

Затем по правилам вывода получаем следствия из всех имеющихся посылок и допущений до тех пор, пока ни получим две противоречащие друг другу формулы (В и ˉ|В), что свидетельствует о несовместимости допущения косвенного доказательства с другими допущениями и посылками. Отсюда делается вывод о его ложности. Тогда в вывод вписывается строка ˉ|ˉ|Xnи тем самым допущение косвенного доказательства исключается. Например, осуществим косвенный вывод:

Косвенный вывод считается законченным, если в ходе вывода получена какая-то формула и ее отрицание, т. е. противоречие. Таким образом, если строится косвенный вывод формулы вида X1→(X2→...Xn), то построчно выписывают все антецеденты от X1 до Xn-1 в качестве допущений; в последней строчке выписывают отрицание последнего консеквента - ˉ|Xn как допущение косвенного вывода. По правилам вывода получаем различные следствия из всех имеющихся посылок и допущений. Получение двух противоречащих следствий говорит о ложности допущения косвенного вывода. На этом основании ДКД отрицается, т. е. получаем двойное отрицание. Снятие двойного отрицания дает формулу Xn.

Основными логическими свойствами системы натурального вывода являются ее непротиворечивость и полнота.

Непротиворечивость означает, что из истинных посылок могут получаться только истинные следствия и если формула выводима из пустого множества посылок, то она тождественно истинна. Это исключает возможность вывести из пустого множества посылок какую-либо формулу (А) и ее отрицание (ˉ|А). Полнота системы означает, что дедуктивных ее средств достаточно, чтобы вывести из пустого множества посылок любую тождественно истинную формулу.

Логика предикатов является более общей логической системой и включает логику высказываний как свою часть. Она располагает более эффективными логическими средствами для анализа рассуждений в естественном языке.

Задачі

1. Чи правильно визначені відношення між поняттями:

А - фінансист;

В - державний службовець;

С – спортсмен;

Д – студент?

Відповідь:

Поняття А, В, С і Д є порівнянні поняття, тому що спільне в них визначення особи, яка займається трудовою діяльністю, є родовою ознакою.

Із них сумісними поняттями є А і В (загальна видова ознака – наявність обов`язкової вищої освіти), С і Д (загальна видова ознака – надання права одночасно вчитись та професійно займатись спортом).

Поняття А і В несумісні з поняттям С, тому що для фінансиста заняття професійним спортом означає не заняття фінансами (прикладів суміщення в практиці не має), для державного службовця іншою професійною діяльністю (крім навчання і науково-педагогічної діяльності) заборонено законом.

Поняття А і В несумісні з поняттям Д, тому що поставлене питання розглядається в контексті однієї по кількості вищої освіти, тобто наявність вищої освіти виключає можливість навчання.

Таким чином, кола А і В не повинні пересікатись з колами С і Д.

Розглянемо сумісні поняття А і В.

В наведеному завдання між цими загальними поняттями існує відношення перехрещення, тому що їх видові ознаки не заперечують одна одну (наприклад, співробітник фінансового управління міністерства є одночасно і фінансистом, і державним службовцем).

Поняття А і В пересікаються правильно.

Розглянемо сумісні поняття С і Д.

Відношень тотожності тут не маємо, що очевидно, відношень підпорядкованості теж не маємо, тому що поняття студент розглядається по відношенню до понять А, В і С, а не окремого поняття С (наприклад, студент інституту фізичної культури).

Між цими загальними поняттями існує відношення перехрещення з тих же причин, що і між поняттями А і В.

Розглянемо несумісні поняття.

Між несумісними поняттями А і С, а також В і С існують відношення супідрядності, тому що вино входять, як було сказано вище, до одного роду – професія.

Між несумісними поняттями А і Д, а також В і Д існують відношення протилежності, тому що бути одночасно фінансистом (державним службовцем) з освітою і отримувати цю освіти неможливо.

Всі поняття (А,В,С,Д) є сумісними поняттями, враховуючи, що визначення цих понять показують відношення людини до трудової діяльності (родової ознаки).

По обсягу понять (розмір кіл Ейлера) визначено правильно.

Поняття „фінансист” більш об’ємне, ніж інші, існує в усіх галузях господарства.

Поняття „студент” повністю входить до обсягу поняття „державний службовець”, тому що по закону „Про державну службу” вища освіта обов’язкова.

2. Дайте реальне та номінальне визначення поняттям: Конституція, валюта, вулиця.

Відповідь:

Номінальні визначення понять.

Конституція – Основний закон держави.

Валюта – світові гроші.

Вулиця – місце прогулянок, або елемент плану забудівлі населеного пункту.

Реальні визначення понять.

Конституція – закон держави, який встановлює і регулює основні принципи життєдіяльності суспільства.

Валюта – грошова одиниця, що використовується як міжнародна розрахункова одиниця і є засобом обігу і платежу.

Вулиця – дорога, розташована між будівлями населеного пункту і призначена для проїзду транспорту і проходу пішоходів.

Валюта - світові гроші,

Обґрунтування: даному визначенні поняття „валюта” не розкривається його зміст, а з’ясовується ім’я цього поняття, тобто валюта – це гроші.

Вулиця – дорога

Реальні визначення понять

Конституція – нормативно-правовий документ, який встановлює і регулює державні правовідносини.

Валюта – засіб обігу і платежу в міжнародних і міждержавних розрахунках.

3. Визначте вид судження, терміни і їх розподіленість за допомогою “логічного квадрату”, утворіть інші судження, звернувши увагу на їх істинність:

Деякі приміщення потребують ремонту в цьому році.

Відповідь:

Логічний квадрат:

Усі приміщення потребують

ремонту у цьому році

Жодне приміщення не потребує ремонту у цьому році

Деякі приміщення потребують ремонту у цьому році

Деякі приміщення не потребують ремонту у цьому році

Це істинне просте атрибутивне означене категоричне частково ствердне судження.

Істинне – тому що не має підстав вважати, що судження не відповідає тому, що є насправді.

Просте – тому що має один суб`єкт приміщення і один предикат потребують ремонту у цьому році.

Атрибутивне – тому що про предмет приміщення стверджується належність йому визначеної властивості потребують ремонту у цьому році.

Означене – тому що слово деякі має зміст тільки деякі, а не всі приміщення.

Частковоствердне– тому що за кількістю воно часткове деякі, а за якістю ствердне потребують.

Термін S (суб`єкт) приміщення нерозподілене, термін Р (предикат) потребують ремонту у цьому році розподілене, тому що обсяг предикату повністю включається в обсяг суб`єкту (приміщення бувають: які не потребують ремонту, які потребують ремонту і які відремонтовані).

Приймаємо судження І – істина, тоді по відношенню заперечення судження О – хиба. Якщо судження О – хиба, то по відношенню підпорядкування судження Е – хиба. Якщо судження Е – хиба, то по відношенню противності судження А може бути як істина, так і хиба. Але знаючи, що судження О – хиба, то по відношенню заперечення судження А – істина. Таким чином, А – істина, І – істина, Е – хиба, О – хиба.

По аналогії здійснюються міркування, якщо І – хиба.

Термін Р (предикат) „потребують ремонту у цьому році” – нерозподілене, тому що розподіленість предиката частковоствержувального судження встановити формально-логічними засобами неможливо і тому його вважають невизначеним і зараховують до нерозподілених (М.Г. Тофтул. Логіка: пос.для студентів ВНЗ. – К.: ВЦ „Академія”, 2002. -368сю, стор.84).

Розглянемо ознаки істинності наведеного судження.

По умові задачі нам дано судження І. Яке воно істинне чи хибне?

Припустимо судження І – хиба → Е – істина → О – істина → А – хиба.

Але із хибності А неможливо зробити висновок про хибність І .

Отже, що І – хиба не доказано.

Припустимо судження І – істина → Е – хиба

Далі наступає невизначеність по всім напрямкам логічного квадрату і однозначного достовірного висновку про істинність або хибність даного судження неможливо.

4. Наведіть приклади судження, яке відповідає наведеній формулі. Складіть для нього таблицю істинності:

(В Ú С) → А

Відповідь:

Якщо заповнити з помилками реквізити адресата або несвоєчасно подати платіжне доручення в банк, то кошти банком не будуть перераховані адресату.

Заповнити з помилками реквізити адресата (В) – істина.

Несвоєчасно подати платіжне доручення в банк (С) – істина.

Отже, (В Ú С) – істина.

Кошти банком не будуть перераховані адресату (А) – істина.

Отже, (В Ú С) → А – істина.

В	С	(В Ú С)	А	(В Ú С) → А
і	і	і
і	і	і

5. Проаналізуйте з погляду дотримання формально-логічних законів наведені міркування:

Свідок А.: Фірма Н. не мала солідних ділових партнерів. Внаслідок цього вона не отримувала великих прибутків.

Свідок Б. Фірма С. має великий досвід роботи і солідний авторитет. Два роки тому вона підписала договір про співробітництво з фірмою Н., що принесло їм солідні прибутки.

Відповідь:

Міркування свідка А.

Закон тотожності виконується, тому що поняття солідний діловий партнер та отримання великих прибутків тотожні.

Закон суперечності не діє, тому що обидва судження не протилежні.

Закон виключеного третього не діє, тому що обидва судження не суперечливі.

Закон достатньої підстави виконується, тому що закони економіки стверджують, що великі (солідні) фірми мають і великі (солідні) прибутки.

Міркування свідка Б.

Закон тотожності не виконується, тому що відбулася підміна понять. В першому судження йдеться про властивості фірми С, а в другому – фірми Н.

Закон суперечності не діє, тому що в судженнях йдеться не про один і той же предмет і не в один і той же час (два роки тому).

Закон виключеного третього не діє, тому що судження не суперечні.

Закон достатньої підстави порушується, тому що не має логічної підстави (підписання договору про співпрацю не приводить з необхідністю до отримання прибутків).

6. Зробіть методом перетворення, обернення і протиставлення предиката безпосередні умовиводи з такого засновку: Жоден із туристів нашої групи не знав німецької мови.

Відповідь:

Перетворення: Е на А.

Усі туристи нашої групи не знали німецької мови.

Обернення: S – P

Отже, P – S

Маємо загально заперечне судження, яке обертається без обмежень.

Жоден з знавців німецької мови не був туристом нашої групи.

Протиставлення предиката: загально заперечне судження перетворюється в частковоствердне. Жодне S не є Р → Деякіне Р є S.

Деякі не знавці німецької мови були туристами нашої групи.

Перетворення: Е на А

Отже, кожний турист нашої групи знав не німецьку мову.

Протиставлення предиката.

Отже, принаймні деякі туристи, що не знали німецьку мову, з нашої групи

7. Наведіть приклад деструктивної дилеми. Доведіть її правильність.

Відповідь:

1. Якщо керівництво акціонерного товариства ставить за мету збільшення статутного капіталу, то воно розмістить на фондовому ринку додаткові акції або викупить акції у акціонерів.

2. Керівництво акціонерного товариства направило прибуток на виплату дивідендів акціонерам.

Отже, Керівництво акціонерного товариства не ставило за мету збільшення статутного капіталу.

Більший засновок (1) є таким, що з нього випливає жва можливих наслідки (розміщення акцій або їх викуп).

Менший засновок (2) заперечує обидва наслідки, тому що кошти направлені не на капіталізацію, а на виплату дивідендів.

У висновку заперечена сама основа, з котрої виводили наслідки (мета – не мета).

Отже, маємо деструктивну дилему.

8. Побудуйте доказ тези методом доведення до абсурду: Організація потребує фінансової допомоги.

Відповідь:

Висунемо антитезу. Припустимо, істинним є теза: Організація не потребує фінансової допомоги.

Аргументом на користь того, щоб організації виділити фінансову допомогу є неспроможність організації виконувати свої функції.

Якщо організація не виконує свої функції, то вона не є організацією.

Отже, Організація, що не потребує фінансової допомоги, не є організацією. А це абсурд.

Отже, антитеза хибна і по закону виключеного третього початкова теза істинна.

9. Яка форма мислення виражена у міркуванні: Зима. Вечоріє. Вночі, напевно, піде сніг?

Відповідь:

Якщо зима, то, напевно, піде сні?

Якщо вечоріє, то буде ніч.

Отже, Вночі, напевно, піде сніг?

Зима (А) – загально стверджене судження дійсності

Вечоріє (А) – загально стверджене судження дійсності

Вночі, напевно, піде сніг? – судження можливості.

Це опосередкований умовивід - гіпотеза

Список літератури

1. Жеребкін В.Є. Логіка. – Х.: Основа, 1998.

2. Кириллов В.Н., Орлов Г.А. Упражнения по логике. – М.: МЦУПЛ, 1999.

3. Арутюнов В.Х., Мішин В.М., Кирик Д.П. Логіка. – К.: КНЕУ, 2000.

4. Волошко І.М., Семенов І.С. Практикум з логіки. – К.: Вид-во Київського ун-ту, 1993.

5. Ивлев Ю.В. Логика для вузов. – М.: Изд-во Моск. ун-та, 1997.

6. Ивлев Ю.В. Логика: Сборник упражнений. – М.: Книжный дом «Университет», 1999.

7. Кондаков Н.Н. Логический словарь. – М.: Сов. энциклопедия, 1990.

8. Упражнения по логике: Учебное пособие. – М.: Юрист, 1993.

9. Ішмуратов А.Т. Вступ до філософської логіки. – К.: Абрис, 1997.

10. Кириллов В.Н., Старченко А.А. Логика. – М.: Юрист, 1999.

11. Орендарчук Г.О. Основи логіки. – Тернопіль: СМП “Астон”, 2001.

12. Рузавин Г.Н. Логика. – М.: ЮНИТИ, 2002.

Чисто условное умозаключение

Чисто условным называется умозаключение, обе посылки которого являются условными суждениями. Например:

Если изобретение создано совместным творческим трудом нескольких граждан (р), все они признаются соавторами изобретения (q).

Если изобретение создано совместным творческим трудом нескольких граждан (р), то порядок пользования правами на изобретение, созданное в соавторстве, определяется соглашением между соавторами (r)

В приведенном примере обе посылки - условные суждения, причем следствие первой посылки является основанием второй (q ), из которого, в свою очередь, вытекает некоторое следствие (r ). Общая часть двух посылок (q ) позволяет связать основание первой (р ) и следствие второй (r ). Поэтому заключение также выражается в форме условного суждения.

Схема чисто условного умозаключения:

(р ® q) Ù (q ®r) р®r

Вывод в чисто условном умозаключении основывается на правиле: следствие следствия есть следствие основания .

Это умозаключение имеет два правильных модуса: 1) утверждающий и 2) отрицающий.

1. В утверждающем модусе (modus ponens) посылка, выраженная категорическим суждением, утверждает истинность основания условной посылки, а заключение утверждает истинность следствия; рассуждение направлено от утверждения истинности основания к утверждению истинности следствия.

Например:

Если иск предъявлен недееспособным лицом (р), то суд оставляет иск

без рассмотрения (q)

Иск предъявлен недееспособным лицом (р)

Суд оставляет иск без рассмотрения (q)

Первая посылка - условное суждение, выражающее связь основания (р ) и следствия (q ). Вторая посылка - категорическое суждение, в котором утверждается истинность основания (р ): иск предъявлен недееспособным лицом. Признав истинность основания (р ), мы признаем истинность следствия (q ): суд оставляет иск без рассмотренияУтверждающий модус дает достоверные выводы. Он имеет схему:

2. В отрицающем модусе (modus tollens) посылка, выраженная категорическим суждением, отрицает истинность следствия условной посылки, а заключение отрицает истинность основания. Рассуждение направлено от отрицания истинности следствия к отрицанию истинности основания . Например:

Если иск предъявлен недееспособным лицом (р),".то суд оставляет

иск без рассмотрения (q)

Суд не оставил иск без рассмотрения (не-q)

Неверно, что иск предъявлен недееспособным лицом (не-р) 1

р ® q,ù q ù p

Схема отрицающего модуса:

(3)

Нетрудно установить, что возможны еще две разновидности условно-категорического силлогизма: от отрицания истинности основания к отрицанию истинности следствия (3) и от утверждения истинности следствия к утверждению истинности основания(4), т.е.:

р ® q,ùq ù p

р ® q,ù q ù q

Однако заключение по этим модусам не будет достоверным 2 . Так, если в примере, приведенном выше, основание условной посылки отрицается: неверно, что иск предъявлен недееспособным лицом (схема 3), нельзя с достоверностью отрицать истинность следствия: неверно, что суд оставляет иск без рассмотрения. Суд может оставить иск без рассмотрения и по другим обстоятельствам, например в результате истечения срока исковой давности.

Утверждение следствия: суд оставляет иск без рассмотрения (схема 4) не влечет с необходимостью истинность основания: суд

Поскольку двойное отрицание равнозначно утверждению, вывод можно записать так: «Иск предъявлен дееспособным лицом». 2 Модусы могут быть представлены в записи: 1) ((Р®q) ÙP)®q; 2) ((p®q) Ùù q)®ù р; 3) ((p®q)Ùù р) q; 4) ((p®q) Ù q)® p.

может оставить иск без рассмотрения не только в результате недееспособности истца, но и по другим причинам.

Итак, из четырех модусов условно-категорического умозаключения, исчерпывающих все возможные комбинации посылок, достоверные заключения дают два: утверждающий (modus ponens) (1) и отрицающий (modus tollens) (2). Они выражают законы логики и называются правильными модусами условно-категорического умозаключения. Эти модусы подчиняются правилу: утверждение основания ведет к утверждению следствия и отрицание следствия - к отрицанию основания. Два других модуса (3 и 4) достоверных заключений не дают. Они называются неправильными модусами и подчиняются правилу: отрицание основания не ведет с необходимостью к отрицанию следствия и утверждение следствия не ведет с необходимостью к утверждению основания.

Необходимость вывода по утверждающему и отрицающему модусам можно показать с помощью таблиц истинности.

Утверждающий модус (рис. 53).

Теперь установим истинность импликации (5-й столбик таблицы"- утверждающий модус). Так как импликация антецедента (4) и консеквента (2) не содержит случая, когда антецедент истинен, а консеквент ложен, то импликация всегда истинна. Следовательно, высказывание ((р -> q) Ù р) -> q является логическим законом.

Отрицающий модус (рис. 54).

В столбиках 1 и 3, 2 и 4 показано, что если одно высказывание ложно, то его отрицание истинно. Импликация р и q (1 и 2) ложна только в одном случае (2-я строка таблицы) - столбик 5. Конъюнкция (столбик 6) высказываний (р®q) и ù q (5 и 4) истинна только в одном случае (4-я строка таблицы). Импликация ((p->q) Ù ù q) иù р (6 и 3) всегда истинна, так как не содержит случая, когда антецедент истинен, а консеквент ложен. Следовательно, высказывание ((р->q) Ùù q)®ù р является логическим законом.

С помощью таблиц истинности можно показать недостоверность выводов по неправильным модусам. При анализе условно-категорического умозаключения нужно иметь в виду следующее. Во-первых, основание и следствие большей посылки может быть как утвердительным, так и отрицательным суждением: р ® q; ù р ® q; р ® q; ù р -ù q. Например:

Если состав преступления отсутствует (р), то уголовное дело не может быть возбуждено (ù q)

Состав преступления отсутствует (р)

Уголовное дело не может быть возбуждено (ù q)

р ®ù q, р

Это утверждающий модус.

Возможны и другие разновидности модусов.

Во-вторых, если большая посылка является эквивалентным суждением: p º q (если, и только если р , то q ), где º - знак эквивалентности, то достоверные заключения получаются по всем четырем модусам:

Pº q, РP º q, ù qР º q, ù РP º q, q

q ù p ù q p

Простые суждения, из которых состоит разделительное (дизъюнктивное) суждение, называются членами дизъюнкции, или дизъюнктами. Например, разделительное суждение «Облигации могут быть предъявительскими или именными» состоит из двух суждений - дизъюнктов: «Облигации могут быть предъявительскими» и «Облигации могут быть именными», соединенных логическим союзом «или».

Утверждая один член дизъюнкции, мы с необходимостью должны отрицать другой и, отрицая один из них, - утверждать другой. В соответствии с этим различают два модуса разделительно-категорического умозаключения: (1) утверждающе-отрицающий и (2) отри-цающе-утверждающий.

1. В утверждающе-отрицающем модусе (modus ponendo tollens) меньшая посылка - категорическое суждение - утверждает один член дизъюнкции, заключение - также категорическое суждение - отрицает другой ее член. Например:

Облигации могут быть предъявительскими (р) или именными (q) Данная облигация предъявительская (q)

Данная облигация не является именной (не-q)

Схема утверждающе-отрицающего модуса:

p Ú q, p

Ú- символ строгой дизъюнкции.

большая посылка должна быть исключающе-раздели-тельным суждением, или суждением строгой дизъюнкции. Если это правило не соблюдается, достоверного заключения получить нельзя. В самом деле, из посылок «Кражу совершил К. или Л.» и «Кража совершена К.» заключение «Л. кражу не совершал» с необходимостью не следует. Возможно, что Л. также причастен к совершению кражи, является соучастником К.

2. В отрицающе-утверждающем модусе (modus tollendo ponens) меньшая посылка отрицает один дизъюнкт, заключение утверждает другой. Например:

Облигации могут быть предъявительскими (р) или именными (q) Данная облигация не является предъявительской (не-р)

Данная облигация именная (q)

Схема отрицающе-утверждающего модуса:

vq >,ùp

< > - символ закрытой дизъюнкции.

Утвердительный вывод получен посредством отрицания: отрицая один дизъюнкт, мы утверждаем другой.

Сделка может быть двусторонней или многосторонней Совершенная сделка не является двусторонней

Совершенная сделка является многосторонней

Однако это заключение может оказаться ложным, так как в большей посылке учтены не все возможные виды сделок: посылка представляет собой неполное, или открытое, дизъюнктивное высказывание (сделка может быть и односторонней, для совершения которой достаточно изъявления воли одного лица - выдача доверенности, составление завещания, отказ от наследства и т.п.).

Разделительная посылка может включать не два, а три и больше членов дизъюнкции. Например, в процессе расследования причин пожара на складе следователь предположил, что пожар мог возникнуть либо вследствие неосторожного обращения с огнем (р ), либо в результате самовоспламенения хранящихся на складе материалов (q ), либо в результате поджога (r ). В ходе расследования было установлено, что пожар возник вследствие неосторожного обращения с огнем (р ). В этом случае все другие дизъюнкты отрицаются. Умозаключение принимает форму утверждающе-отрицающего модуса и строится по схеме:

р Ú q Ú r, р

ùqÙùr

<р v q v r > , ù р v ù q

r (пожар возник в результате поджога)

Заключение будет истинным, если в условной посылке учтены все возможные случаи.

Условно-разделительное умозаключение

Умозаключение, в котором одна посылка условное, а другая - разделительное суждения, называется условно-разделительным, или лемматическим .

Разделительное суждение может содержать две, три и большее число альтернатив , поэтому лемматические умозаключения делятся на дилеммы (две альтернативы), трилеммы (три альтернативы) и т.д.

В простой конструктивной дилемме условная посылка содержит два основания, из которых вытекает одно и то же следствие. Разделительная посылка утверждает оба возможных основания, заключение утверждает следствие. Рассуждение направлено от утверждения истинности оснований к утверждению истинности следствия.

Схема простой конструктивной дилеммы:

(p®r)Ù(q®r),pvq r

Если обвиняемый виновен в заведомо незаконном задержании (р), то он подлежит уголовной ответственности за преступление против правосудия (r); если он виновен в заведомо незаконном заключении под стражу (q), то он также подлежит уголовной ответственности за преступление против правосудия (r).

Обвиняемый виновен или в заведомо незаконном задержании (р), или в заведомо незаконном заключении под стражу (q)

Обвиняемый подлежит уголовной ответственности за преступление против правосудия (r)

В сложной конструктивной дилемме условная посылка содержит два основания и два следствия. Разделительная посылка утверждает оба возможных основания. Рассуждение направлено от утверждения истинности оснований к утверждению истинности следствий.

Схема сложной конструктивной дилеммы:

(p®q)Ù(r®s),pvr q v s

Пример:

Если сберегательный сертификат является предъявительским (р), то он передается другому лицу путем вручения (q); если он является именным (r), то передается в порядке, установленном для уступки требований (s). Но сберегательный сертификат может быть предъявительским (р) или именным (r)

Сберегательный сертификат передается другому лицу путем вручения (q) или в порядке, установленном для уступки требований (s)

В простой деструктивной дилемме условная посылка содержит одно основание, из которого вытекает два возможных следствия. Разделительная посылка отрицает оба следствия, заключение отрицает основание. Рассуждение направлено от отрицания истинности следствий к отрицанию истинности основания.

Схема простой деструктивной дилеммы:

(p®q)Ù(p®r),ùq vùr

Если Н. совершил умышленное преступление (р), значит, в его действиях был прямой (q) или косвенный умысел (r). Но в действиях Н. не было ни прямого (q), ни косвенного умысла (r)

Преступление, совершенное Н., не является умышленным (р)

В сложной деструктивной дилемме условная посылка содержит два основания и два следствия. Разделительная посылка отрицает оба следствия, заключение отрицает оба основания. Рассуждение направлено от отрицания истинности следствий к отрицанию истинности оснований.

Схема сложной деструктивной дилеммы:

(p®q)Ù(r®s),ùq vùs ùр v ù r

Если предприятие является арендным (р), то оно осуществляет предпринимательскую деятельность на основе взятого им в аренду имущественного комплекса (q); если оно является коллективным (r), то осуществляет такую деятельность на основе находящегося в его собственности имущества (s)

Данное предприятие не осуществляет свою деятельность ни на основе взятого в аренду имущественного комплекса (не-q), ни на основе находящегося в его собственности имущества (не-s)

Данное предприятие не арендное (не-р) или не коллективное (не-г)

§ 4. Сокращенный силлогизм (энтимема)

Силлогизм с пропущенной посылкой или заключением называется сокращенным силлогизмом, или энтимемой 1 .

Широко используются энтимемы простого категорического силлогизма, особенно выводы по первой фигуре. Например: «Н. совершил преступление и поэтому подлежит уголовной ответственности». Здесь пропущена большая посылка: «Лицо, совершившее преступление, подлежит уголовной ответственности». Она представляет собой общеизвестное положение, формулировать которое необязательно.

Полный силлогизм строится по 1-й фигуре:

Лицо, совершившее преступление (М), подлежит уголовной

ответственности (р)

Н. (s) совершил преступление (М)

Н. (s) подлежит уголовной ответственности (р)

Пропущенной может быть не только большая, но и меньшая посылка, а также заключение: «Лицо, совершившее преступление, подлежит уголовной ответственности, а значит Н. подлежит уголовной ответственности». Или: «Лицо, совершившее преступление, подлежит уголовной ответственности, а Н. совершил преступление». Пропущенные части силлогизма подразумеваются.

Умозаключение в форме энтимемы может быть построено и по 2-й фигуре; по 3-й фигуре оно строится редко.

Рассмотрим наиболее распространенные виды энтимем.

Большая посылка - разделительное суждение «По данному делу может быть вынесен либо оправдательный, либо обвинительный приговор» не формулируется.

Разделительно-категорический силлогизм с пропущенным заключением: «Смерть произошла либо в результате убийства, либо в результате самоубийства, либо в результате несчастного случая, либо в силу естественных причин. Смерть произошла в результате несчастного случая».

Заключение, отрицающее все другие альтернативы, обычно не формулируется.

Чисто условное умозаключение

Чисто условным называется умозаключение, обе посылки кок рого являются условными суждениями. Например:

Если изобретение создано совместным творческим трудом несколь граждан (р), все они признаются соавторами изобретения (q). Если они признаются соавторами изобретения (q), то порядок пользования правами на изобретение, созданное в соавторстве, определяется соглашением между соавторами (г)

Если изобретение создано совместным творческим трудом неско. граждан (р), то порядок пользования правами на изобретение, соз, ное в соавторстве, определяется соглашением между соавторами (г|

В приведенном примере обе посылки - условные суждения, причем следствие первой посылки является основанием второй (q). из которого, в свою очередь, вытекает некоторое следствие (г). Общая часть двух посылок (q) позволяет связать основание первой (р) и следствие второй (г). Поэтому заключение также выражается в форме условного суждения.

Схема чисто условного умозаключения:

(р -> q) л (q -> г) р ->г

Умозаключение, в котором заключение получается из двух условных посылок, относится к простым. Однако заключение может следовать из большего" числа посылок, которые образуют цепь условных суждений.

Такие умозаключения называются сложными. Они будут рассмотрены в § 5.

Это умозаключение имеет два правильных модуса: 1) утверждающий и 2) отрицающий.

1. В утверждающем модусе (modus ponens) посылка, выраженная категорическим суждением, утверждает истинность основания условной посылки, а заключение утверждает истинность следствия;

рассуждение направлено от утверждения истинности основания к утверждению истинности следствия.

Например:

Если иск предъявлен недееспособным лицом (р), то суд оставляет иск

без рассмотрения (q)

Иск предъявлен недееспособным лицом (р)

Суд оставляет иск без рассмотрения (q)

Первая посылка - условное суждение, выражающее связь основания (р) и следствия (q). Вторая посылка - категорическое суждение, в котором утверждается истинность основания (р): иск предъявлен недееспособным лицом. Признав истинность основания (р), мы признаем истинность следствия (q): суд оставляет иск без рассмотрения.

Утверждающий модус дает достоверные выводы. Он име схему:

2. В отрицающем модусе (modus tollens) посылка, выражение категорическим суждением, отрицает истинность следствия услов ной посылки, а заключение отрицает истинность основания. Рассужу дение направлено от отрицания истинности следствия к отрицав нию истинности основания. Например: ,

Если иск предъявлен недееспособным лицом (р), то суд оставляет

иск без рассмотрения (q)

Суд не оставил иск без рассмотрения (не-q)

Неверно, что иск предъявлен недееспособным лицом (не-р)1

Схема отрицающего модуса:

условным умозаключением называется такое опосредствованное умозаключение, в котором обе посылки являются условными суждениями. Условным называется суждение, имеющее структуру: “Если а, то b ”.Структура чисто условного умозаключения такая:

Если а, то b Схема:

Если b, то с.

Если а, то с а→b, b→c

Согласно определению логического следствия, сформулированному в рамках исчисления высказываний, если формула а → с есть логическое следствие из данных посылок, то, соединив посылки знаком конъюнкции и присоединив к ним посредством знака импликации заключение, мы должны получить формулу, которая является законом логики, т.е. тождественно-истинной формулой. В данном случае формула будет такова:

((а→c)^ (b→с))→(а→с).

Условное суждение имеет форму: если A есть B, то C есть D, например: если Земля вращается вокруг своей оси, то происходит смена дня и ночи . Первое суждение есть основание (антецедент ), а второе - следствие (консеквент ).

Существуют два модуса условно-категорических умозаключений. Первый из них называется modus ponens , то есть устанавливающий, утверждающий, конструктивный модус; второй называется modus tolens , то есть разрушающий, отрицающий,деструктивный модус.

Конструктивный модус имеет следующий вид.

Если A есть B, то C есть D ;

A есть B ;

Следовательно, C есть D .

В условно-категорическом умозаключении в конструктивном модусе

Деструктивный модус имеет следующий вид.

Если A есть B, то C есть D ;

C не есть D ;

Следовательно, A не есть B .

В условно-категорическом умозаключении в деструктивном модусе отрицается консеквент.

Конец работы -

Эта тема принадлежит разделу:

История и предмет логики

Безотносительные анализ термина термин квадрат предметное значение.. логические операции с объемом понятия.. обобщение понятия это логическая операция перехода от понятия с меньшим объемом но с большим содержанием к понятию..

Если Вам нужно дополнительный материал на эту тему, или Вы не нашли то, что искали, рекомендуем воспользоваться поиском по нашей базе работ:

Что будем делать с полученным материалом:

Если этот материал оказался полезным ля Вас, Вы можете сохранить его на свою страничку в социальных сетях:

Все темы данного раздела:

История и предмет логики
В своем развитии логика прошла два этапа: 1) с IV в. до н. э. до XIX в. н. э. В этот период произошло возникновение формальной логики, автором которой традиционно считаетс

Язык и логика. Имя
Предметом изучения логики являются формы и законы правильного мышления. Мышление есть функция человеческого мозга, которая неразрывно связана с языком.

Язык логики высказываний
Язык – знаковая информационная система, выполняющая функцию формирования, хранения и передачи информации в процессе познания действительности и общения между людьми. При с

Понятие
Понятие – простая форма абстрактного мышления, которая фиксирует существенные признаки предмета или класса предмета. Логические характеристики понятия, как форма абстрактного мышления…..

Безотносительные
Анализ термина Термин: квадрат. Предметное значение: геометрическая фигура. Термин Пр

Способы решения логических задач
Известно несколько различных способов решения логических задач. Давайте назовем их так: § Метод рассуждений; пособ рассуждений - самый примитивный способ. Этим способом решаются самые прос

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

Отношения простых категоричсеких суждений. Логич квадрат
Логический квадрат

Сложное суждение
Сложные суждения образуются из простых путем их соединения. Сложные суждения могут быть истинными или ложными, истинность или ложность которых зависит прежде всего от истинности или ложности состав

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

Умозаключение
Умозаключение – это форма мышления, в которой из одного или нескольких суждений на основании определенных правил вывода получается новое суждение. Структура всякого умозак

Силлогизм
Категорический силлогизм – это умозаключение, в котором из двух категорических высказываний выводится новое категорическое высказывание. Логическая теория такого рода умозаключений

Сокращенная форма силлогизма
В силлогизме, как и в любом правильном умозаключении, не может содержаться информация, отсутствующая в посылках. Заключение только развертывает информацию посылок, но не может вносить новую информа

Индуктивные умозаключения
Индукция – это умозаключение от знания меньшей степени общности к новому знанию большей степени общности. Посылками индуктивного умозаключения являются суждения, в которых

Умозаключения по аналогии
Аналогия – это умозаключение о принадлежности предмету определенного признака на основе сходства в признаках с другим предметом. Аналогия дает не строго достоверные, а пра

Основные законы логики
Закон логики - общая норма рассуждения, регулирующая процессы речевого общения и трансляцию смысла. Законы: 1. Зако

Аргументация
Аргументация - это полное или частичное обоснование какого-либо утверждения с использованием других утверждений. Задачей аргументации является выработка убеждения или

Виды недоказательной аргументации
Недоказательные (правильные) аргументации бывают трех типов. Первый: аргументы, по крайней мере некоторые из них, являются не достоверными, а лишь правдоподобными утвержде

Прямой и косвенный способы обоснования
Тезис - это выдвинутое пропонентом суждение, которое он обосновывает в процессе аргументации. Тезис является главным структурным элементом аргументации и отвечает на вопрос:

Опровержение. Структура и форма
Опровержение – это рассуждение, направленное против выдвинутого положения и имеющее своей целью установление его ошибочности или недоказанности. Наиболее распространенный

Ошибки относительно доказываемого тезиса
1. “Подмена тезиса”. Тезис должен быть ясно сформулирован и оставаться одним и тем же на протяжении всего доказательства или опровержения - так гласят правила по отношению к тезису

Ошибки в основаниях (аргументах) доказательства
1. Ложность оснований (“основное заблуждение”).В качестве аргументов берутся не истинные, а ложные суждение которые выдают или пытаются выдать за истинные. Ошибка может быть непред

Это умозаключение имеет два правильных модуса: 1) утверждающий и 2) отрицающий.

1. В утверждающем модусе посылка, выраженная категорическим суждением, утверждает истинность основания условной посылки, а заключение утверждает истинность следствия;

рассуждение направлено от утверждения истинности основания к утверждению истинности следствия.

2. В отрицающем модусе посылка, выраженная категорическим суждением, отрицает истинность следствия условной посылки, а заключение отрицает истинность основания. Рассуждение направлено от отрицания истинности следствия к отрицанию истинности основания.

Из четырех модусов условно-категорического умозаключения, исчерпывающих все возможные комбинации посылок, достоверные заключения дают два: утверждающий (modus ponens) (1) и отрицающий (modus tollens) (2). Они выражают законы логики и называются правильными модусами условно-категорического умозаключения. Эти модусы подчиняются правилу: утверждение основания ведет к утверждению следствия и отрицание следствия - к отрицанию основания. Два других модуса (3 и 4) достоверных заключений не дают. Они называются неправильными модусами и подчиняются правилу: отрицание основания не ведет с необходимостью к отрицанию следствия и утверждение следствия не ведет с необходимостью к утверждению основания.

Простые суждения, из которых состоит разделительное (дизъюнктивное) суждение, называются членами дизъюнкции, или дизъюнктами.

1. В утверждающе-отрицающем модусе меньшая посылка - категорическое суждение - утверждает один член дизъюнкции, заключение - также категорическое суждение - отрицает другой ее член.

Заключение по этому модусу всегда достоверно, если соблюдается правило: большая посылка должна быть исключающе-раздели-тельным суждением, или суждением строгой дизъюнкции. Если это правило не соблюдается, достоверного заключения получить нельзя.

2. В отрицающе-утверждающем модусе меньшая посылка отрицает один дизъюнкт, заключение утверждает другой.

Заключение по этому модусу всегда достоверно, если соблюдается правило: в большей посылке должны быть перечислены все возможные суждения -- дизъюнкты, иначе говоря, большая посылка должна быть полным (закрытым) дизъюнктивным высказыванием. Применяя неполное (открытое) дизъюнктивное высказывание, достоверного заключения получить нельзя.

Заключение будет истинным, если в условной посылке учтены все возможные случаи.

Условно-разделительное умозаключение

Различают два вида дилемм: конструктивную (созидательную) и деструктивную (разрушительную), каждая из которых делится на простую и сложную.

Общая характеристика суждения.

Познавая объективный мир, человек раскрывает связи между предметами и их признаками, устанавливает отношения между предметами, утверждает или отрицает факт существования предмета. Эти связи и отношения отражаются в мышлении в форме суждений, представляющих собой связь понятий.

Связи и отношения выражаются в суждении посредством утверждения или отрицания.

Всякое суждение может быть либо истинным, либо ложным, т.е. соответствовать действительности либо не соответствовать ей. Если в суждении утверждается связь, существующая в действительности, или отрицается связь, которая в действительности отсутствует, то такое суждение будет истинным.

Суждение - это форма мышления, в которой утверждается или отрицается связь между предметом и его признаком, отношения между предметами или факт существования предмета; суждение может быть либо истинным, либо ложным.

Языковой формой выражения суждения является предложение. Подобно тому как понятия не могут возникнуть и существовать вне слов и словосочетаний, так и суждения не могут возникнуть и существовать вне предложений. Однако единство суждения и предложения не означает их полного совпадения. И если всякое суждение выражается в предложении, то из этого не следует, что всякое предложение выражает суждение. Суждение выражается повествовательным предложением, в нем содержится сообщение о чем-либо.

Понятия истинности и ложности суждения.

Если же в суждении утверждается связь, которая в действительности не имеет места, или отрицается существующая связь, то такое суждение является ложным. Например, «Кража не является преступлением» т.е. ложные суждения противоречат реальному положению вещей.

Общие правила простого категорического силлогизма.

Из истинных посылок не всегда можно получить истинное заключение. Его истинность обусловлена правилами силлогизма. Этих правил семь: три относятся к терминам и четыре - к посылкам.

Правила терминов.

1-е правило: в силлогизме должно быть только три термина. Вывод в силлогизме основан на отношении двух крайних терминов к среднему, поэтому в нем не может быть ни меньше, ни больше трех терминов.

2-е правило: средний термин должен быть распределен хотя бы в одной из посылок . Если средний термин не распределен ни в одной из посылок, то связь между крайними терминами остается неопределенной.

3-е правило: термин, не распределенный в посылке, не может быть распределен и в заключении.

Меньший термин (S) не распределен в посылке (как предикат утвердительного суждения), поэтому он не распределен и в заключении (как субъект частного суждения). Делать вывод с распределенным субъектом в форме общего суждения это правило запрещает. Ошибка, связанная с нарушением правила распределенноcти крайних терминов, называется незаконным расширением меньшего (или большего) термина.