Строение простого суждения

 

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

Атрибутивное суждение утверждает или отрицает принадлежность предмету каких-либо свойств, состояний, видов активности, например: «Роза приятно пахнет», «Кролики не едят мяса». Оно состоит из трех элементов: субъекта, предиката и связки.

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

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

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

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

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

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

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

 

Виды простых суждений

 

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

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

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

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

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

Частноутвердительные суждения: «Некоторые S есть P», например: «Некоторые элементарные частицы имеют положительный заряд».

Частноотрицательные суждения: «Некоторые S не есть P», например: «Некоторые деревья не являются хвойными».

Единичные суждения, т.е. суждения, говорящие об отдельных предметах, в этой классификации относятся к общим суждениям, например, «Автор „Гулливера“ жил в Англии» рассматривается как общее, поскольку в нем речь идет обо всем объеме субъекта, подразумевается, что, так сказать, «всякий автор „Гулливера“» или «весь автор „Гулливера“» жил в Англии. Точно так же обстоит дело со всеми другими единичными суждениями.

3) Идет как-то крестьянин по дороге и причитает: «Ну что же это такое! Вечно у меня ничего нет! Вон, посмотришь, у других – было много, а стало еще больше. А у меня в кармане только несколько копеек осталось. Хоть бы кто-нибудь мне помог!» Только он эти слова произнес, а перед ним – сам черт! Все как полагается – копыта, хвост, морда отвратительная, но… улыбается. «Давай помогу, – предлагает черт крестьянину. – Видишь мост через реку? Как только перейдешь по мосту на другой берег – деньги у тебя в кармане удвоятся. Перейдешь назад – опять удвоятся, и так будут удваиваться всякий раз, как ты по мосту пройдешь. Одно только условие: каждый раз, когда ты через мост пройдешь, будешь отдавать мне 24 копейки, остальное – твое. Согласен?» Подумал крестьянин: нет ли тут подвоха какого? Черт все-таки! Потом решился: «Согласен!»

Перешел крестьянин через мост один раз – и правда, количество денег в кармане удвоилось! Бросил черту 24 копейки, повернул назад, прошел через мост второй раз – опять денег стало вдвое больше! Бросил черту его 24 копейки, повернул и пошел через мост в третий раз. Деньги опять удвоились, да только отдал он черту 24 копейки и все – ничего у него в кармане не осталось, ни единой копеечки…

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

 

Логические связки

 

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

В дальнейшем простые суждения мы будем рассматривать как некие неделимые атомы, как элементы, из соединения которых возникают сложные структуры. Простые суждения будем обозначать отдельными латинскими буквами: a, b, c, d, … Каждая такая буква представляет некоторое простое суждение. Откуда это видно? Отвлекаясь от сложной внутренней структуры простого суждения, от его количества и качества, забыв о том, что в нем имеется субъект и предикат, мы удерживаем лишь одно свойство суждения – то, что оно может быть истинным или ложным. Все остальное нас здесь не интересует. И когда мы говорим, что буква «a» представляет суждение, а не понятие, не число, не функцию, мы имеем в виду только одно: это «a» представляет истину или ложь. Если под «a» мы подразумеваем суждение «Кенгуру живут в Австралии», мы подразумеваем истину; если же под «а» мы подразумеваем суждение «Кенгуру живут в Сибири», мы подразумеваем ложь. Таким образом, наши буквы «a», «b», «c» и т.д. – это переменные, вместо которых могут подставляться истина или ложь.

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

Отрицание. В естественном языке ему соответствует выражение «Неверно, что…». Отрицание обычно обозначается знаком «», стоящим перед буквой, представляющей некоторое суждение: «а» читается «Неверно, что а». Пример: «Неверно, что Земля – шар».

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

Конъюнкция. В естественном языке этой связке соответствуют союзы «и», «а», «но», «однако» и т.п. Чаще всего конъюнкция обозначается значком «&». Сейчас этот значок часто встречается в названиях различных фирм и предприятий. Суждение с такой связкой называется конъюнктивным, или просто конъюнкцией, и выглядит следующим образом:

