Преобразование простого суждения

 

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

Обращение (конверсия) – это преобразование простого суждения, при котором субъект и предикат меняются местами. Например, суждение: «Все акулы являются рыбами», – преобразуется путём обращения в суждение: «Некоторые рыбы являются акулами». Здесь может возникнуть вопрос, почему исходное суждение начинается с квантора «все», а новое – с квантора «некоторые»? Этот вопрос, на первый взгляд, кажется странным, ведь нельзя же сказать: «Все рыбы являются акулами», – следовательно, единственное, что остаётся, это: «Некоторые рыбы являются акулами». Однако в данном случае, мы обратились к содержанию суждения и по смыслу поменяли квантор «все» на квантор «некоторые»; а логика, как уже говорилось, отвлекается от содержания мышления и занимается только его формой. Поэтому обращение суждения: «Все акулы являются рыбами», – можно выполнить формально, не обращаясь к его содержанию (смыслу). Для этого установим распределённость терминов в этом суждении с помощью круговой схемы. Термины суждения, т. е. субъект «акулы» и предикат «рыбы», находятся в данном случае в отношении подчинения (рис. 27):

 

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

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

 

Суждение вида A обращается или в само себя, или в суждение вида I. Суждение вида I обращается или в само себя, или в суждение вида A. Суждение вида E всегда обращается в само себя, а суждение вида O не поддаётся обращению.

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

Приведённый пример превращения демонстрирует важную логическую закономерность: любое утверждение равно двойному отрицанию, и наоборот. Как видим, исходное суждение вида A в результате превращения стало суждением вида E. В отличие от обращения превращение не зависит от характера отношений между субъектом и предикатом простого суждения. Поэтому суждение вида A всегда превращается в суждение вида E, а суждение вида E – в суждение вида A. Суждение вида I всегда превращается в суждение вида O, а суждение вида O – в суждение вида I (рис. 28).

 

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

 

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

Все три операции преобразования простых суждений проще всего совершать с помощью круговых схем. Для этого надо изобразить три термина: субъект, предикат и понятие, противоречащее предикату (непредикат). Потом следует установить их распределённость, и из получившейся схемы Эйлера будут вытекать четыре суждения – одно исходное и три результата преобразований. Главное, помнить, что распределённый термин соответствует квантору «все», а нераспределённый – квантору «некоторые»; что соприкасающиеся на схеме Эйлера круги соответствуют связке «является», а несоприкасающиеся – связке «не является». Например, требуется совершить три операции преобразования с суждением: «Все учебники являются книгами». Изобразим субъект «учебники», предикат «книги» и непредикат «не книги» круговой схемой и установим распределённость этих терминов (рис. 30):

 

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

1. Все учебники являются книгами (исходное суждение).

2. Некоторые книги являются учебниками (обращение).

3. Все учебники не являются не книгами (превращение).

4. Все не книги не являются учебниками (противопоставление предикату).

Рассмотрим ещё один пример. Надо преобразовать тремя способами суждение: «Все планеты не являются звёздами». Изобразим кругами Эйлера субъект «планеты», предикат «звёзды» и непредикат «не звёзды». Обратите внимание на то, что понятия «планеты» и «не звёзды» находятся в отношении подчинения: планета – это обязательно не звезда, но небесное тело, которое не является звездой – это не обязательно планета. Установим распределённость этих терминов (рис. 31):

 

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

1. Все планеты не являются звёздами (исходное суждение).

2. Все звёзды не являются планетами (обращение).

3. Все планеты являются не звёздами (превращение).

4. Некоторые не звёзды являются планетами (противопоставление предикату).

 

 

Проверьте себя:

 

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

2. Что такое превращение? Возьмите три любых суждения и совершите с каждым из них операцию превращения.

3. Что представляет собой операция противопоставления предикату? Возьмите три каких-нибудь суждения и преобразуйте каждое из них путём противопоставления предикату.

