Логика. Том 1. Учение о суждении, понятии и выводе

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

Наоборот, отрицание эмпирически значимого частного суждения всегда может обосновывать лишь эмпирически общее, но никогда не безусловно общее суждение. Если ложно, что есть живое, которое могло бы возникнуть не из живого, – то положение omne vivum ex vivo является правильным в том смысле, что все живое, какое мы знаем, в свою очередь возникло из живого. Но следует ли отсюда, что положение это высказывает абсолютную необходимость – это также остается еще спорным. Если ложно, что есть люди, которые живут свыше 200 лет, – то это еще не служит обоснованием для суждения «ни один человек не живет свыше 200 лет» в том смысле, что было бы невозможным быть человеком и все же дожить до возраста свыше 200 лет.

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

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

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

Отдел шестой ВОЗМОЖНОСТЬ И НЕОБХОДИМОСТЬ

Обсуждению логических вопросов, касающихся возможного и необходимого, следует предпослать в интересах предварительного ориентирования следующее основное различение: утверждение, что суждение возможно или необходимо, отлично от утверждения, что возможно или необходимо, чтобы субъекту принадлежал предикат. Первое утверждение касается субъективной возможности или необходимости акта суждения; второе касается объективной возможности или необходимости того, что высказано в суждении. К первому утверждению сводится кантовское различение различной модальности суждений, соответственно чему они бывают или проблематическими, или ассерторическими, или аподиктическими. Ко второму утверждению сводится положение Аристотеля в Anal. Pr. I, 2, 24 b, 31.

I. ТАК НАЗЫВАЕМЫЕ РАЗЛИЧИЯ МОДАЛЬНОСТИ

§ 31. Так называемые различия модальности

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