a & b. Пример: «В корзине у деда лежали подберезовики и маслята». Это сложное суждение представляет собой конъюнкцию двух простых суждений: – «В корзине у деда лежали подберезовики» и «В корзине у деда лежали маслята».

Дизъюнкция. В естественном языке этой связке соответствует союз «или». Обычно она обозначается знаком «v». Суждение с такой связкой называется дизъюнктивным, или просто дизъюнкцией, и выглядит следующим образом: a v b.

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

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

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

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

Спрашивается: какое нужно высказать суждение, чтобы остаться в живых и все-таки поселиться на острове?

 

Таблицы истинности

 

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

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

Но как установить истинность или ложность сложного суждения? Пусть у нас имеется некоторая конъюнкция «a & b» и нам известно, что суждение «a» истинно, а суждение «b» ложно. Что можно сказать об этом сложном высказывании в целом? Если бы в реальности существовал объект, к которому относится связка «&», то трудности не возникло бы: обнаружив этот объект, мы могли бы сказать: «Есть! Конъюнкция истинна!»; обшарив все вокруг и не обнаружив соответствующего объекта, мы бы констатировали: «Конъюнкция ложна». Но дело в том, что логическим связкам – как, впрочем, и союзам естественного языка – в реальности ничего не соответствует! Это изобретенные нами средства связи мыслей или предложений, это – орудия мышления, не имеющие аналогов в реальности. Поэтому вопрос об истинности или ложности высказываний с логическими связками – не вопрос конкретных наук или материальной практики, а чисто логический вопрос. И его решает логика.

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

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

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

[FIXME]

Если исходное суждение истинно, то его отрицание мы договариваемся считать ложным; если же исходное суждение ложно, то его отрицание мы считаем истинным. Кажется, такое соглашение соответствует нашей интуиции. Действительно, суждение «Байрон был английским поэтом» истинно, поэтому его отрицание «Неверно, что Байрон был английским поэтом» естественно считать ложным. Суждение «Афины находятся в Италии» ложно, поэтому его отрицание «Неверно, что Афины находятся в Италии» естественно считать истинным.

Таблицы истинности для остальных логических связок мы для удобства приводим все вместе:

[FIXME]

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

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

Аналогичные соображения оправдывают и таблицу истинности для дизъюнкции. Несколько сложнее обстоит дело с импликацией. Рассмотрим суждение «Если солнце взошло, на улице стало светло». Здесь импликация соединяет два простых суждения «Солнце взошло» и «На улице стало светло». Когда оба они истинны, то импликацию в целом мы считаем истинной. Теперь второй случай: солнце взошло, но на улице светло не стало. Если такое вдруг произошло, мы сочтем нашу импликацию ложной: видимо, чего-то мы не учли, когда формулировали такую связь между двумя суждениями. Третий случай: солнце не взошло, но на улице стало светло. Опровергнет ли это нашу импликацию? Отнюдь нет, такое вполне возможно: на улице зажглись фонари, стало светло, но это не противоречит связи между восходом солнца и наступлением светлого времени суток. Импликацию можно считать истинной. Наконец, четвертый случай: солнце не взошло и светло не стало. Это вполне естественно, наша импликация остается истинной.

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

5) Как разделить 7 яблок поровну между 12 мальчиками, не разрезая при этом ни одного яблока на 12 частей? (Наложенное условие призвано исключить самое простое решение: разрезать каждое яблоко на 12 частей и дать каждому мальчику по одной дольке от каждого яблока или 6 яблок разрезать пополам, а 7-е яблоко разрезать на 12 частей.)

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

Как путешественник догадался, кем был его проводник?

 

Другие виды высказываний

 

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

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

Большой интерес современной логики вызывают контрфактические высказывания – условные высказывания, выраженные в сослагательном наклонении, например: «Если бы в XIII в. русские князья были сплочены, они отразили бы татаро-монгольское нашествие»; «Если бы я был Наполеоном, то уж я-то не проиграл бы битву при Ватерлоо» и т.п.