4. Каким образом знания о распределённости терминов в простых суждениях и умение её устанавливать с помощью круговых схем может помочь в проведении операций преобразования суждений?

5. Возьмите какое-нибудь суждение вида A и совершите с ним все операции преобразования с помощью круговых схем и установления распределённости терминов. Сделайте то же самое с каким-нибудь суждением вида E.

 

Логический квадрат

 

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

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

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

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

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

Совместимые суждения могут находиться в следующих отношениях:

1. Равнозначность – это отношение между двумя суждениями, у которых и субъекты, и предикаты, и связки, и кванторы совпадают. Например, суждения: «Москва является древним городом»,

«Столица России является древним городом», – находятся в отношении равнозначности.

2. Подчинение – это отношение между двумя суждениями, у которых предикаты и связки совпадают, а субъекты находятся в отношении вида и рода. Например, суждения: «Все растения являются живыми организмами», «Все цветы (некоторые растения) являются живыми организмами», – находятся в отношении подчинения.

3. Частичное совпадение (субконтрарность) – это отношение между двумя суждениями, у которых субъекты и предикаты совпадают, а связки различаются. Например, суждения: «Некоторые грибы являются съедобными», «Некоторые грибы не являются съедобными», – находятся в отношении частичного совпадения. Необходимо отметить, что в этом отношении находятся только частные суждения – частноутвердительные (I) и частноотрицательные (O).

Несовместимые суждения могут находиться в следующих отношениях.

1. Противоположность (контрарность) – это отношение между двумя суждениями, у которых субъекты и предикаты совпадают, а связки различаются. Например, суждения: «Все люди являются правдивыми», «Все люди не являются правдивыми», – находятся в отношении противоположности. В этом отношении могут быть только общие суждения – общеутвердительные (A) и общеотрицательные (E). Важным признаком противоположных суждений является то, что они не могут быть одновременно истинными, но могут быть одновременно ложными. Так, два приведённых противоположных суждения не могут быть одновременно истинными, но могут быть одновременно ложными: неправда, что все люди являются правдивыми, но также неправда, что все люди не являются правдивыми.

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

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

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

 

Вершины квадрата обозначают четыре вида простых суждений, а его стороны и диагонали – отношения между ними. Так, суждения вида A и вида I, а также суждения вида E и вида O находятся в отношении подчинения. Суждения вида A и вида E находятся в отношении противоположности, а суждения вида I и вида O – частичного совпадения. Суждения вида A и вида O, а также суждения вида E и вида I находятся в отношении противоречия. Неудивительно, что логический квадрат не изображает отношение равнозначности, потому что в этом отношении находятся одинаковые по виду суждения, т. е. равнозначность – это отношение между суждениями A и A, I и I, E и E, O и O. Чтобы установить отношение между двумя суждениями, достаточно определить, к какому виду относится каждое из них. Например, надо выяснить, в каком отношении находятся суждения: «Все люди изучали логику», «Некоторые люди не изучали логику». Видя, что первое суждение является общеутвердительным (A), а второе частноотрицательным (O), мы без труда устанавливаем отношение между ними с помощью логического квадрата – противоречие. Суждения: «Все люди изучали логику (A)», «Некоторые люди изучали логику (I)», находятся в отношении подчинения, а суждения: «Все люди изучали логику (A)», «Все люди не изучали логику (E)», – находятся в отношении противоположности.

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

Что касается сравнимых суждений, то истинностные значения каждого из них определённым образом связаны с истинностными значениями остальных. Так, если суждение вида A является истинным или ложным, то три других (I, E, O), сравнимых с ним суждения (имеющих сходные с ним субъекты и предикаты), в зависимости от этого (от истинности или ложности суждения вида A) тоже являются истинными или ложными. Например, если суждение вида A: «Все тигры – это хищники», – является истинным, то суждение вида I: «Некоторые тигры – это хищники», – также является истинным (если все тигры – хищники, то и часть из них, т. е. некоторые тигры – это тоже хищники), суждение вида E: «Все тигры – это не хищники», – является ложным, и суждение вида O: «Некоторые тигры – это не хищники», – также является ложным. Таким образом, в данном случае из истинности суждения вида A вытекает истинность суждения вида I и ложность суждений вида E и вида O (разумеется, речь идёт о сравнимых суждениях, т. е. имеющих одинаковые субъекты и предикаты).

 

 

