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

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

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

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

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

Например: «Судья не может принимать участие в рассмотрении дела, если он является потерпевшим (1). Судья Н. – потерпевший (2). Значит, судья Н. не может принимать участие в рассмотрении дела (3)». В этом умозаключении (1) и (2) суждения – посылки, а (3) – заключение.

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

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

Судья Н. – потерпевший.

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

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

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

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

1) в зависимости от строгости правил вывода: демонстративные – заключение в них с необходимостью следует из посылок, т.е. логическое следование в такого рода выводах представляет собой логический закон; недемонстративные – правила вывода обеспечивают лишь вероятностное следование заключения из посылок.

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

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

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

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

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

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

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

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

Дедуктивное умозаключение (от лат. deductio — выведение) — такое умозаключение, в котором переход от общего знания к частному является логически необходимым.

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

Пример:

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

Петров совершил преступление.

Петров должен быть наказан.

Индуктивное умозаключение (от лат. inductio — наведение) — такое умозаключение, в котором переход от частного знания к общему осуществляется с большей или меньшей степенью правдоподобности (вероятности).

Например:

Кража — уголовное преступление.

Грабеж — уголовное преступление.

Разбой - уголовное преступление.

Мошенничество — уголовное преступление.

Кража, грабеж, разбой, мошенничество — преступления против собственности.

Следовательно, все преступления против собственности – уголовные преступления.

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

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

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

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

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

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

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

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

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

Примеры и схемы превращения:

А:

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

Ни один студент первого курса не изучает не логику.

Схема:

Все S суть Р.

Ни одно S не суть не-Р.

Е: Ни одна кошка не является собакой.

Всякая кошка является не-собакой.

Ни один S не есть Р.

Все S есть не-Р.

I: Некоторые адвокаты суть спортсмены.

Некоторые адвокаты не суть не-спортсмены.

Некоторые S суть Р.

Некоторые S не суть не-Р.

О: Некоторые адвокаты не суть спортсмены.

Некоторые адвокаты суть не-спортсмены.

Некоторые S не суть Р.

Некоторые S суть не-Р.

Обращение — такое непосредственное умозаключение, в котором происходит перемена мест субъекта и предиката при сохранении качества суждения.

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

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

Примеры и схемы обращения:

А: Общеутвердительное суждение обращается в частноутвердительное.

Все адвокаты — юристы.

Некоторые юристы — адвокаты.

Все S суть Р.

Некоторые Р суть S.

Общеутвердительные выделяющие суждения обращаются без ограничения. Всякое правонарушение (и только правонарушение) суть противоправное деяние.

Всякое противоправное деяние суть правонарушение.

Схема:

Все S, и только S, суть Р.

Все Р суть S.

Е: Общеотрицательное суждение обращается в общеотрицательное (без ограничения).

Ни один адвокат не судья.

Ни один судья не адвокат.

Ни один S не есть Р.

Ни один Р не есть S.

I: Частноутвердительные суждения обращаются в частноутвердительные.

Некоторые юристы — спортсмены.

Некоторые спортсмены — юристы.

Некоторые S суть Р.

Некоторые Р суть S.

Частноутвердительные выделяющие суждения обращаются в общеутвердительные:

Некоторые юристы, и только юристы, являются адвокатами.

Все адвокаты суть юристы.

Некоторые S, и только S, суть Р.

Все Р суть S.

О: Частноотрицательные суждения не обращаются.

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

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

Например, из суждения «Все адвокаты — юристы» можно, противопоставляя предикат, получить «Ни один не-юрист не является адвокатом». Схематически:

Все S суть Р.

Ни одно не- Р не есть S.

Умозаключение по «логическому квадрату». «Логический квадрат» — это схема, выражающая истинностные отношения между простыми суждениями, имеющими один и тот же субъект и предикат. В данном квадрате вершины символизируют известные нам по объединенной классификации простые категорические суждения: А, Е, О, I.Стороны и диагонали можно рассматривать как логические отношения между простыми суждениями (кроме эквивалентных). Так, верхняя сторона квадрата обозначает отношение между А и Е — отношениепротивоположности; нижняя сторона -отношение между О и I — отношение частичной совместимости. Левая сторона квадрата (отношение между А и I) и правая сторона квадрата (отношение между Е и О) — отношение подчинения. Диагонали обозначают отношения между А и О, Е и I, которые называются противоречием.

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

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

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

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

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

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

Например, при истинности подчиняющего суждения «Все адвокаты — юристы» подчиненное суждение «Некоторые адвокаты — юристы» будет тем более истинным. Но при истинности подчиненного суждения «Некоторые адвокаты входят в Московскую коллегию адвокатов» подчиняющее суждение «Все адвокаты входят в Московскую коллегию адвокатов» будет ложным или истинным.

