Материал: Логика (ответы)

Приведем пример прогрессивного полисиллогизма:

Общественно опасное деяние (А) наказуемо (В)

Преступление (С) — общественно опасное деяние (А)

Дача взятки ( D ) — преступление (С)

Дача взятки (D) наказуема (В)

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

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

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

аргументации.

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

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

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

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

Например:

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

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

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

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

Схема:

p—»q,p

q

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

Например:

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

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

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

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

p---»q, q

p

32. Чисто условные умозаключения, их роль в доказательстве.

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

Например:

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

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

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

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

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

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

р —> r

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

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

ности вывода.

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

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

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

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

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

Данная облигация не является именной (не-q) Схема утверждающе-отрицающего модуса:

pVVq, p

q

VV (друг под другом)— символ строгой дизъюнкции.

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

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

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

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

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

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

< pvq >, p

q

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

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

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

34. Дилеммы, их виды и правильные формы.

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

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

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

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

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

(p--»r)A(q--»r), pVq

r

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

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

( p -> q ) A ( r -> s ), p v r

q v s

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

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

( p -> q ) A ( p -> r ), q v r

p

35. Недедуктивные умозаключения, их виды и роль в познании.

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

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

Виды

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

36. Индукция как метод познания. Индуктивные умозаключения.

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

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

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

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

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

Схема

1)S₁ имеет признак P

S₂ имеет признак P

……………………

Sn имеет признак P

2)S₁, S₂,…Sn – составляют класс K

Заключение:

Всем предметам класса К присущ признак Р

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

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

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

Схема

1)S₁ имеет признак P

S₂ имеет признак P

……………………

Sn имеет признак P

2)S₁, S₂,…Sn – принадлежит классу K

Заключение:

Классу К,вероятно, присущ признак Р

Неполнота индуктивного обобщения выражается в том, что исследуют не все, а лишьнекоторые элементы или части класса — от S₁ до Sn

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

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

По способу отбора различают два вида неполной индукции: (1) индукцию путем перечисления, получившую название популярной индукции, и (2) индукцию путем отбора, которую называютнаучной индукцией.

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

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

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

В зависимости от способов исследования различают: (1) индукцию методом отбора(селекции) и (2) индукцию методом исключения (элиминации).

1. Индукция методом отбора

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