Проверьте себя:

 

1. Какие суждения называются сравнимыми и какие – несравнимыми?

2. Что такое совместимые и несовместимые суждения? Приведите по три примера совместимых и несовместимых суждений.

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

4. В каких отношениях могут быть несовместимые суждения?

Приведите по три примера для отношений противоположности и противоречия. Почему противоположные суждения могут быть одновременно ложными, а противоречащие не могут?

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

6. Возьмите какое-нибудь истинное или ложное суждения вида A и сделайте из него выводы об истинности сравнимых с ним суждений видов E, I, O. Возьмите какое-нибудь истинное или ложное суждения вида E и сделайте из него выводы об истинности сравнимых с ним суждений A, I, O.

 

Сложное суждение

 

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

1. Конъюнктивное суждение (конъюнкция) – это сложное суждение с соединительным союзом «и», который обозначается в логике условным знаком «?». С помощью этого знака конъюнктивное суждение, состоящее из двух простых суждений, можно представить в виде формулы: a? b (читается «a и b»), где a и b – это два каких-либо простых суждения. Например, сложное суждение: «Сверкнула молния, и загремел гром», – является конъюнкцией (соединением) двух простых суждений: «Сверкнула молния», «Загремел гром». Конъюнкция может состоять не только из двух, но и из большего числа простых суждений. Например: «Сверкнула молния, и загремел гром, и пошёл дождь (a? b? c)».

2. Дизъюнктивное суждение (дизъюнкция) – это сложное суждение с разделительным союзом «или». Вспомним, что, говоря о логических операциях сложения и умножения понятий, мы отмечали неоднозначность этого союза – он может использоваться как в нестрогом (неисключающем) значении, так и в строгом (исключающем). Неудивительно поэтому, что дизъюнктивные суждения делятся на два вида:

1. Нестрогая дизъюнкция – это сложное суждение с разделительным союзом «или» в его нестрогом (неисключающем) значении, который обозначается условным знаком «?». С помощью этого знака нестрогое дизъюнктивное суждение, состоящее из двух простых суждений, можно представить в виде формулы: a? b (читается «a или b»), где a и b – это два простых суждения. Например, сложное суждение: «Он изучает английский, или он изучает немецкий», – является нестрогой дизъюнкцией (разделением) двух простых суждений: «Он изучает английский», «Он изучает немецкий». Эти суждения друг друга не исключают, ведь возможно изучать и английский, и немецкий одновременно, поэтому данная дизъюнкция является нестрогой.

2. Строгая дизъюнкция – это сложное суждение с разделительным союзом «или» в его строгом (исключающем) значении, который обозначается условным знаком «

». С помощью этого знака строгое дизъюнктивное суждение, состоящее из двух простых суждений, можно представить в виде формулы: a

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

Как нестрогая, так и строгая дизъюнкции могут состоять не только из двух, но и из большего числа простых суждений. Например: «Он изучает английский, или он изучает немецкий, или он изучает французский (a? b? c)», «Он учится в 9 классе, или он учится в 10 классе, или он учится в 11 классе (a)».