При ложности подчиненного суждения «Некоторые адвокаты не входят в Московскую коллегию адвокатов» (О) будет ложным подчиняющее суждение «Ни один адвокат не входит в Московскую коллегию адвокатов» (Е). Но при ложности подчиняющего суждения «Ни один адвокат не входит в Московскую коллегию адвокатов» (Е) подчиненное суждение «Некоторые адвокаты не входят в Московскую коллегию адвокатов» (О) будет истинным или ложным.

Отношения противоречия существует между общеутвердительными и частноотрицательными суждениями (А — О) и между общеотрицательными и частноутвердительными суждениями (Е — I). Сущность этого отношения состоит в том, что из двух противоречающих суждений одно обязательно истинно, другое — ложно. Два противоречивых суждения не могут быть ни одновременно истинными, ни одновременно ложными.

Умозаключения, основанные на отношении противоречия, называются отрицанием простого категорического суждения. С помощью отрицания суждения из исходного суждения образуется новое суждение, являющееся истинным, когда исходное суждение (посылка) ложно, и ложным, когда исходное суждение (посылка) истинно. Например, отрицая истинное суждение «Все адвокаты — юристы» (А), мы получим новое, ложное, суждение «Некоторые адвокаты не есть юристы» (О). Отрицая ложное суждение «Ни один адвокат не юрист» (Е), мы получим новое, истинное, суждение «Некоторые адвокаты — юристы» (I).

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

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

Наиболее широко распространенным видом дедуктивных умозаключений являются категорические умозаключения, из-за своей формы получившие название — силлогизм (от греч. sillogismos – сосчитывание).

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

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

Структурно силлогизм состоит из трех основных элементов — терминов. Рассмотрим это на примере.

Каждый гражданин Российской Федерации имеет право на образование.

Новиков — гражданин Российской Федерации.

Новиков — имеет право на образование.

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

Третье понятие «гражданин Российской Федерации», посредством которого устанавливается связь между большим и меньшим терминами, называется средним термином силлогизма и обозначается символом М (Medium — посредник). Средний термин входит в каждую посылку, но не входит в заключение. Назначение среднего термина — быть связующим звеном между крайними терминами — субъектом и предикатом вывода. Эта связь осуществляется в посылках: в большей посылке средний термин связан с предикатом (М — Р), в меньшей посылке — с субъектом вывода (S — М). В результате получается следующая схема силлогизма.

М — Р S — М

S — М или М — Р Р — М — S

S — Р S — Р

При этом необходимо иметь в виду следующее:

1) наименование «большая» или «меньшая» посылка зависит не от местоположения в схеме силлогизма, а только от наличия в ней большего или меньшего термина;

2) от перемены места любого термина в посылке обозначение его не меняется — больший термин (предикат заключения) обозначается символом Р, меньший (субъект заключения) — символом S, средний — М;

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

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

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

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

Меньшим термином силлогизма называется понятие, которое в заключении является субъектом.
Большим термином силлогизма называется понятие, которое в заключении является предикатом («имеет право на защиту»). Меньший и больший термины называются
крайними и обозначаются соответственно латинскими буквами S (меньший термин) и Р (больший термин).

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

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

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

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

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

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

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

Фигуры и модусы категорического силлогизма

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

В первой фигуре средний термин занимает место субъекта в большей и место предиката в меньшей посылках.

Во второй фигуре - место предиката в обеих посылках. В третьей фигуре - место субъекта в обеих посылках. В четвертой фигуре - место предиката в большей и место субъекта в меньшей посылке.

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

Посылками силлогизма могут быть суждения, различные по качеству и количеству: общеутвердительные (А), общеотрицательные (Е), частноутвердительные (I) и частноотрицательные (О).

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

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

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

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

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

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

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

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

1-е правило: хотя бы одна из посылок должна быть утвердительным суждением. Из двух отрицательных посылок заключение с необходимостью не следует. Например, из посылок «Студенты нашего института (М) не изучают биологию (Р)», «Сотрудники НИИ (S) не являются студентами нашего института (М)» нельзя получить необходимого заключения, так как оба крайних термина (S и Р) исключаются из среднего. Поэтому средний термин не может установить определенного отношения между крайними терминами. В заключении меньший термин (М) может полностью или частично входить в объем большего термина (Р) или полностью исключаться из него. В соответствии с этим возможны три случая: 1) «Ни один сотрудник НИИ не изучает биологию (S 1); 2) «Некоторые сотрудники НИИ изучают биологию» (S 2); 3) «Все сотрудники НИИ изучают биологию» (S 3) (рис.).

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

3-е и 4-е правила являются производными, вытекающими из рассмотренных.

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

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

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

