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

Обновлено: 07.07.2024

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

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

Если а, то b. Если b, то с. Если а, то с.

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

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

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

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

Приведем пример утверждающего модуса.

Если топор упадет в воду, он утонет.

Топор упал в воду.

Два истинных суждения, которые являются посылками этого суждения, преобразуются в процессе вывода в истинное суждение. Отрицающий модус выражается по следующей схеме. Если а, то b. Не-b. Не-а.

Это суждение строится на основе отрицания следствия и отрицания основания.

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

В связи с этим следует сказать о вероятностных модусах.

Первый вероятностный модус на схеме отображается следующим образом.

Как ясно из названия, следствие, выводимое из посылок при помощи этого модуса, является вероятным.

Если дует сильный ветер, то яхту кренит набок.

Яхту кренит набок.

Вероятно, дует сильный ветер.

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

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

Если а, то b. Не-а.

Вероятно, не-b. Приведем пример.

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

Этот человек не лежит под солнцем.

Он не загорит.

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

Формулы утверждающего и отрицающего модусов являются законами логики, в то время как формулы вероятностных — не являются.

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

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

S есть А или В, или С.

А есть А1 или А2.

S есть А1 или А2, или В, или С.

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

Путь бывает прямым или окружным.

Окружный путь бывает с одной пересадкой или с несколькими пересадками.

Путь бывает прямым или с одной пересадкой, или с несколькими пересадками.

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

S есть А или В. S есть А (В). S не есть В (А). Например:

Выстрел бывает точным и неточным. Этот выстрел является точным. Этот выстрел не является неточным.

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

Условно-разделительное суждение может быть или дилеммой, или трилеммой. В дилемме условная посылка состоит из двух членов. При этом разделительная подразумевает наличие выбора. Другими словами, дилемма — это выбор одного из двух вариантов.

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

Если нажать на карандаш, он сломается; если согнуть карандаш, он сломается.

Можно нажать на карандаш или согнуть карандаш.

Карандаш сломается.

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

Трилемма состоит из двух посылок и следствия и предлагает выбор из трех вариантов или констатирует три факта.

Если спортсмен вовремя нанесет удар, то он победит; если спортсмен правильно распределит силы, то он победит; если спортсмен выполнит прыжок чисто, то он победит.

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

Спортсмен победит.

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

Индуктивное умозаключение

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

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

Поскольку S1, S2, . Sn исчерпывают все предметы класса S, то “Все S суть Р”. Однако полная индукция находит ограниченное применение. Чаще используется неполная индукция, когда посылки не исчерпывают всего класса предметов, подлежащих обобщению:

Вероятно, все S суть Р

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

брать для обобщения возможно больше фактов;

брать факты по возможности разнообразные;

Виды неполной индукции:

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

Существуют индуктивные методы установления причинной связи:

- Метод сходства: если два или более случаев наблюдаемого явления имеют общим лишь одно обстоятельство, то это обстоятельство, вероятно, и есть причина данного явления:

Наблюдаемые Обстоятельства, Явление

случаи при которых наступает

Вероятно, обстоятельство а есть причина явления Х

- Метод различия: если случай, в котором наблюдаемое явление наступает, и случай, в котором оно не наступает, сходня во всем, кроме одного обстоятельства, то это обстоятельство, вероятно, и есть причина исследуемого явления:

Наблюдаемые Обстоятельства, Явление

случаи при которых наступает

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

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

Наблюдаемые Обстоятельства, Явление

случаи при которых наступает

Вероятно, обстоятельство а является причиной Х

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

Предшествующие обстоятельства АВСХ вызывают явление abcd

Известно, что обстоятельства АВС вызывают явление авс

Вероятно, обстоятельство Х есть причина явления d

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

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

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

Если а, то b. Если b, то с. Если а, то с.

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

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

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

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

Приведем пример утверждающего модуса.

Если топор упадет в воду, он утонет.