Интерес к такого рода высказываниям обусловлен многими обстоятельствами. Во-первых, не ясно, каким должно быть их формальное представление. Если мы попытаемся представить эти высказывания в виде обычной импликации «a -> b», то сразу же получится, что все контрфактические высказывания истинны: импликация истинна, если ее первый член ложен, а в контрфактическом высказывании этот член всегда ложен, следовательно, все контрфактические высказывания при такой формализации следует признать истинными. Вряд ли с этим можно согласиться, поэтому до сих пор продолжаются поиски адекватной формализации таких высказываний.

Во-вторых, не совсем ясно, как отличить истинное контрфактическое высказывание от ложного и вообще можно ли говорить об их истинности или ложности. Мы считаем высказывание истинным, если оно соответствует действительности, т.е. реальность такова, как о ней говорится в высказывании. Но контрфактическое высказывание заведомо не соответствует действительности! Когда вы говорите: «Если бы сейчас было лето…» или «Если бы я не сломал ногу…», то подразумеваете при этом, что сейчас-то как раз не лето и нога у вас сломана. Тем не менее вопрос об истинности или ложности контрфактических высказываний не лишен смысла, ибо существуют противоположные контрфактические высказывания, с одним из которых мы согласны, а другое отвергаем, например: «Если бы я родился в XIX в., то я был бы современником Л. Толстого» и «Если бы я родился в XIX в., то я не был бы современником Л. Толстого». Только одно из этих двух контрфактических высказываний можно признать истинным. Но как обосновать истинность контрфактического высказывания? До сих пор это остается открытой проблемой.

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

«Если бы Бизе был соотечественником Верди», а в другом – «Если бы Верди был соотечественником Бизе». Таким образом, это просто два разных высказывания, с обоими из которых мы легко согласимся.

Сложнее обстоит дело с контрфактическими высказываниями, антецедент которых говорит о тождестве двух индивидов, например: «Если бы я был Наполеоном…». Мы часто пользуемся такими оборотами, но отдаем ли мы себе отчет в том, какую именно мысль хотим выразить? Думаем ли мы: «Если бы я был императором французов…» или «Если бы Наполеон обладал какими-то чертами моего характера…»? Но останусь ли я самим собой, если приобрету какие-то черты Наполеона? И вообще, что такое я? Вот к таким сложным и интересным вопросам приводят попытки разобраться с тем, что такое контрфактическое высказывание.

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

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

 

Ответы

 

1) Пешеходы встретились через 3 часа: каждому из них нужно было пройти половину пути, т.е. 30 км : 2 = 15 км. При скорости пешехода 5 км в час он пройдет 15 км за 3 часа. Следовательно, муха летала 3 часа со скоростью 10 км в час, значит, всего она пролетела 10 х 3 = 30 км.

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

3) Можно, конечно, наобум выдвигать различные предположения, а затем проверять их: допустим, у крестьянина было 15 копеек; прошел он через мост первый раз – у него стало 30 копеек, из которых он 24 копейки отдал черту; у него, следовательно, осталось 6 копеек, с которыми он перешел мост во второй раз; после этого перехода у него стало 12 копеек. Но этого не хватит даже на то, чтобы отдать черту его 24 копейки! Значит, в начале денег у него должно быть больше. Допустим, у него было 20 копеек… и т.д.

Однако есть более экономный путь решения нашей задачи, прямо приводящий к искомому результату. Нужно двигаться с конца. После третьего перехода, как нам известно, у крестьянина образовалось 24 копейки, которые он и отдал черту. Значит, до перехода у него было 12 копеек. Но эти 12 копеек – то, что осталось у него после того, как он отдал 24 копейки черту. Поэтому после второго перехода через мост у него должно было образоваться 12 + 24 = 36 копеек. Значит, до этого перехода у него было 36 : 2 = 18 копеек. Опять-таки, это то, что осталось у него после расплаты с чертом, следовательно, всего у него было 18 + 24 = 42 копейки. Эта сумма возникла у него в кармане после первого перехода через мост, следовательно, до этого перехода у него была 42: 2 = 21 копейка. Таким образом, когда крестьянин встретился с чертом, в его кармане была 21 копейка.

Чтобы остаться при своих, ему нужно было иметь ровно 24 копейки. А чтобы нажиться на этой сделке с чертом, ему нужно было иметь хотя бы 25 копеек.