Если одна посылка - частноутвердительная, а другая - частнотрицательная (I0 или 0I), то в таком силлогизме распределенным будет только один термин - предикат частноотрицательного суждения. Если этим термином будет средний, то вывода сделать нельзя, так, согласно 2-му правилу посылок, заключение должно быть отрицательным. Но в этом случае предикат заключения должен быть распределен, что противоречит 3-му правилу терминов: 1) больший термин, не распределенный в посылке, окажется распределенным в заключении; 2) если же больший термин распределен, то вывода не следует согласно 2-му правилу терминов.

1) Некоторые М(-) суть Р(-) Некоторые S(-) не суть (М+)

2) Некоторые М(-) не суть Р(+) Некоторые S(-) суть М (-)

Ни один из этих случаев не дает необходимых заключений.

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

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

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

4. Умозаключения из суждения с отношениями

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

Например:

Петр - брат Ивана. Иван - брат Сергея.

Петр - брат Сергея.

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

Логическим основанием умозаключений из суждений с отношениями являются свойства отношений, важнейшие из которых - 1) симметричность, 2) рефлексивность и 3) транзитивность.

1. Отношение называется симметричным (от греческого simmetria-«соразмерность»), если оно имеет место как между предметами х и у, так и между предметами у и х. Иначе говоря, перестановка членов отношения не ведет к изменению вида отношения. Симметричными являются отношения равенства (если а равно Ь, то и b равно а), сходства (если с сходно с d, то и d сходно с с), одновременности (если событие х произошло одновременно с событием у, значит, и событие у произошло одновременно с событием х), различия и некоторые другие.

Отношение симметричности символически записывается:

xRy - yRx.

2. Отношение называется рефлексивным (от латинского reflexio - «отражение»), если каждый член отношения находится в таком же отношении к самому себе. Таковы отношения равенства (если а = Ь, тоа = аиЬ = Ь)иодновременности (если событие х произошло одновременно с событием у, значит, каждое из них произошло одновременно с самим собой).

Отношение рефлексивности записывается:

xRy -+ xRx Л yRy.

3. Отношение называется транзитивным (от латинского transitivus - «переход»), если оно имеет место между х и z тогда, когда оно имеет место между х и у и между у и z. Иначе говоря, отношение является транзитивным (переходным) тогда и только тогда, когда из отношения между х и у и между у и z следует такое же отношение между х и z.

Транзитивными являются отношения равенства (если а равно b и b равно с, то а равно с), одновременности (если событие х произошло одновременно с событием у и событие у одновременно с событием z, значит, событие х произошло одновременно с событием z), отношения «больше», «меньше» (а меньше b, b меньше с, значит, а меньше с), «позднее», «находиться севернее (южнее, восточнее, западнее)», «быть ниже, выше» и т. п.

Отношение транзитивности записывается:

(xRy Л yRz) -* xRz.

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

Для свойства симметричности (xRy -* yRx): если суждение xRy истинно, то суждение yRx тоже истинно. Например:

А подобно В. В подобно А.

Для свойства рефлексивности (xRy -+ xRx л yRy): если суждение xRy истинно, то истинными будут суждения xRx и yRy. Например:

а = Ь. а = а и b = b.

Для свойства транзитивности (xRy л yRz -* xRz): если суждение xRy истинно и суждение yRz истинно, то суждение xRz также истинно, Например:

К. был на месте происшествия раньше Л. Л. был на месте происшествия раньше М.

К. был на месте происшествия раньше М.

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

Задачи и упражнения

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

б) Х – слово русского языка;

в) Х – выражение, обозначающее слово;

г) Х – зашло в «тупик».

Решение

а) «следствие » – философская категория;

Вместо Х можно подставить слово «следствие», взятое в кавычки. Получаем: «Причина» – философская категория.

б) «следствие» – слово русского языка;

в) «»следствие»» – выражение, обозначающее слово;

г) следствие –зашло в «тупик»

2. Какие из следующих выражений истинны, а какие ложны:

а) 5 × 7 = 35;

б) «5 × 7» = 35;

в) «5 × 7» ≠ «35»;

г) «5 × 7 = 35».

Решение

а) 5 х 7 = 35 ИСТИННО

б) «5 х 7» = 35 ИСТИННО

в) «5 х 7» ¹ «35» ЛОЖНОЕ

г) «5 х 7 = 35» не может быть оценено, так как является кавычковым именем

б) Мать Лао-дзы.

Решение

а) Если ни один член семьи Гавриловых не является честным человеком, и Семен – член семьи Гавриловых, то Семен не является честным человеком.

В этом предложении «если…, то…» – логический термин, «ни один» («все») – логический термин, «член семьи Гавриловых» – общее имя, «не» – логический термин», «является» («есть») – логический термин, «честный человек» – общее имя, «и» – логический термин, «Семен» – едичное имя.