Топор упал в воду.

Два истинных суждения, которые являются посылками этого суждения, преобразуются в процессе вывода в истинное суждение. Отрицающий модус выражается по следующей схеме. Если а, то b. Не-b. Не-а.

Это суждение строится на основе отрицания следствия и отрицания основания.

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

В связи с этим следует сказать о вероятностных модусах.

Первый вероятностный модус на схеме отображается следующим образом.

Как ясно из названия, следствие, выводимое из посылок при помощи этого модуса, является вероятным.

Если дует сильный ветер, то яхту кренит набок.

Яхту кренит набок.

Вероятно, дует сильный ветер.

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

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

Если а, то b. Не-а.

Вероятно, не-b. Приведем пример.

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

Этот человек не лежит под солнцем.

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

Формулы утверждающего и отрицающего модусов являются законами логики, в то время как формулы вероятностных — не являются.

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

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

S есть А или В, или С.

А есть А1 или А2.

S есть А1 или А2, или В, или С.

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

Путь бывает прямым или окружным.

Окружный путь бывает с одной пересадкой или с несколькими пересадками.

Путь бывает прямым или с одной пересадкой, или с несколькими пересадками.

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

S есть А или В. S есть А (В). S не есть В (А). Например:

Выстрел бывает точным и неточным. Этот выстрел является точным. Этот выстрел не является неточным.

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

Условно-разделительное суждение может быть или дилеммой, или трилеммой. В дилемме условная посылка состоит из двух членов. При этом разделительная подразумевает наличие выбора. Другими словами, дилемма — это выбор одного из двух вариантов.

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

Если нажать на карандаш, он сломается; если согнуть карандаш, он сломается.

Можно нажать на карандаш или согнуть карандаш.

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

Трилемма состоит из двух посылок и следствия и предлагает выбор из трех вариантов или констатирует три факта.

Если спортсмен вовремя нанесет удар, то он победит; если спортсмен правильно распределит силы, то он победит; если спортсмен выполнит прыжок чисто, то он победит.

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

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

Данный текст является ознакомительным фрагментом.

Продолжение на ЛитРес

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

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

§ 1. СОЕДИНИТЕЛЬНЫЕ И РАЗДЕЛИТЕЛЬНЫЕ СУЖДЕНИЯ

А. ДЕДУКТИВНЫЕ УМОЗАКЛЮЧЕНИЯ

А. ДЕДУКТИВНЫЕ УМОЗАКЛЮЧЕНИЯ В процессе рассуждения иногда за дедуктивные принимают умозаключения, которые таковыми не являются. Последние называют неправильными дедуктивными умозаключениями, а (собственно) дедуктивные — правильными.Выделение способов рассуждения,

В. ИНДУКТИВНЫЕ УМОЗАКЛЮЧЕНИЯ

В. ИНДУКТИВНЫЕ УМОЗАКЛЮЧЕНИЯ В отличие от дедуктивных умозаключений, в которых между посылками и заключением имеет место отношение логического следования, индуктивные умозаключения представляют собой такие связи между посылками и заключением по логическим формам, при

1. Условные умозаключения

1. Условные умозаключения Условно-категорические умозаключения1. Соблюдены ли правила условно-категорического умозаключения в следующих примерах:«Если Н. — сотрудник таможни, то он государственный служащий. Н. — сотрудник таможни. Следовательно, Н. — государственный

2. Разделительные умозаключения

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

Глава V. Условные, разделительные и строго разделительные силлогизмы

Глава V. Условные, разделительные и строго разделительные силлогизмы 1. Проанализируйте нижеследующие силлогизмы:a. Если бы все люди были способны достигнуть совершенства, то некоторые его бы достигли.Однако ни один человек не достиг совершенства.? Ни один человек не

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

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

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

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

УСЛОВНЫЕ ДЕНЬГИ