4) Это один из вариантов знаменитого парадокса, известного еще со времен античности. Некий критянин, житель острова Крита, однажды сказал: «Я лгу». Это, по-видимому, суждение, ибо здесь содержится утверждение о том, что произнесенное ложно. Истинно или ложно это суждение? Предположим, оно истинно. Но тогда говоривший действительно солгал, т.е. высказал ложь, следовательно, это суждение ложно. Хорошо, попробуем принять, что это суждение ложно. Но если оно ложно, тогда говорящий не солгал, т.е. сказал правду, следовательно, это суждение истинно. Таким образом, мы получаем парадоксальную ситуацию: признавая суждение «Я лгу» истинным, мы приходим к тому, что в таком случае оно должно быть ложным; признавая же суждение «Я лгу» ложным, мы приходим к тому, что его следует считать истинным.

Аналогично и в нашем случае. Чужестранец должен высказать суждение «Меня повесят», и с ним ничего нельзя будет сделать. Действительно, если попытаться повесить его, то окажется, что он сказал правду, а за правду приказано расстреливать, а не вешать. Если же попытаться его расстрелять, то в этом случае получится, что чужестранец солгал и его следует повесить. Таким образом, что бы мы с ним ни попытались сделать, в любом случае получается нарушение указа правителя острова. Поэтому придется отпустить его и выдать вид на жительство.

Быть может, вам будет небезынтересно узнать, что парадокс «Лжец» и его разнообразные проявления и варианты до сих пор не имеют общепризнанного решения. Иногда удается предотвратить появление парадоксов такого рода, однако это обычно достигается за счет наложения серьезных ограничений на использование языка. Так произошло, например, в математике. В конце XIX в. была создана теория множеств – математическая дисциплина, ставшая основанием всего величественного здания современной математики. Немецкий математик и логик Готлоб Фреге поставил перед собой грандиозную задачу: опираясь на простые и самоочевидные принципы логики и теории множеств, строго вывести из них арифметику натуральных чисел, затем – математический анализ и, таким образом, представить все ветви математики в виде единой стройной системы, похожей на систему евклидовой геометрии. В течение долгих лет Фреге упорно продвигался к своей цели, получая важные результаты и уточняя математический язык. Его фундаментальный труд «Основные законы арифметики» был уже в типографии, когда от молодого английского логика Бертрана Рассела он получил письмо, в котором тот сообщал об открытом им парадоксе в теории множеств. Фреге сразу оценил открытие Рассела: в фундаменте математики – этого образца строгости и точности – лежит противоречие! Работа Фреге в значительной мере потеряла смысл, что он сам с горечью вынужден был признать в предисловии к своему труду. Он был умным и язвительным человеком, в чем-то похожим на старого князя Болконского из «Войны и мира». Этот удар потряс его. И хотя после открытия парадокса Фреге прожил еще 25 лет и много работал, он не опубликовал ни одной статьи.

А Рассел впоследствии изложил свой парадокс в следующей шуточной форме. Представьте себе деревню, жители которой приняли решение: у местного деревенского брадобрея бреются те и только те жители деревни, которые не бреются сами. Кажется, это вполне естественно: либо ты сам бреешься, либо идешь к брадобрею. Но попробуйте теперь ответить на вопрос: что делает сам брадобрей – бреет он себя или нет? Допустим, он бреет сам себя. Но брадобрей – это же житель деревни, и раз он бреется сам, его не может брить брадобрей, т.е. он сам. Хорошо, пусть он себя не бреет. Но тогда он – житель деревни, который себя не бреет, следовательно, должен бриться у брадобрея, т.е. у самого себя. Итак, если брадобрей себя бреет, он не может этого делать; если же он себя не бреет, то обязан себя брить. Противоречие, парадокс!

5) Каждый мальчик должен получить 7/12 яблока; разложим эту дробь: 7/12 = 3/12 + 4/12, сократим числитель и знаменатель: 1/4 + 1/3. Теперь мы видим, что каждый мальчик получает две дольки: четвертую и третью часть яблока. Чтобы получить 12 четвертинок, нужно разрезать 3 яблока на 4 части; чтобы получить 12 третьих долей, нужно 4 яблока разделить на 3 части каждое. Таким образом, ответ: 4 яблока нужно разделить на 3 части, 3 яблока разделить на 4 части и эти доли раздать мальчикам.