б) Мать Лао-дзы.

«Мать» – предметный функтор, «Лао-Дзы» – единичное имя.

4. Обобщите следующие понятия:

а) Исправительно-трудовые работы без заключения под стражу;

б) Следственный эксперимент;

в) Конституция.

Решение

Требование обобщить понятие означает переход от понятия с меньшим объемом, но с большим содержанием к понятию с большим объемом, но с меньшим содержанием.

а) Исправительно-трудовые работы без заключения под стражу – исправительно-трудовые работы;

б) следственный эксперимент – эксперимент;

в) Конституция –Закон.

а) Минск – есть столица;

Решение

а) Минск – есть столица. * Относится к категории вещи. В данном случае термин «столица» выступает предикатов суждения, так раскрывает признаки суждения.

б) Столица Азербайджана – древний город.

В данном случае термин «столица» имеет смысловое суждение.

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

6. О каких методологических принципах говориться в следующем тексте?

В статье 344 УПК РФ указано условие, при котором приговор признается не соответствующим деянию: «при наличии противоречивых доказательств…».

Решение

В данном тексте говорится о принципе непротиворечия.

7. Переведите на язык логики предикатов следующее суждение: «Каждый юрист знает какого-нибудь (некоторого) журналиста».

Решение

Это суждение по качеству – утвердительное, а по количеству – общечастное.

¬(А˄ В) <=> ¬(А¬В)

8. Переведите на язык логики предикатов следующее выражение: «Население Рязани больше населения Кореновска».

Решение

Население Рязани больше населения Кореновска

Здесь следует говорить о суждении об отношении между предметами.

Записать данное суждение можно следующим образом:

xRy

Население Рязани (x) больше (R) населения Кореновска (x)

9. В местах лишения свободы провели выборочный опрос совершивших тяжкие преступления (опросили 10 % таких лиц). Почти все они ответили, что строгие меры наказания не влияли на их решение совершить преступление. Сделали заключение, что строгие меры наказания не являются сдерживающим фактором при совершении тяжких преступлений. Обосновано ли это заключение? Если не обосновано, то какие методические требования, предъявляемые к научной индукции, не выполнены?

Решение

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

В указанном сообщении зафиксирована следующая информация:

образец случаев – 10%


число случаев, в которых присутствует интересующий признак – почти все;


частота появления интересующего признака – почти 1.


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


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


10. Ограничить следующие понятия:


а) государство;


б) суд;


в) революция.


Решение


а) государство –– российское государство;


б) суд –– Верховный суд


в) революция – Октябрьская революция – мировая революция


11. Дать полную логическую характеристику понятиям:


а) Народный суд;


б) рабочий;


в) бесконтрольность.


Решение


а) Народный суд – единичное, несобирательное, конкретное понятие;


б) рабочий – общее, несобирательное, конкретное, безотносительное понятие;


в) бесконтрольность – единичное, несобирательное, абстрактное понятие.
Понятие дедуктивного умозаключения. Простой категорический силлогизм Форма права

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

Все живые организмы питаются влагой.

Все растения - это живые организмы.

=> Все растения питаются влагой.

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

Все птицы - это млекопитающие животные.

Все воробьи - это птицы.

=> Все воробьи - это млекопитающие животные.

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

Все планеты - это небесные тела.

Все сосны являются деревьями.

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

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

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

Все цветы являются растениями.

=> Некоторые растения являются цветами.

Верно, что все цветы являются растениями.

=> Неверно, что некоторые цветы не являются растениями.

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

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

Все рыбы - это живые существа.

Все караси - это рыбы.

=> Все караси - это живые существа.

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

Дедуктивные умозаключения (дедукция) (от лат. deductio - «выведение») - это умозаключения, в которых из общего правила делается вывод для частного случая (из общего правила выводится частный случай). Например:

Все звезды излучают энергию. Солнце - это звезда.

=> Солнце излучает энергию.

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

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

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

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

Несомненное достоинство дедукции заключается в достоверности ее выводов. Вспомним, известный литературный герой Шерлок Холмс пользовался дедуктивным методом при раскрытии преступлений. Это значит, что он строил свои рассуждения таким образом, чтобы из общего выводить частное. В одном произведении, объясняя доктору Ватсону сущность своего дедуктивного метода, он приводит такой пример. Около убитого полковника Эшби сыщики Скотланд-Ярда обнаружили выкуренную сигару и решили, что полковник выкурил ее перед смертью. Однако Шерлок Холмс неопровержимо доказывает, что полковник нс мог выкурить эту сигару, потому что он носил большие, пышные усы, а сигара выкурена до конца, т. е., если бы ее курил полковник Эшби, то он непременно подпалил бы свои усы. Следовательно, сигару выкурил другой человек.

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

