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

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

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

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

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

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

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

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