6) Здесь нужно открыть одну простую мысль: к какому бы племени ни принадлежал местный житель, на вопрос: «Из какого ты племени?», он всегда ответит одно и то же: «Я молодец!» Если он действительно молодец, он о себе скажет правду; если же он лжец, он о себе солжет. Проводник принес путешественнику тот единственный ответ, который он мог услышать. Следовательно, он сам – молодец. А вот если бы он, вернувшись к путешественнику, сказал: «Он ответил, что он лжец!», то кем был бы проводник? Лжецом, конечно! Не мог он такого услышать.

 

 

Глава 4

Логические законы

 

Пришла пора поговорить о законах логики. Вообще-то законом называют устойчивую, необходимую связь явлений, поэтому законом логики естественно назвать устойчивую, необходимую связь мыслей. Но в каком смысле необходим логический закон? Закон природы невозможно нарушить: подчиняясь закону всемирного тяготения, тело, лишенное опоры, падает на землю, и даже если я очень захочу, я не смогу отменить или проигнорировать эту связь. Можно вообразить себя крылатым богом, быть абсолютно убежденным в этом, более того, убедить в этом всех окружающих, однако попытка воспарить к небесам из окна 10-го этажа скорее всего закончится катастрофой: вы разобьетесь. Библия сообщает, правда, что Христос ходил по воде «яко посуху», нарушая тем самым законы природы, но это было чудо. Законы же логики мы нарушаем довольно часто, но при этом остаемся живы и никто не видит здесь особого чуда. Да, необходимость законов логики носит иной характер, нежели необходимость законов природы. Они необходимы в том смысле, что только при их соблюдении можно надеяться получить истину. Ведь это законы познающего мышления, если вы их нарушаете – вы не достигнете целей познания. Попытка нарушить закон природы способна убить вас, но точно так же попытка нарушить закон логики убивает в вас разум.

Традиционная логика знала всего четыре основных закона мышления, три из них были открыты и сформулированы Аристотелем, четвертый закон был добавлен немецким философом и ученым Г.В.Лейбницем.

1. Закон тождества: всякая мысль в процессе рассуждения должна оставаться тождественной самой себе.

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

Неточность, двусмысленность наших выражений способна приводить к недоразумениям и ошибкам. Как, например, вы поймете фразу: «Она спрятала в карман записку от мужа»? Полученную от мужа записку она спрятала в карман или она спрятала от мужа записку, полученную, скажем, от знакомого? Или вы читаете: «Генерал своим корпусом преградил ему путь». Что имеется в виду – тело генерала или подчиненная ему войсковая часть? «Я навсегда покончил со старым», – сказал бандит, выходя из лавки антиквара. О чем или о ком он говорит? Если в вашей речи часто встречаются подобные двусмысленности, то ее нелегко понять, как нелегко понять речи политиков и дипломатов.

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

«Почему вы называете этот хор смешанным? Ведь здесь одни женщины!» – «Да, но одни умеют петь, а другие – нет».

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

Учитель: Надеюсь, Петя, я больше не увижу, как ты списываешь с чужой тетради?

Петя: Я тоже на это надеюсь, господин учитель.

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

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

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

– Скажите, ваша честь, значит, в будущем я не могу называть баронессу коровой, так?

-Да, так.

– Ну, а если я назову корову баронессой?

– Это будет неостроумно, но не подсудно.

– Благодарю вас, ваша честь, – сказал журналист и, обернувшись к истице, произнес: – Поздравляю, баронесса!

Закон тождества является важнейшим законом логики.

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

Соединение противоположных суждений дает противоречие. Если вы приняли некоторое суждение, скажем, «Оперу „Волшебная флейта“ написал Моцарт» и в то же время соглашаетесь с противоположным суждением «Неверно, что оперу „Волшебная флейта“ написал Моцарт», то вы включили в свое мышление противоречие. Закон утверждает, что один из членов противоречия обязательно ложен, следовательно, и противоречие в целом всегда будет ложным. Таким образом, допуская противоречие в своих мыслях и рассуждениях, вы соглашаетесь с ложью, а это сразу же лишает вас возможности решить какую-либо познавательную задачу.

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

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

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