Любой человек с большими, пышными усами не может

выкурить сигару до конца.

Полковник Эшби носил большие, пышные усы.

=> Полковник Эшби не мог выкурить сигару до конца.

Индуктивные умозаключения (индукция) (от лат. inductio - «наведение») - это умозаключения, в которых из нескольких частных случаев выводится общее правило. Например:

Юпитер движется.

Марс движется.

Венера движется.

Юпитер, Марс, Венера - это планеты.

=> Все планеты движутся.

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

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

Умозаключения по аналогии (аналогия) (от греч. analogia - «соответствие») - это умозаключения, в которых на основе сходства предметов (объектов) в одних признаках делается вывод об их сходстве и в других признаках. Например:

Планета Земля расположена в Солнечной системе, на ней есть атмосфера, вода и жизнь.

Планета Марс расположена в Солнечной системе, на ней есть атмосфера и вода.

=> Вероятно, на Марсе есть жизнь.

Как видим, сопоставляются два объекта (планета Земля и планета Марс), которые сходны между собой в некоторых существенных, важных признаках (находиться в Солнечной системе, иметь атмосферу и воду). На основе данного сходства делается вывод о том, что, возможно, эти объекты сходны между собой и в других признаках: если на Земле есть жизнь, а Марс во многом похож на Землю, то не исключено наличие жизни и на Марсе. Выводы аналогии, как и выводы индукции, вероятностны.

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

Все млекопитающие - животные.

Все кошки - млекопитающие.

Все кошки - животные.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Рассмотрим эти умозаключения. Превращение имеет схему:

S не есть не-Р.

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

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

Все S есть Р - Ни одно S не есть не-Р. Ни одно S не есть Р - Все S есть не-Р. Некоторые S есть Р - Некоторые S не есть не-Р. Некоторые S не есть Р - Некоторые S есть не-Р. Обращение - это умозаключение, в котором при перемене мест субъекта и предиката качество посылки не меняется.

То есть в процессе вывода субъект встает на место предиката, а предикат - на место субъекта. Соответственно, схему обращения можно изобразить как S есть Р - Р есть S.

Обращение бывает с ограничением и без ограничения (его еще называют простое или чистое). Это разделение основывается на количественном показателе суждения (имеется в виду равенство или неравенство объемов S и Р). Это выражается в том, изменилось ли кванторное слово или нет и распределены ли субъект и предикат. Если такое изменение происходит, то имеет место обращение с ограничением. В обратном случае можно говорить о чистом обращении. Напомним, что кванторное слово - это слово - показатель количества. Так, слова «все», «некоторые», «ни один» и другие являются кванторными словами.

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

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

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

Некоторые S не есть Р - Некоторые не-Р есть S. Ни одно S не есть Р - Некоторые не-Р есть S. Все S есть Р - Ни одно Р не есть S.

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

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

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

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

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

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

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

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

Если а, то b.

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

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

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

Он утонет.

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

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

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

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

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

Если а, то b.

Вероятно, а.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Доказываемые свойства понятий называют теоремами , следствиями, признаками, формулами, правилами.

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

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

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

В качестве примера рассмотрим рассуждение школьника, которому надо установить отношение «меньше» между числами 7 и 8. Учащийся говорит: «7 < 8, потому что при счете 7 называют раньше, чем 8».

Выясним, на какие факты опирается вывод, полученный в этом рассуждении.

Таких фактов два: Первый: если число а при счете называют раньше числа b , то a < b . Второй: 7 при счете называют раньше, чем 8.

Первое предложение носит общий характер, так как содержит квантор общности - его называют общей посылкой. Второе предложение касается конкретных чисел 7 и 8 - его называют частной посылкой. Из двух посылок получен новый факт: 7 < 8, его называют заключением.

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

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

В логике вместо термина «рассуждения» чаще используется слово «умозаключение».

Умозаключение - это способ получения нового знания на основе некоторого имеющегося.

Умозаключение состоит из посылок и заключения.

Посылки - это , содержащие исходное знание.

Заключение - это высказывание, содержащее новое знание, полученное из исходного.

Как правило, заключение отделяется от посылок с помощью слов «следовательно», «значит». Умозаключение с посылками р 1, р 2, …, рn и заключением Р будем записывать в виде: или (р 1, р 2, …, рn) Р.

Примеры умозаключений: а) Число а = b. Число b = с . Следовательно, число а = с.

b) Если в дроби числитель меньше знаменателя, то дробь правильная. В дроби числитель меньше знаменателя (5<6) . Следовательно, дробь - правильная.

с) Если идет дождь, то на небе есть тучи. На небе есть тучи, следовательно, идет дождь.

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

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

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

1) формализуют все посылки и заключение;