3. Импликативное суждение (импликация) – это сложное суждение с условным союзом «если … то», который обозначается условным знаком «?». С помощью этого знака импликативное суждение, состоящее из двух простых суждений, можно представить в виде формулы: a? b (читается «если a, то b»), где a и b – это два простых суждения. Например, сложное суждение: «Если вещество является металлом, то оно электропроводно», – представляет собой импликативное суждение (причинно-следственную связь) двух простых суждений: «Вещество является металлом», «Вещество электропроводно». В данном случае эти два суждения связаны таким образом, что из первого вытекает второе (если вещество – металл, то оно обязательно электропроводно), однако из второго не вытекает первое (если вещество электропроводно, то это вовсе не означает, что оно является металлом). Первая часть импликации называется основанием, а вторая – следствием; из основания вытекает следствие, но из следствия не вытекает основание. Формулу импликации: a? b, можно прочитать так: «если a, то обязательно b, но если b, то не обязательно a».

4. Эквивалентное суждение (эквиваленция) – это сложное суждение с союзом «если … то» не в его условном значении (как в случае с импликацией), а в тождественном (эквивалентном). В данном случае этот союз обозначается условным знаком «

», с помощью которого эквивалентное суждение, состоящее из двух простых суждений, можно представить в виде формулы: a

b (читается «если a, то b, и если b, то a»), где a и b – это два простых суждения. Например, сложное суждение: «Если число является чётным, то оно делится без остатка на 2», – представляет собой эквивалентное суждение (равенство, тождество) двух простых суждений: «Число является чётным», «Число делится без остатка на 2». Нетрудно заметить, что в данном случае два суждения связаны так, что из первого вытекает второе, а из второго – первое: если число чётное, то оно обязательно делится без остатка на 2, а если число делится без остатка на 2, то оно обязательно чётное. Понятно, что в эквиваленции, в отличие от импликации, не может быть ни основания, ни следствия, т. к. две её части являются равнозначными суждениями.

5. Отрицательное суждение (отрицание) – это сложное суждение с союзом «неверно, что…», который обозначается условным знаком «». С помощью этого знака отрицательное суждение можно представить в виде формулы: a (читается «неверно, что a»), где a – это простое суждение. Здесь может возникнуть вопрос – где же вторая часть сложного суждения, которую мы обычно обозначали символом b? В записи: a, уже присутствуют два простых суждения: a – это какое-то утверждение, а знак «» – его отрицание. Перед нами как бы два простых суждения – одно утвердительное, другое – отрицательное. Пример отрицательного суждения: «Неверно, что все мухи являются птицами».

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

Союзов в естественном языке много, но все они по смыслу сводятся к рассмотренным пяти видам, и любое сложное суждение относится к одному из них. Например, сложное суждение: «Уж полночь близится, а Германа всё нет», – является конъюнкцией, потому что в нём союз «а» употребляется в роли соединительного союза «и». Сложное суждение, в котором вообще нет союза: «Посеешь ветер, пожнёшь бурю», – является импликацией, т. к. два простых суждения в нём связаны по смыслу условным союзом «если…то».

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

 

Как видим, конъюнкция истинна только тогда, когда истинны оба входящих в неё простых суждения. Надо отметить, что конъюнкция, состоящая не из двух, а из большего числа простых суждений, также истинна только в том случае, когда истинны все входящие в неё суждения. Во всех остальных случаях она является ложной. Нестрогая дизъюнкция, наоборот, истинна во всех случаях за исключением того, когда оба входящих в неё простых суждения ложны. Нестрогая дизъюнкция, состоящая не из двух, а из большего числа простых суждений, также ложна только тогда, когда ложны все входящие в неё простые суждения. Строгая дизъюнкция истинна только тогда, когда одно входящее в неё простое суждение истинно, а другое ложно. Строгая дизъюнкция, состоящая не из двух, а из большего числа простых суждений, истинна только в том случае, если истинно только одно из входящих в неё простых суждений, а все остальные ложны. Импликация ложна только в одном случае – когда её основание является истинным, а следствие ложным. Во всех остальных случаях она истинна. Эквиваленция истинна тогда, когда два составляющих её простых суждения истинны или когда оба являются ложными. Если одна часть эквиваленции истинна, а другая ложна, то эквиваленция ложна. Проще всего определяется истинность отрицания: когда утверждение истинно, его отрицание ложно; когда утверждение ложно, его отрицание истинно.

 

 

Проверьте себя:

 

1. На каком основании выделяются виды сложных суждений?

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

3. Каким образом можно определить вид сложного суждения, если в нём вместо союзов «и», «или», «если… то» употребляются какие-либо другие союзы?

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

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

1. Живое существо является человеком только тогда, когда оно обладает мышлением.

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

3. Вчера он получил двойку не только по математике, но ещё и по русскому.

4. Проводник нагревается, когда через него проходит электрический ток.

5. Окружающий нас мир либо познаваем, либо нет.

6. Или же он совершенно бездарен, или же полный лентяй.

7. Когда человек льстит, он лжёт.

8. Вода превращается в лёд лишь при температуре от 0 °C и ниже.

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

 

Логические формулы

 

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

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

Эти суждения объединены разделительной связью, однако они друг друга не исключают (можно заниматься и живописью, и музыкой, и литературой), следовательно, перед нами – нестрогая дизъюнкция, форму которой можно представить следующей условной записью: a? b? c, где a, b, c – указанные выше простые суждения. Форму: a? b? c, можно наполнить каким угодно содержанием, например: «Цицерон был политиком, или оратором, или писателем», «Он изучает английский, или немецкий, или французский», «Люди передвигаются наземным, или воздушным, или водным транспортом».

Формализуем рассуждение: «Он учится в 9 классе, или в 10 классе, или в 11 классе. Однако, известно, что он не учится ни в 10, ни в 11 классе. Следовательно, он учится в 9 классе». Выделим простые высказывания, входящие в это рассуждение и обозначим их маленькими буквами латинского алфавита: «Он учится в 9 классе (a)», «Он учится в 10 классе (b)», «Он учится в 11 классе (c)». Первая часть рассуждения представляет собой строгую дизъюнкцию этих трёх высказываний: a? b? c. Вторая часть рассуждения является отрицанием второго: b, и третьего: c, высказываний, причём эти два отрицания соединяются, т. е. связаны конъюнктивно: b? c. Конъюнкция отрицаний присоединяется к упомянутой выше строгой дизъюнкции трёх простых суждений: (a? b? c)? (b? c), и уже из этой новой конъюнкции как следствие вытекает утверждение первого простого суждения: «Он учится в 9 классе». Логическое следование, как мы уже знаем, представляет собой импликацию. Таким образом, результат формализации нашего рассуждения выражается формулой: ((a? b? c)? (b? c))? a. Эту логическую форму можно наполнить любым содержанием. Например: «Впервые человек полетел в космос в 1957 г., или в 1959 г., или в 1961 г. Однако, известно, что впервые человек полетел в космос не в 1957 г. и не в 1959 г.. Следовательно, впервые человек полетел в космос в 1961 г.» Ещё один вариант: «Философский трактат «Критика чистого разума» написал то ли Иммануил Кант, то ли Георг Гегель, то ли Карл Маркс. Однако, ни Гегель, ни Маркс не являются авторами этого трактата. Следовательно, его написал Кант».

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

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

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

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

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

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

Для того чтобы определить, к какому виду относится та или иная формула, и, соответственно, оценить логическую верность какого-то рассуждения, обычно составляют специальную таблицу истинности для этой формулы. Рассмотрим следующее рассуждение: «Владимир Владимирович Маяковский родился в 1891 г. или в 1893 г. Однако известно, что он родился не в 1891 г. Следовательно, он родился в 1893 г.». Формализуя это рассуждение, выделим входящие в него простые высказывания: «Владимир Владимирович Маяковский родился в 1891 г.». «Владимир Владимирович Маяковский родился в 1893 г.». Первая часть нашего рассуждения, несомненно, представляет собой строгую дизъюнкцию этих двух простых высказываний: a? b. Далее к дизъюнкции присоединяется отрицание первого простого высказывания, и получается конъюнкция: (a? b)? a. И, наконец, из этой конъюнкции вытекает утверждение второго простого суждения, и получается импликация: ((a? b)? a)? b, которая и является результатом формализации данного рассуждения. Теперь надо составить табл. 7 истинности для получившейся формулы:

 

Количество строк в таблице определяется по правилу: 2ⁿ, где n – число переменных (простых высказываний) в формуле. Поскольку в нашей формуле только две переменных, то в таблице должно быть четыре строки. Количество колонок в таблице равно сумме числа переменных и числа логических союзов, входящих в формулу. В рассматриваемой формуле две переменных и четыре логических союза (?,?,,?), значит, в таблице должно быть шесть колонок. Первые две колонки представляют собой все возможные наборы истинностных значений переменных (таких наборов всего четыре: обе переменные истинны; первая переменная истинна, а вторая ложна; первая переменная ложна, а вторая истинна; обе переменные ложны). Третья колонка – это истинностные значения строгой дизъюнкции, которые она принимает в зависимости от всех (четырёх) наборов истинностных значений переменных. Четвёртая колонка – это истинностные значения отрицания первого простого высказывания: a. Пятая колонка – это истинностные значения конъюнкции, состоящей из вышеуказанной строгой дизъюнкции и отрицания, и, наконец, шестая колонка – это истинностные значения всей формулы, или импликации. Мы разбили всю формулу на составные части, каждая из которых является двучленным сложным суждением, т. е. состоящим из двух элементов (в предыдущем параграфе говорилось о том, что отрицание также представляет собой двучленное сложное суждение):

 

В четырёх последних колонках таблицы представлены истинностные значения каждого из этих двучленных сложных суждений, образующих формулу. Сначала заполним третью колонку таблицы. Для этого нам надо вернуться к предыдущему параграфу, где была представлена таблица истинности сложных суждений (см. табл. 6), которая в данном случае будет для нас базисной (как таблица умножения в математике). В этой таблице мы видим, что строгая дизъюнкция ложна, когда обе её части истинны или обе ложны; когда же одна её часть истинна, а другая ложна, тогда строгая дизъюнкция истинна. Поэтому значения строгой дизъюнкции в заполняемой таблице (сверху вниз) таковы: «ложно», «истинно», «истинно», «ложно». Далее заполним четвёртую колонку таблицы: а: когда утверждение два раза истинно и два раза ложно, тогда отрицание а, наоборот, два раза ложно и два раза истинно. Пятая колонка – это конъюнкция. Зная истинностные значения строгой дизъюнкции и отрицания, мы можем установить истинностные значения конъюнкции, которая истинна только тогда, когда истинны все входящие в неё элементы. Строгая дизъюнкция и отрицание, образующие данную конъюнкцию, одновременно истинны только в одном случае, следовательно конъюнкция один раз принимает значение «истинно», а в остальных случаях – «ложно». Наконец, надо заполнить последнюю колонку: для импликации, которая и будет представлять истинностные значения всей формулы. Возвращаясь к базисной таблице истинности сложных суждений, вспомним, что импликация ложна только в одном случае: когда её основание истинно, а следствие ложно. Основанием нашей импликации является конъюнкция, представленная в пятой колонке таблицы, а следствием простое суждение (b), представленное во второй колонке. Некоторое неудобство в данном случае заключено в том, что слева направо следствие идёт раньше основания, однако мы всегда можем мысленно поменять их местами. В первом случае (первая строчка таблицы, не считая «шапки») основание импликации ложно, а следствие истинно, значит, импликация истинна. Во втором случае и основание, и следствие ложны, значит, импликация истинна. В третьем случае и основание, и следствие истинны, значит, импликация истинна. В четвёртом случае, как и во втором, и основание, и следствие ложны, значит, импликация истинна.

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

