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

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

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

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

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

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

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

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

Если а, то b.

а.

b.

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

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

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

Он утонет.

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

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

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

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

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

Если а, то b.

b.

Вероятно, а.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Силлогизмы.

Слово «силлогизм» произошло от греческого syllogysmos, что означает «вывод». Очевидно, что силлогизм – это выведение следствия, заключения из определенных посылок. Силлогизм бывает простым, сложным, сокращенным и сложносокращенным.

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

Пример категорического силлогизма.

Все боксеры – спортсмены.

Этот человек – боксер.

Этот человек – спортсмен.

Слово «боксер» здесь является средним термином, первая посылка – больший термин, вторая – меньший. Во избежание ошибок заметим, что в данном силлогизме имеется в виду данный, конкретный человек, а не все люди. В противном случае, конечно, вторая посылка была бы намного шире по объему.

Категорический силлогизм имеет четыре формы в зависимости от положения в его структуре среднего термина.

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

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

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

Отсутствие лишних терминов силлогизма. Означает, что категорический силлогизм должен содержать только три члена – термины S, M и Р. Каждый термин должен рассматриваться только в одном значении.

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

Правила посылок.

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

Некоторые машины – пикапы.

Некоторые механизмы – машины.

Из этих посылок нельзя сделать заключение.

2. Невозможность вывода из отрицательных посылок. Отрицательные посылки не дают возможности сделать вывод. Например:

Люди не птицы.

Собаки не люди.

Вывод невозможен.

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

Все боксеры – спортсмены.

Некоторые люди – боксеры.

Некоторые люди – спортсмены.

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

Все пылесосы – бытовая техника.

Эта техника не является бытовой.

Эта техника не пылесос.

В мышлении мы оперируем понятиями, суждениями и умозаключениями, в том числе и силлогизмами. Как и суждения, силлогизм может быть простым (рассмотрен выше) и сложным. Конечно, слово «сложный» не стоит понимать в обычном смысле слова, как «тяжелый» или «трудный». Сложный силлогизм состоит из нескольких простых силлогизмов. Они образуют полисиллогизм, или сложный силлогизм; это синонимы. Полисиллогизм представляет собой несколько соединенных между собой последовательной связью простых силлогизмов. При этом вывод, следствие одного из простых силлогизмов становится посылкой для последующего. Таким образом, получается своеобразная «цепь» силлогизмов.

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

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

Все птицы имеют крылья.

Все чайки – птицы.

Все чайки имеют крылья.

Это пример простого категорического силлогизма. Для того чтобы получить сокращенный силлогизм, можно опустить большую посылку, т. е. «все чайки имеют крылья». Таким образом, получим: «Все чайки являются птицами – значит, все чайки имеют крылья». Естественно, что в этом случае следствие силлогизма будет истинным. Другими словами, сокращение силлогизма не влияет на его истинность или ложность.

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

Все газы летучи.

Кислород – газ.

Кислород летуч.

В отличие от предыдущего примера здесь пропущена меньшая посылка.

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

Все, что легче воды, в ней не тонет.

Пенопласт легче воды.

Пенопласт не тонет в воде.

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

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

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

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

Схема прогрессивного сорита:

Все А есть В. Все С есть А. Все D есть С. Все D есть В.

Схема регрессивного сорита:

Все А есть В. Все В есть С. Все С есть D. Все А есть D.

 

Тема 6. Лекция 11. Индуктивные умозаключения.

 

Понятие индукции.

Правила индукции.