2) записывают формулу, представляющую конъюнкцию посылок, соединенную знаком импликации с заключением;

3) составляют таблицу истинности для данной формулы;

4) если формула тождественно-истинна, то умозаключение правильное, если нет - то умозаключение неправильное.

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

Правил много, но наиболее часто используются следующие:

1. - правило заключения;

2. - правило отрицания;

3. - правило силлогизма.

Приведем пример умозаключения, выполненного по правилу заключения: «Если запись числа х оканчивается цифрой 5, то число х делится на 15. Запись числа 135 оканчивается цифрой 5 . Следовательно, число 135 делится на 5 ».

В качестве общей посылки в этом умозаключении выступает утверждение «если А(х), то В(х) », где А(х) - это «запись числа х оканчивается цифрой 5 », а В(х) - «число х делится на 5 ». Частная посылка представляет собой высказывание, которое получилось из условия общей посылки при
х = 135 (т.е. А(135) ). Заключение является высказыванием, полученным из В(х) при х = 135 (т.е. В(135) ).

Приведем примерумозаключения, выполненного по правилу отрицания: «Если запись числа х оканчивается цифрой 5, то число х делится на 5 . Число 177 не делится на 5 . Следовательно, оно не оканчивается цифрой 5 ».

Видим, что в этом умозаключении общая посылка такая же как и в предыдущем, а частная представляет собой отрицание высказывания «число 177 делится на 5 » (т.е. ). Заключение - это отрицание предложения «Запись числа 177 оканчивается цифрой 5 » (т.е. ).

И наконец, рассмотрим пример умозаключения, построенного по правилу силлогизма : «Если число х кратно 12, то оно кратно 6. Если число х кратно 6 , то оно кратно 3 . Следовательно, если число х кратно 12, то оно кратно 3 ».

В этом умозаключении две посылки: «если А(х), то В(х) » и «если В(х), то С(х) », где А(х) - «число х кратно 12 », В(х) - «число х кратно 6 » и С(х) - «число х кратно 3 ». Заключение представляет собой высказывание «если А(х), то С(х) ».

Проверим, правильны ли следующие умозаключения:

1) Если четырехугольник - ромб, то его диагонали взаимно перпендикулярны. АВС D - ромб. Следовательно, его диагонали взаимно перпендикулярны.

2) Если число делится на 4 , то оно делится на 2 . Число 22 делится на 2 . Следовательно, оно делится на 4.

3) Все деревья являются растениями. Сосна - дерево. Значит, сосна - растение.

4) Все учащиеся данного класса ходили в театр. Петя не был в театре. Следовательно, Петя - учащийся не данного класса.

5) Если числитель дроби меньше знаменателя, то дробь правильная. Если дробь правильная, то она меньше 1. Следовательно, если числитель дроби меньше знаменателя, то дробь меньше 1.

Решение: 1) Для решения вопроса о правильности умозаключения выявим его логическую форму. Введем обозначения: С(х) - «четырехугольник х - ромб», В(х) - «в четырехугольнике х диагонали взаимно перпендикулярны». Тогда первую посылку можно записать в виде:
С(х) В(х), вторую - С(а), а заключение В(а).

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

2) Введем обозначения: А(х) - «число х делится на 4 », В(х) - «число х делится на 2 ». Тогда первую посылку запишем: А(х) В(х), вторую В(а), а заключение - А(а). Умозаключение примет форму: .

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

Значит, что данное рассуждение неправильное.

3) Введем обозначения. Пусть А(х) - «если х дерево», В(х) - «х растение». Тогда посылки примут вид: А(х) В(х), А(а), а заключение В(а). Наше умозаключение построено по форме: - правила заключения.

Значит, наше рассуждение построено верно.

4) Пусть А(х) - «х - учащиеся нашего класса», В(х) - «учащиеся х ходили в театр». Тогда посылки будут следующими: А(х) В(х), , а заключение .

Данное умозаключение построено по правилу отрицания:

- значит оно верное.

5) Выявим логическую форму умозаключения. Пусть А(х) - «числитель дроби х меньше знаменателя». В(х) - «дробь х - правильная». С(х) - «дробь х меньше 1 ». Тогда посылки примут вид: А(х) В(х), В(х) С(х), а заключение А(х) С(х).

Наше умозаключение будет следующей логической формы: - правило силлогизма.

Значит, данное умозаключение верно.

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

Таблица 9

Покажем, что умозаключение, выполненное по правилу заключения, является дедуктивным. Сначала запишем это правило на теоретико-множественном языке.

Посылка А(х) В(х) может быть записана в виде ТА ТВ , где ТА и ТВ - множества истинности высказывательных форм А(х) и В(х).

Частная посылка А(а) означает, что а ТА, а заключение В(а) показывает, что а ТВ.

