Единое окно доступа к образовательным ресурсам

Логика: задачи и их решение: Учебно-методическое пособие

Голосов: 11

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

Приведенный ниже текст получен путем автоматического извлечения из оригинального PDF-документа и предназначен для предварительного просмотра.
Изображения (картинки, формулы, графики) отсутствуют.
           Наконец, бывают случаи, когда слово «деление» или «делятся» присутст-
вует, но обозначает членение целого объекта на части. Такие примеры не явля-
ются примерами деления объёмов понятий.

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

Надо всегда помнить про различие собственно объёма понятия и любого из
элементов этого объёма.


            КАК РЕШАТЬ ЗАДАЧИ ПО ТЕМЕ «СУЖДЕНИЕ»

      1. Придание суждениям логической формы.

      Главное затруднение при решении всех задач по теме «Суждение» состо-
ит в придании выражениям естественного языка логической формы. В логиче-
ской форме каждое простое категорическое суждение имеет четыре части:

                   ......        S           ......       Р
                  квантор      субъект      связка     предикат

S – субъект – это то, о чём делается утверждение или отрицание, иначе говоря,
    то, о чём говорится;

Р – предикат – это то, что говорится (утверждается или отрицается) о субъекте;

квантор – бывает двух видов: слово «Все» – квантор общности или слово
   «Некоторые» – квантор существования; квантор отсутствует, если S – еди-
   ничное понятие. Квантор указывает на «количество» субъекта.

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

(а) спрашиваем, о чём (о ком) говорится в суждении; ответ на этот вопрос даёт
    нам субъект;




                                                                            11


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

      Например, придадим логическую форму суждению

                     Слоновий балдахин ослику великоват

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

    «все», «слоновий балдахин», «суть», «то, что великовато для ослика»

Делаем необходимые переформулировки и получаем

         Все слоновьи балдахины суть то, что великовато для ослика

Ещё несколько примеров.

           С белого слона Петру Петровичу падать не доводилось

Логическая форма этого суждения выглядит так:

     Пётр Петрович не суть тот, кому доводилось падать с белого слона

Суждение это единичное, а единичные суждения рассматриваются как общие,
но квантор перед ними не ставится. Заметим, что речь здесь идёт не белом сло-
не, а о Петре Петровиче. Грамматически, субъект суждения как правило являет-
ся подлежащим.




                                                                           12


       Некоторые могущественные владыки Азии падали здесь со слона

Получаем:

Некоторые могущественные владыки Азии суть те, кто падал здесь со слона.
              Погонщики слонов не щёлкали своими бичами

Логическая форма:

            Все погонщики слонов не суть те, кто щёлкал своим бичом

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

                     Мне белый слон сегодня не встретился

Термины «мне» или «я» с равным основанием, что и «белый слон» могут пре-
тендовать на роль субъекта. Альтернативные варианты логической формы этого
суждения выглядят так:

               Я не суть тот, кому сегодня встретился белый слон.
              Белый слон не суть тот, кто сегодня встретился мне.

И то, и другое вполне приемлемо. Выбор может зависеть как от контекста, если
он, конечно, есть, так и от субъективной оценки той информации, которая суж-
дением сообщается. Например, если рассматриваемое суждение является отве-
том на вопрос «Встречал ли ты сегодня белого слона?», то субъектом естест-
веннее считать термин «я», а если вопрос звучал иначе, например, как «Кого
ты сегодня не встречал?», то больше оснований быть субъектом у термина
«белый слон».
       Когда нет полной ясности с тем, какой термин является субъектом, сле-
дует принимать во внимание однозначность в установлении квантора. Напри-
мер в суждении

                      Слониха весь вечер пришивала бряки

даже, если оно звучит в качестве ответа на вопрос «Что пришивала слониха
весь вечер?» термин «бряки» не может играть роль субъекта, поскольку неясно,
о каком количестве бряк идёт речь, обо всех (об одной) или о некоторых. В
самом деле, «пришивать бряки» означает по меньшей мере пришивать одну




                                                                         13


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

                        Этот слон страшно невежлив

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

                 Этот слон не проявил должной вежливости

Здесь, напротив, отрицание, а предикат положительный.

                     Танец в исполнении слона не удался

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

                      Танец в исполнении слона неудачен

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

                  Тётушка слона не была сегодня неучтива

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

             Уши некоторых слонов не годятся в качестве паруса

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


      2. Отношения между суждениями: «логический квадрат».




                                                                           14


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

      а – общеутвердительные        Все S суть Р
                                    S есть Р (для единичного S)

      i – частноутвердительные      Некоторые S суть Р

      e – общеотрицательные         Все (Ни одно) S не суть Р
                                    S не есть Р (для единичного S)

      o – частноотрицательные       Некоторые S не суть Р

Их отношения по логическому квадрату таковы:

      - а и е находятся в отношении противоположности;
      - i и о находятся в отношении совместимости (подпротивоположности);
      - а и о, e и i противоречат друг другу;
      - i подчинено а и о подчинено е.

      Для общего суждения, например,

         Ни один слон не выписывает журнал «Знойная мартышка»

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

      Некоторые слоны не выписывают журнал «Знойная мартышка»,

