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