SukhanovKN Логика

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

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

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

Вэтом примере разделительная посылка записана одним суждением

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

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

Число представляется дробью со знаменателем или без знаменателя. Отношение длин двух отрезков представляется дробью со знаменателем.

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

Кроме утверждающе-отрицающего существует отрицающе-утверж- дающая форма разделительно-категорического умозаключения. Она

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

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

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

111

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

Дотация предназначена для покрытия убытков или сбалансирования нижестоящего бюджета.

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

Следовательно, дотация нерентабельным предприятиям федерального подчинения предназначена для покрытия убытков.

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

Углы бывают либо острые, либо тупые.

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

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

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

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

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

112

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

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

р → q r → q

р r

q .

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

ние:

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

Если у пациента воспаление легких, то применение антибиотиков ведет к выздоровлению.

У пациента либо бронхит, либо воспаление легких.

Следовательно, применение антибиотиков ведет к выздоровлению пациента.

Кроме простой существует сложная конструктивная дилемма, кото-

рая осуществляется по схеме

р → q r → s

р r

q s ,

ведущей к общезначимому сложному суждению

((р → q) (r → s) (р r)) → (q s).

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

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

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

следующим образом:

р → q p → s

¬q ¬s

¬р .

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

113

Если N индивидуально едет в Австрию, то у него есть загранпаспорт.

Если N индивидуально едет в Австрию, то он имеет приглашение из Австрии.

Однако или неверно, что N имеет загранпаспорт, или неверно, что N имеет приглашение из Австрии.

Следовательно, неверно, что N индивидуально едет в Австрию.

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

щей схемы вывода:

р → q r → s

¬q ¬ s

¬р ¬ r .

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

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

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

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

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

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

114

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

115

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

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

1. Определите вид вывода логики высказываний. Выпишите его схему:

1)Если N не был в городе в 18 часов 1 января, то его нельзя признать виновным в нашумевшем преступлении.

N был в городе в 18 часов 1 января.

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

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

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

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

3)Если эта жидкость – бензин, то она горюча. Если эта жидкость – нефть, то она горюча. Эта жидкость – или бензин, или нефть.

Следовательно, эта жидкость горюча.

4)Если с Урала в Москву лететь воздушным общественным транспортом (самолетом), то в Москву можно попасть в тот же день.

Если с Урала в Москву ехать наземным общественным транспортом (поездом), то в Москву можно попасть на вторые сутки. С Урала в Москву можно либо лететь воздушным общественным транспортом (самолетом), либо ехать наземным общественным транспортом (поездом).

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

5)Если ранним утром городская электростанция прекратит подачу электроэнергии, то городской электрический транспорт станет. Если городской электрический транспорт станет, то многие жители города опоздают на работу.

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

116

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

1)Если противник беспечен, то атака будет успешной.

Еслипротивникслабоукрепилпозиции, тоатакабудетуспешной. Либо неверно, что противник беспечен, либо неверно, что противник слабо укрепил позиции.

Следовательно, неверно, что атака будет успешной.

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

Политические лидеры после окончания войны не допустят депрессии в стране.

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

3)Если телефон вновь заработает, то я уплачу за его ремонт. Неверно, что телефон вновь заработал.

Следовательно, неверно, что я заплачу за его ремонт.

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

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

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

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

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

р (первая посылка) q (вторая посылка) r (заключение) .

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

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

117

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

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

4.2.3.1. Обращение простой категорической посылки является одним из простых видов непосредственных дедуктивных умозаключений. В обращении в качестве посылки может фигурировать один из шести видов простых атрибутивных суждений: SaР, SaоР, SiР, SiвР, SeР, SoP, каждый из которых имеет базовую структуру S – Р, где S – субъект, а Р – предикат посылки. Из посылки такого вида выводится заключение в виде простого категорического суждения с базовой структурой вида Р – S (в заключении субъект и предикат посылки меняются местами).

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

1)термин (терминами называются субъект S и предикат P), не распределенный в посылке, не должен быть распределен и в заключении (см. понятие распределенности терминов в разделе о простых атрибутивных суждениях);

2)субъект S и предикат Р посылки в заключении меняются местами;

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

Существует два варианта обращения общеутвердительных сужде-

ний. Первый вариант является обращением суждений типа SaоР (общеутвердительных суждений, выражающих определения). Второй вариант – это обращение «просто» общеутвердительных суждений типа SaР (общеутвердительных суждений, не выражающих определений). Если по-

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

118

SaоР

PaS .

Примером здесь может служить умозаключение:

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

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

Если же посылка является суждением типа SaР, то субъект посылки S распределен, а предикат Р не распределен. Общеутвердительное суждение в этом случае обращается по схеме

SaР

PiS .

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

Все металлы являются простыми веществами.

Следовательно, некоторые простые вещества являются металлами.

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

Частноутвердительная посылка типа SiвР, в котором субъект S не распределен, а предикат Р распределен, обращается по схеме

SiвР

PaS .

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

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

Обращение частноутвердительной посылки типа SiР производится по другой схеме:

SiР

PiS .

Иллюстрирует эту схему умозаключение:

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

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

Этот вариант обращения также называется простым или чистым.

Для обращения общеотрицательных суждений типа SeР используется схема

SeР

РeS .

Как не трудно заметить, именно по этой схеме осуществлено следующее обращение:

119

Ни один несовершеннолетний не является избирателем.

Следовательно, ни один избиратель не является несовершеннолетним.

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

4.2.3.2. Превращение простого категорического суждения. Пре-

вращение, подобно обращению, является формой непосредственного умозаключения, выводом заключения из единственной посылки. Всякое превращение простого категорического суждения с базовой структурой S – Р состоит в выводе из этого суждения заключения с базовой структурой S – не-Р (не-Р короче обозначим через Р′). Превращение дает истинное заключение (при истинности посылок), если выполняются следующие общие правила:

1)субъектом заключения является субъект S посылки, а предикатом – отрицание предиката Р, т. е. Р′;

2)заключение по качеству должно быть противоположным посылке (т. е. при утвердительной посылке заключение должно быть отрицательным, при отрицательной посылке – утвердительным);

3)по количеству (по квантору) заключение должно совпадать с посылкой.

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

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

вращается по схеме

SaР SeР′ .

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

Все химические элементы являются простыми веществами.

Следовательно, ни один химический элемент не является непростым веществом.

Схема превращения частноутвердительного суждения имеет иной

вид:

SiР SoР′ .

В соответствии с этой схемой построен следующий вывод:

120