противоречащее – i:

        Некоторые слоны выписывают журнал «Знойная мартышка»,

противоположное – а:

            Все слоны выписывают журнал «Знойная мартышка».




                                                                        15


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

                   Некоторые погонщики слонов курят кальян

получаем (в естественной форме) противоречащее – е:

                    Ни один погонщик слона не курит кальян

совместимое – о:

               Некоторые погонщики слонов не курят кальян.

      Задания такого рода очень просты.


      3. Логический анализ структуры сложного суждения.

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

    Логический союз         символ       аналог в естественном языке
  Конъюнкция                  &    «и», «а», «но», «тогда как», «при том,
                                   что», запятая и т. п.
  Слабая дизъюнкция           ∨    «или», «или ..., или ...»,
  Строгая дизъюнкция          ≠    «либо», «либо ..., либо ...»
  Импликация                  →    «если ..., то ...»
  Эквиваленция                ↔    «тогда и только тогда, когда»
  Отрицание                   ¬    «неверно, что», «ложно, что»

Примеры просты. Так, сложные суждения

          Слоны не обратили на это внимание, а бегемот обратил.




                                                                            16


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

образованы из простых с помощью конъюнкции, суждения

                 Эта рыба либо корюшка, либо ряпушка.
                Внутри его головы звенят болты или гайки.

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

           Если у слона стреляет в ухе, то слышно далеко вокруг.
        Если Лондон – столица Парижа, то Париж – столица Рима.

образованы импликациями. Суждение

Фиорелло идёт в кино тогда и только тогда, когда там показывают комедию

содержит эквиваленцию. Кроме того, суждения

                  Неверно, что слоны умеют летать.
              Ложно, что Париж не является столицей Рима.

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

              У меня на носу растут голубая и розовая ленты.
                Внутри его головы звенят болты или гайки.

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

У меня на носу растёт голубая лента, и у меня на носу растёт розовая лента.
    Внутри его головы звенят болты или внутри его головы звенят гайки.




                                                                         17


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

   А    В     А∧В      А∨В      А≠В        А→В        А↔В          А    ¬А
   И    И      И        И        Л          И          И           И    Л
   И    Л      Л        И        И          Л          Л           Л    И
   Л    И      Л        И        И          И          Л
   Л    Л      Л        Л        Л          И          И

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

                  Эта рыба либо корюшка, либо ряпушка.
                 Внутри его головы звенят болты или гайки.

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

                         Если 2+2=4, то снег белый.




                                                                             18


                           Если 2+2=5, то снег белый.
             Если Лондон столица Парижа, то Париж – столица Рима.1

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

         Если Петя усердно готовится к экзамену, то он получает пятёрку.

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

          Если Петя надевает очки, то видит, что на его носу сидит муха,
                        а если снимает, то не видит мухи.

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

     Бряка фордыбачит на глызе только тогда, когда с весны не закурдявилась.



1
    Из Л. Кэролла




                                                                               19


Здесь, очевидно, представлена эквивалентность двух суждений, а именно, «бря-
ка фордыбачит на глызе» и «неверно, что бряка с весны закурдявилась». По-
следнее суждение содержит отрицание, так что результат записи исходного
сложного суждения в символическом виде таков: (А ↔ ¬В).

        Он молчит, а Варенька ему поёт «Виют витры», или глядит на него
       задумчиво своими тёмными глазами, или вдруг зальётся: «Ха-ха-ха!»2.

Здесь, конечно, все дизъюнкции строгие, так что обозначив простые суждения
«он молчит», «Варенька ему поёт ...», «Варенька глядит на него ...», «Варенька
вдруг зальётся ...» буквами А, В, С и D соответственно, мы получим выражение
(А & (В ≠ (С ≠ D))).

                   Он и ахнуть не успел, как на него медведь насел.

Здесь получаем конъюнкцию вида (¬А & В).

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

Присутствующая здесь дизъюнкция может быть и слабой, так что получаем
символическую запись (¬А → (В ∨ С)).

               Кобелякин просыпается, если его трясут или пинают,
                        но никогда не от звона будильника

Поскольку пробуждение Кобелякина может наступить вследствие одновремен-
ного применения тряски и пинков, здесь присутствует слабая дизъюнкция. Ещё
одна трудность связана с тем, что импликация и отрицание во второй части
суждения замаскированы оборотом «никогда не от». Символическая запись
рассматриваемого суждения имеет следующий вид: (((А ∨ В) → С) & ¬(D →
С)).

                              Если друг оказался вдруг
                              И не друг, и не враг, а так,
                              Парня в горы бери, тяни ...3

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

2
    Этот и следующий примеры взяты у А.П.Чехова
3
    Из В.Высоцкого




                                                                             20



    
Яндекс цитирования Яндекс.Метрика