Рассмотрим ещё один пример. Требуется формализовать следующее рассуждение и установить, к какому виду относится выражающая его формула: «Если какое-либо здание является старым, то оно нуждается в капитальном ремонте. Это здание нуждается в капитальном ремонте. Следовательно, это здание старое». Выделим простые высказывания, входящие в это рассуждение: «Какое-либо здание является старым», «Какое-либо здание нуждается в капитальном ремонте». Первая часть рассуждения представляет собой импликацию: a? b, этих простых высказываний (первое является её основанием, а второе – следствием). Далее, к импликации присоединяется утверждение второго простого высказывания, и получается конъюнкция: (a? b)? b. И наконец, из этой конъюнкции вытекает утверждение первого простого высказывания, и получается новая импликация: ((a? b)? b)? a, которая и является результатом формализации рассматриваемого рассуждения. Чтобы определить вид получившейся формулы, составим табл. 8 её истинности.

 

В формуле две переменные, значит, в таблице будет четыре строчки; также в формуле три союза (?,?,?), значит, в таблице будет пять колонок. Первые две колонки – это истинностные значения переменных. Третья колонка – истинностные значения импликации.

Четвёртая колонка – истинностные значения конъюнкции. Пятая, последняя колонка – истинностные значения всей формулы – итоговой импликации. Таким образом, мы разбили формулу на три составные части, представляющие собой двучленные сложные суждения:

 

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

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

 

 

Проверьте себя:

 

1. Что такое формализация высказывания или рассуждения? Придумайте какое-нибудь рассуждение и совершите его формализацию.

2. Формализуйте следующие рассуждения:

1) Если какое-либо вещество является металлом, то оно электропроводно. Медь является металлом. Следовательно, медь электропроводна.

2) Известный английский философ Фрэнсис Бэкон жил в XVII в., или в XV в., или в XIII в. Фрэнсис Бэкон жил в XVII в. Следовательно, он не жил ни в XV в., ни в XIII в.

3) Если ты не упрям, то ты можешь изменить своё мнение. Если же ты можешь изменить своё мнение, то ты способен признать данное суждение ложным. Следовательно, если ты не упрям, то ты способен признать данное суждение ложным.

4) Если сумма внутренних углов геометрической фигуры равна 180°, то такая фигура является треугольником. Сумма внутренних углов данной геометрической фигуры не равна 180°. Следовательно, данная геометрическая фигура не является треугольником.

5) Леса бывают хвойными, или лиственными, или смешанными. Этот лес не лиственный и не хвойный. Следовательно, этот лес смешанный.

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

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

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

 

Виды и правила вопроса

 

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

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

Вопросы делятся на исследовательские и информационные.

Исследовательские вопросы направлены на получение нового знания. Это вопросы, на которые пока нет ответов. Например, вопрос: «Как родилась Вселенная?» – является исследовательским.

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

Вопросы также делятся на категориальные и пропозициональные.

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

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

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

«Есть ли во Вселенной планеты, населённые, как и Земля, разумными существами?» – исследовательский пропозициональный вопрос:

«Когда появилась логика?» – информационный категориальный вопрос: «Верно ли, что число? – это отношение длины окружности к её диаметру?» – информационный пропозициональный вопрос.

Любой вопрос имеет определённую структуру, которая состоит из двух частей. Первая часть представляет собой некую информацию (выраженную, как правило, каким-нибудь суждением), а вторая часть указывает на её недостаточность и необходимость её дополнения каким-либо ответом. Первая часть, называется основной (базисной) (её также иногда называют предпосылкой вопроса), а вторая часть – искомой. Например, в информационном категориальном вопросе: «Когда была создана теория электромагнитного поля?» – основная (базисная) часть – это утвердительное суждение: «Была создана теория электромагнитного поля», – а искомая часть, представленная вопросительным словом «когда», указывает на недостаточность информации, содержащейся в базисной части вопроса, и требует её дополнения, которое следует искать в области (категории) временных явлений. В исследовательском пропозициональном вопросе: «Возможны ли полёты землян в другие галактики?», – основная (базисная) часть представлена суждением: «Возможны полёты землян в другие галактики», – а искомая часть, выраженная частицей «ли», указывает на необходимость подтверждения или отрицания этого суждения. В данном случае искомая часть вопроса свидетельствует не об отсутствии какой-то информации, содержащейся в его базисной части, а об отсутствии знания о её истинности или ложности и требует это знание получить.

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

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

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