Все умозаключение, построенное по правилу заключения, запишется на теоретико-множественном языке так: .

Рис. 58.

Примеры.

1. Правильно ли умозаключение «Если запись числа оканчивается цифрой 5, то число делится на 5. Число 125 делится на 5. Следовательно, запись числа 125 оканчивается цифрой 5 »?

Решение: Это умозаключение выполнено по схеме , что соответствует . Такой схемы среди известных нам нет. Выясним, является ли она правилом дедуктивного умозаключения?

Воспользуемся кругами Эйлера. На теоретико-множественном языке

полученное правило можно записать так:

. Изобразим на кругах Эйлера множества ТА и ТВ и обозначим элемент а из множества ТВ.

Оказывается, что он может содержаться в множестве ТА, а может и не принадлежать ему (рис. 59). В логике считают, что такая схема не является правилом дедуктивного умозаключения, так как не гарантирует истинности заключения.

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

Рис. 59.

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

Решение: а) Запишем данное умозаключение на теоретико-множественном языке. Обозначим через А - множество студентов педагогического факультета, через В - множество студентов, являющихся учителями, через С - множество студентов, старше 20 лет.

Тогда умозаключение примет вид: .

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

1) множества А, В, С пересекаются;

2) множество В пересекается с множеством С и А, а множество А пересекается с В , но не пересекается с С.

б) Обозначим через А множество глаголов, а через В множество слов, отвечающих на вопрос «что делать?» или «что сделать?».

Тогда умозаключение можно записать в следующем виде:

Рассмотрим несколько примеров.

Пример 1. Ученику предлагается объяснить, почему число 23 можно представить в виде суммы 20 + 3. Он рассуждает: «Число 23 - двузначное. Любое двузначное число можно представить в виде суммы разрядных слагаемых. Следовательно, 23 = 20 + 3».

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

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

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

Пример 2. Один из приемов ознакомления младших школьников с переместительным свойством умножения заключается в следующем. Используя различные средства наглядности, школьники вместе с учителем устанавливают, что, например, 6 3 = 36, 52 = 25. Затем на основе полученных равенств делают вывод: для всех натуральных чисел a и b верно равенство ab = ba.

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

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

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

Данный пример - это пример рассуждения по аналогии.

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

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

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

Умозаключение - это непосредственный переход от одного или нескольких высказываний А 1 , А 2 , …, А n к высказыванию В. А 1 , А 2 , …, А n называют посылками. Посылка может быть одна, их может быть две, три, четыре, в принципе - сколько угодно. В посылках содержится известная нам информация. В - это заключение. В заключении находится уже новая информация, которую мы извлекли из посылок с помощью специальных процедур. Эта новая информация уже содержалась в посылках, но в скрытом виде. Так вот задача умозаключения сделать это скрытое явным. Кроме того, иногда посылки называют аргументами, а заключение - тезисом, а само умозаключение в этом случае называют обоснованием. Разница между умозаключением и обоснованием состоит в том, что в первом случае, мы не знаем, к какому заключению мы придём, а во втором - тезис нам уже известен, мы просто хотим установить его связь с посылками-аргументами.

В качестве иллюстрации умозаключения можно взять рассуждения Эркюля Пуаро из «Убийства в восточном экспрессе» Агаты Кристи:

Но я почувствовал, что он перестроился на ходу. Предположим, он хотел сказать: «А разве ее не сожгли?» Следовательно, Маккуин знал и о записке, и о том, что ее сожгли, или, говоря другими словами, он был убийцей или пособником убийцы.

Над чертой располагаются посылки, под чертой - заключение, а сама черта обозначает отношение логического следования.

Критерии истинности умозаключений

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

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

Змеи едят яйца.
Девочки едят яйца.
Значит, девочки - это змеи.

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

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

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

Начнём с отношений подчинения . Мы уже сталкивались с ними в четвёртом уроке, когда рассматривали условия истинности для частно-утвердительных и частно-отрицательных высказываний. Мы говорили, что из высказывания «Все S есть P» будет логичным вывести высказывание «Некоторые S есть P», а из высказывания «Ни один S не есть P» - «Некоторые S не есть P». Таким образом, возможны следующие типы умозаключений:

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

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

• Неверно, что все S есть P
• Неверно, что некоторые автомобили не имеют колёс. Поэтому неверно, что все автомобили не имеют колёс.
• Неверно, что все S не есть P
• Неверно, что некоторые вина не являются спиртными напитками. Таким образом, неверно, что все вина не являются спиртными напитками.

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

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

• Все S есть P
• Все яблоки - это фрукты. Следовательно, неверно, что ни одно яблоко не является фруктом.
• Ни один S не есть P
• Неверно, что все S есть P
• Ни один кит не умеет летать. Поэтому неверно, что все киты умеют летать.