В романе И.С. Тургенева «Рудин» есть такой диалог Рудина и Пигасова:

«Прекрасно! – промолвил Рудин. – Стало быть, по-вашему, убеждений нет?

– Нет и не существует.

– Это ваше убеждение?

– Да.

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

Все в комнате улыбнулись и переглянулись».

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

3. Закон исключенного третьего: из двух противоречащих друг другу суждений одно обязательно истинно.

Это означает, что две противоречащие друг другу мысли не могут быть одновременно истинными (об этом говорит закон противоречия), но они не могут быть и одновременно ложными – одна из них необходимо истинна, другая – ложна. Иначе говоря, если перед вами два противоречащих друг другу суждения, то истина содержится в одном из них, не нужно искать ее где-то в другом месте, третьего не дано (tertium поп datur, как говорили латиняне). Например, число 7 четное, либо нечетное; Иванов женат, либо неженат – что-то из этого обязательно истинно. Один человек гордился выучкой своей собаки. Когда он отдавал ей команды: «Иди ко мне или не ходи!», «Ешь или не ешь!», она всегда выполняла их. Однако мы с вами теперь понимаем, что здесь нет повода для гордости – поведение собаки подчиняется закону исключенного третьего.

В пьесе Ж.-Б. Мольера «Мещанин во дворянстве» есть такой диалог:

«Г-н Журден: …А теперь я должен открыть вам секрет. Я влюблен в одну великосветскую даму, и мне бы хотелось, чтобы вы помогли мне написать ей записочку, которую я собираюсь уронить к ее ногам.

Учитель философии: Отлично.

Г-н Журден: Ведь правда, это будет учтиво?

Учитель философии: Конечно. Вы хотите написать ей стихи?

Г-н Журден: Нет-нет, только не стихи.

Учитель философии: Вы предпочитаете прозу?

Г-н Журден: Нет, я не хочу ни прозы, ни стихов. Учитель философии: Так нельзя: или то, или другое.

Г-н Журден: Почему?

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

Г-н Журден: Не иначе как прозой или стихами?

Учитель философии: Не иначе, сударь. Все, что не проза, то стихи, а что не стихи, то проза».

Здесь герой пьесы попал в клещи закона исключенного третьего. Правда, этот закон не столь универсален, как два предыдущих. Он справедлив и применим только там, где возможно четкое решение и определенный ответ – да или нет. Увы, реальность часто далека от четкости и ясности. Предметы и явления изменяются, к часто трудно сказать, что это – все еще старый объект или уже что-то новое? Наши знания ограничены и не всегда позволяют дать определенный ответ. Существует ли во Вселенной разум, подобный человеческому? Будет ли в Москве идти дождь 22 июня 2050 года? Ответы на такого рода вопросы также подчиняются закону исключенного третьего, но мы не можем им воспользоваться при их выборе.

4. Закон достаточного основания: всякая истинная мысль должна иметь достаточное основание.

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

«Сегодня на улице мороз», – говорите вы. «Почему вы так считаете?», – спрашиваю я. Если вы ответите: «Просто я так думаю, я убежден в этом», это не заставит меня согласиться с вашим утверждением. Оно не обосновано. Но если вы скажете: «Сегодня на улице мороз, потому что ртуть в термометре, висящим за окном, опустилась до отметки –50°C», то вы обосновали свое утверждение и я вынужден с ним согласиться. Истинная мысль соответствует действительности, т.е. реальное положение дел таково, как оно отображается в мысли, поэтому истинная мысль имеет основание в реальности. А это означает, что мы можем найти и указать логические основания нашей мысли. Ложь нельзя обосновать, поскольку она противоречит реальности и имеющемуся у нас истинному знанию. Но истина может и должна быть обоснована. Соблюдение закона достаточного основания делает наше мышление обоснованным и убедительным.

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

 

Глава 5