Надо отметить, что корректные категориальные и пропозициональные вопросы сходны между собой в том, что на них всегда можно дать истинный ответ (как, впрочем, и ложный). Например, на категориальный вопрос: «Когда закончилась первая мировая война?» – можно дать как истинный ответ: «В 1918 г.», – так и ложный: «В 1916 г.». На пропозициональный вопрос: «Вращается ли Земля вокруг Солнца?» – также можно дать как истинный: «Да, вращается», – так и ложный: «Нет, не вращается», – ответ. Оба приведённых вопроса логически корректны. Итак, принципиальная возможность получения истинных ответов есть основной признак корректных вопросов. Если же получить истинные ответы на некие вопросы принципиально невозможно, то они являются некорректными. Например, нельзя получить истинный ответ на пропозициональный вопрос: «Закончится ли когда-нибудь первая мировая война?» – так же, как невозможно получить его на категориальный вопрос: «С какой скоростью вращается Солнце вокруг неподвижной Земли?».

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

 

 

Проверьте себя:

 

1. Что такое вопрос? В чём заключается близость вопроса и суждения?

2. Чем отличаются исследовательские вопросы от информационных? Приведите по пять примеров исследовательских и информационных вопросов.

3. Что представляют собой категориальные и пропозициональные вопросы? Приведите по пять примеров категориальных и пропозициональных вопросов.

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

1) Когда был открыт закон всемирного тяготения?

2) Смогут ли жители Земли расселиться на других планетах Солнечной системы?

3) В каком году родился Бонапарт Наполеон?

4) Каково будущее человечества?

5) Возможно ли предотвратить третью мировую войну?

5. Какова логическая структура вопроса? Приведите пример категориального исследовательского вопроса и выделите в нём основную (базисную) и искомую части. Сделайте то же самое с категориальным информационным вопросом, пропозициональным исследовательским вопросом и пропозициональным информационным вопросом.

6. Какие вопросы являются логически корректными, а какие – некорректными? Приведите по пять примеров логически корректных и некорректных вопросов. Может ли быть у логически корректного вопроса ложная основная часть? Достаточно ли для определения корректного вопроса требования истинности его основной части?

Что объединяет логически корректные категориальные и пропозициональные вопросы?

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

1) Во сколько раз планета Юпитер превосходит по размерам Солнце?

2) Какова площадь Тихого океана?

3) В каком году Владимир Владимирович Маяковский написал поэму «Облако в штанах»?

4) Как долго продолжалась плодотворная совместная научная работа Исаака Ньютона и Альберта Эйнштейна?

5) Чему равна длина экватора земного шара?

 

 

Глава 3

Умозаключение

 

Умозаключение как форма мышления

 

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

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

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

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

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

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

Все планеты – это небесные тела. Все сосны являются деревьями.

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

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

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

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

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

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

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

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

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

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

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

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

 

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

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

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

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

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

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

Юпитер движется. Марс движется. Венера движется. Юпитер, Марс, Венера – это планеты. Все планеты движутся.

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

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

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

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

 

 

Проверьте себя:

 

1. Что представляет собой умозаключение? Почему посылки умозаключения должны быть истинными и связанными между собой суждениями?

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

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

4. Что такое индуктивные умозаключения? Чем отличается индукция от дедукции? В чём причина вероятностного характера индуктивных выводов?

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