УСЛОВНЫЕ ДЕНЬГИ Лишь государственные деньги являются тем универсальным и всеобъемлющим инструментом общества, о котором говорилось выше. В этой форме они становятся основой для высшей стадии эволюции денежной системы - для системы условных денег, т. е. для учета, расчета

Глава 16. Условные, разделительные и условно-разделительные силлогизмы

Условные силлогизмы

Разделительные силлогизмы

Условно-разделительные силлогизмы

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

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

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

Более интересен второй тип условно-разделительных умозаключений, называемый modus tollens (отрицающий способ рассуждений) схему которого можно изобразить следующим образом:

Часто совершаемые ошибки при использовании условно-разделительных умозаключений заключаются в использовании следующих неправильных способов рассуждений:

Содержательно эти ошибочные схемы умозаключений можно проиллюстрировать с помощью следующих двух примеров:

Вместе с тем не относятся к числу корректных следующие разделительно-категорические умозаключения:

5) Условно-разделительными умозаключениями называются умозаключения, в которых одна из посылок является разделительным высказывание, а остальные – условными высказываниями. Еще одно название условно-разделительных умозаключений – лемматические, происходящее от греческого слова lemma – предложение, предположение. Это название основано на том, что в этих умозаключениях рассматриваются различные предположения и их следствия. В зависимости от числа условных посылок условно-разделительные умозаключения называют дилеммами (две условные посылки),трилеммами (три), полилеммами (четыре и более). В практике рассуждений чаще всего используются дилеммы.

Можно выделить следующие основные виды дилемм:

– простая конструктивная дилемма,

– сложная конструктивная дилемма,

– простая деструктивная дилемма,

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

Пример простой конструктивной дилеммы (рассуждение Сократа):

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

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

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

40.Сокращенный силлогизм (энтимема) и его восстановление до полной формы.

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

Сокращёнными (энтимематическими) могут быть и умозаключения логики суждений. Там также могут быть пропущены посылки или заключение. Поэтому возможно и более общее определение энтимемы:

Энтимема – это умозаключение, в котором пропущена одна из посылок или заключение.

Смысл этого названия (от греч. ẻν θυμφ – в уме) заключается в том, что какая-то часть силлогизма не выражается явно, а произносится как бы в уме.

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

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

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

2) определение терминов силлогизма (меньшего, большего и среднего);

3) определение вида пропущенной посылки (если пропущена именно посылка) – большая или меньшая;

4) определение фигуры и модуса силлогизма;

5) формулировка силлогизма в полной форме.

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

Данный силлогизм (S) есть правильный силлогизм (Р).

Данный силлогизм (S) есть силлогизм, имеющий три термина (М).

Данный силлогизм (S) есть правильный силлогизм (Р).

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

В меньшей посылке термины расположены в порядке S-М. Такое расположение терминов в меньшей посылке возможно либо в первой, либо во второй фигуре (в третьей и четвертой термины расположены в обратном порядке – М-S). Значит, силлогизм будет иметь либо первую, либо вторую фигуру.

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

Искомая большая посылка является общеутвердительным суждением (А), а термины в ней должны следовать в порядке М-Р, так как именно таким образом они расположены в большей посылке в первой фигуре. Получаем следующий силлогизм:

Все силлогизмы, имеющие три термина (М), есть правильные силлогизмы (Р).

Данный силлогизм (S) есть силлогизм, имеющий три термина (М).

Данный силлогизм (S) есть правильный силлогизм (Р).

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

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

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

Виды дилемм:

    1. конструктивная (созидательная):
      • простая;
      • сложная.
    2. деструктивная (разрушительная):
      • простая;
      • сложная.

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

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

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

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

    Простая конструктивная дилемма

    В простой конструктивной дилемме:

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

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

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

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

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

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

    Если наука сообщает полезные факты, то она заслуживает внимания. Если наука тренирует способности, она также заслуживает внимания.

    Читайте также: