Глава 3. Суждение

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

§11. Суждение и его типы

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

Суждение же делает какие-то утверждения о вещах, говорит о том, чем они являются или не являют-ся: "Ель зеленая", "Некоторые рефлексы не являются условными", "Продукция сельского хозяйства, как правило, не является рентабельной", "Большинство граждан являются законопослушными", "Экспортные товары обычно высококачественны". Поэтому в отличие от понятия суждение всегда можно оценить как истинное или ложное. Оно, как говорят в таких случаях, обязательно имеет се-мантическое значение; это его неотъемлемое свойство. Имеются у него еще и другие дополнитель-ные свойства. В целом содержание этой формы мышления можно выразить в трех положениях.

Суждение - это такая форма мышления, которую отличают такие свойства: 1) что-либо утверждать или отрицать 2) относительно всех или части предметов, свойств, явлений, процессов какого-либо рода; 3) выражать либо истину, либо ложь.

Любое предложение допустимо рассматривать как суждение, когда его можно оценить с точки зре-ния истинности. Таковыми не являются только побудительные и вопросительные предложения. В них (в вопросах, призывах, командах), не делается сопоставления наших представлений о действи-тельности с ней самой, по этой причине они не содержат ни истины, ни заблуждения. Так, не пред-ставляют собой суждений высказывания вроде: "Что есть истина?"; "Встать, суд идет!"; "Шапки до-лой, коли я говорю".

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

Наряду с ними имеются также суждения отношений, или релятивные: "Киев древнее Москвы", "Де-сять больше семи", "Каренин любит Анну". Их отличительная особенность состоит в том, что отме-чаемое ими свойство нельзя отнести к одному объекту. Оно возникает из взаимодействия двух, а то и большего их числа, называемых релятами. Для записи таких суждений часто используется символи-ческая форма: aRb, где a и b обозначают реляты - предметы, связанные отношением.

Суждения отношений делятся на транзитивные и не транзитивные, симметричные и несимметрич-ные, рефлексивные и нерефлексивные, а также некоторые другие. Транзитивными являются те, у ко-торых отношения могут переноситься на другие пары. Так, если Киев древнее Москвы, а Москва древнее Костромы, то тогда правильно будет утверждать: Киев древнее Костромы. Можно это выра-зить и с помощью символов: если aRb и bRc, то тогда aRc. С отношением же "любить" такой перенос недопустим (если Каренин любит Анну, а Анна любит Вронского, то отсюда ни в коем случае не следует, будто Каренин любит Вронского). Следовательно, первое отношение транзитивно, второе нет. Симметричность выражается в возможности менять реляты местами: aRb = bRa. Если, скажем, треугольник A подобен треугольнику B, то тогда и треугольник B подобен треугольнику A. При не-симметричных отношениях такая перестановка приведет к ошибкам, как это легко увидеть на приме-ре суждения: "Потемкин - фаворит Екатерины II".

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

Формально релятивные суждения можно считать обычными категорическими суждениями, если рас-сматривать отношение как свойство одной из сторон. Но только для этого суждение лучше всего пе-реформулировать, чтобы было отчетливо видно, к какой из двух сторон относят выраженное в суж-дении свойство. Так, релятивное суждение "Каренин любит Анну" можно переделать в категориче-ское двумя способами: "Каренин является тем, кто любит Анну" и "Анна любима Карениным".

Еще одну группу образуют суждения существования, с помощью которых отмечается наличие (или отсутствие) в действительности тех или иных явлений: "Существуют различные философские шко-лы", "Не существует 31 апреля". В разделе о законе исключенного третьего уже говорилось о том, что в математике иногда очень трудно решить вопрос об истинности таких суждений. Здесь можно добавить: философия тоже сталкивается с такими проблемами. Как, скажем, ответить на вопрос: кто изобрел колесо? Трудность не только в том, что у нас нет сведений о людях того времени. Сложность усугубляется главным образом тем, что такого изобретателя, скорее всего не существовало, так как употребление колеса, надо думать, входило в жизнь постепенно, может быть, на протяжении тысяче-летий. Авторство одного человека здесь вряд ли возможно. Но ведь то же самое затруднение возник-нет и при рассмотрении любого другого открытия. Оно всегда обусловлено предшествующим опы-том и знаниями и в определенном смысле является результатом всего научно-технического прогрес-са в целом. Так ли уж безусловно можно считать Эйнштейна создателем теории относительности, а Ньютона - теории тяготения, если предположение о сокращении пространственно-временных интер-валов высказано еще в 1887 году Фитцджеральдом и довольно оживленно обсуждалось среди физи-ков, а гипотезу о земном тяготении высказал сначала Ф. Бэкон и даже предложил несколько экспе-риментов для ее проверки? Учение о естественном отборе тоже вряд ли появилось бы на свет, не опирайся Дарвин на большой материал о развитии природы, накопленный биологией. Никто, конеч-но, не станет оспаривать заслуги или гениальность этих титанов науки. Речь идет о том, существует ли единственный автор у достижений, считающихся их творениями. Могли ли они к ним прийти са-мостоятельно, без вклада, сделанного другими.

У проблемы существования имеются и другие не менее сложные аспекты. В каком смысле сущест-вуют, скажем, идеи, понятия и многие другие продукты мысли? Считать их несуществующими явно несостоятельно, так как идеи способны менять мир, и порой их воздействие куда весомее, чем у ма-териальных факторов. Но и признавать мысленные образования обычной реальностью тоже недопус-тимо уже хотя бы потому, что тогда надо будет признать существующими в обычном смысле и вся-кого рода химеры, фантомы, нелепости; трудно даже будет назвать что-либо несуществующим.

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

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