Отношения субконтрарности (подпротивоположности) означают, что высказывания типа «Некоторые S есть P» и «Некоторые S не есть P» не могут быть одновременно ложными, хотя могут быть одновременно истинными. На этом основании может быть сформулирован закон субконтрарного исключённого третьего: Некоторые S не есть P или Некоторые S есть P.

• Согласно этому закону правильными будут следующие умозаключения:
• Неверно, что некоторые S есть P
• Некоторые S не есть P
• Неверно, что некоторые продукты полезны для здоровья. Поэтому некоторые продукты не полезны для здоровья.
• Неверно, что некоторые S не есть P
• Некоторые S есть P
• Неверно, что некоторые ученики из нашего класса не являются двоечниками. Таким образом, некоторые ученики из нашего класса являются двоечниками.

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

На этих законах строятся умозаключения следующих видов:

• Все S есть P
• Неверно, что некоторые S не есть P
• Все дети нуждаются в заботе. Следовательно, неверно, что некоторые дети не нуждаются в заботе.
• Некоторые S не есть P
• Неверно, что все S есть P
• Некоторые книги не являются скучными. Поэтому, неверно, что все книги являются скучными.
• Неверно, что все S есть P
• Некоторые S не есть P
• Неверно, что все сотрудники нашей фирмы усердно работают. Таким образом, некоторые сотрудники нашей фирмы не работают усердно.
• Неверно, что некоторые S не есть P
• Все S есть P
• Неверно, что некоторые зебры не имеют полосок на коже. Следовательно, все зебры имеют полоски на коже.
• Ни один S не есть P
• Неверно, что некоторые S есть P
• Ни одна картина в этом зале не относится к XX веку. Поэтому неверно, что некоторые картины в этом зале относятся к XX веку.
• Некоторые S есть P
• Неверно, что ни один S не есть P
• Некоторые студенты занимаются спортом. Таким образом, неверно, что ни один студент не занимается спортом.
• Неверно, что ни один S не есть P
• Некоторые S есть P
• Неверно, что ни один учёный не интересуется искусством. Следовательно, некоторые учёные интересуются искусством.
• Неверно, что некоторые S есть P
• Ни один S не есть P
• Неверно, что некоторые коты курят сигары. Таким образом, ни один кот не курит сигары.

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

Ещё одним видом однопосылочных умозаключений является обращение. Это такой тип умозаключений, при которых субъект посылки совпадает с предикатом заключения, а субъект заключения совпадает с предикатом посылки. Грубо говоря, в заключении S и P просто меняются местами.

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

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

Итак, существует два вида обращения: чистое и с ограничением. Чистое обращение происходит тогда, когда количественная характеристика не изменяется, то есть если в посылке было слово «все», то и в заключении тоже будет слова «все»/«ни один», если в посылке слово «некоторые», то и в заключении «некоторые. Соответственно, при обращении с ограничением количественная характеристика меняется: были «все», а стали «некоторые». Для высказываний типа «Ни один S не есть P» и «Некоторые S есть P» правильным будет следующее чистое обращение:

• Ни один S не есть P
• Ни один P не есть S
• Ни один человек не может выжить без воздуха. Следовательно, ни одно живое существо, способное выжить без воздуха, не является человеком.
• Некоторые S есть P
• Некоторые P есть S
• Некоторые змеи ядовиты. Поэтому, некоторые ядовитые существа - это змеи.
• Для высказываний типа «Все S есть P» и «Ни один S не есть P» верно обращение с ограничением:
• Все S есть P
• Некоторые P есть S
• Все пингвины - это птицы. Таким образом, некоторые птицы - это пингвины.
• Ни один S не есть P
• Некоторый P не есть S
• Ни один крокодил не ест зефир. Следовательно, некоторые существа, едящие зефир, не являются крокодилами.
• Высказывания типа «Некоторые S не есть P» вообще не обращаются.

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

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

Упражнение «Подберите ключ»

В этой игре вам нужно создать ключ правильной формы. Для этого установите засечки нужной длины (от 1 до 3, 0 – быть не может), а затем нажмите кнопку «Попробовать». Вам будут даны 2 суждения, сколько засечек выбранной длины присутствуют в ключе (для простоты значение «наличие»), и сколько из выбранных находятся на своём месте (для простоты значение «на месте»). Скорректируйте своё решение и пробуйте, пока не подберёте ключ.

Упражнения

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

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

Сделайте обращения с теми, высказываниями, с которыми это возможно:

• Никто ещё не построил машину времени.
• Некоторые официанты очень назойливы.
• Все профессионалы опытны в своём деле.
• Некоторые книги не имеют твёрдой обложки.

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

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

Проверьте свои знания

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