Но наша проблема заключается в другом. Мы-то спрашиваем о том, способно ли суждение «х не есть» обладать смыслом, внятным для мышления, а значит, и для познания, даже если допустить, что ни существование, ни тем более несуществование не являются объектами понятия. Вот в чем весь вопрос. И его не разрешить демонстрацией того, что отрицательное экзистенциальное суждение с необходимостью подразумевает понятие того самого предмета, чье существование отрицается. Мы спрашиваем: возможно ли мыслить Ничто, даже признав, что его нельзя мыслить в понятии? Если предположить, что да, возможно, то возможно лишь с помощью отрицательного экзистенциального суждения. Таким образом, экзистенциальное суждение необходимо оказывается ключом ко всей проблеме.
Трактаты по формальной логике определяют предложение (пропозицию) так, как это сделал Аристотель: предложение есть высказывание, утверждающее или отрицающее нечто о некоторой вещи. Мыслительный акт, из которого рождается предложение, сегодня называют суждением. Согласно интерпретации, предлагаемой классической логикой, всякое предложение состоит из двух членов: один обозначает то, относительно чего нечто утверждается или отрицается: он именуется субъектом; второй обозначает то, что утверждается или отрицается о первом, и называется предикатом. Помимо этих двух членов, необходимо допустить наличие некоторой связки, которая соединяет их друг с другом или в отношении которой отрицается, что ее следует мыслить как связующую субъект и предикат. Эта связка, именуемая копулой, не является термином предложения в собственном смысле, ибо не обозначает объект. Она представляет собой глагол, и, по признанию всех интерпретаторов классической логики, в этой роли всегда выступает глагол быть. Но установить, что именно он означает, чрезвычайно трудно.
В эпоху, когда грамматики еще философствовали о своем искусстве, они испытывали огромные затруднения перед этой частью высказывания, коннотативно указывающей на время и призванной обозначать не вещи, как это делают имена, но те неуловимые и ускользающие объекты, которые называются актами. Еще труднее для логика точно определить смысл глагола быть и его роль в предложении. В самом деле, в глаголе быть непосредственно усматриваются два разных смысла. В целом классе предложений он просто присоединяется к имени, взятом в качестве субъекта, и сопровождает его, не утверждая и не отрицая какой-либо предикат. Например: Париж есть; Троя больше не есть (Трои больше нет). Некогда такого рода предложения назывались предложениями de secundo adiacente (еще и сегодня это название порой употребляется), так как в них содержится лишь одно дополнение к термину, взятому в качестве субъекта, — глагол. Но существует и другой класс предложений, где глагол быть предстает в роли связки между двумя терминами — субъектом и предикатом. Например: Земля [есть] круглая. Некогда их называли предложениями de tertio adiacente (формулировка, навеянная словами Аристотеля[1078]), так как предикат здесь занимает третью позицию, после связки и субъекта. На первый взгляд, нет ничего проще такого разделения предложений на одночленные и двучленные. Но если задуматься, то здесь обнаружатся неразрешимые трудности.
Первое и отнюдь не маловажное затруднение касается смысла и самой возможности такого различения. В самом деле: оно предполагает, что различенные таким образом предложения образуют два вида одного и того же рода, в то время как исходное определение рода приложимо фактически лишь к одному из этих видов. Если предложение, как повторяют за Аристотелем, есть высказывание, утверждающее или отрицающее некоторую вещь о некоторой другой вещи, то оно с необходимостью состоит из двух терминов, каждый из которых обозначает одну из указанных вещей, плюс глагола-связки, утверждающей или отрицающей одну вещь применительно к другой. Коль скоро природа предложения такова, представляется невозможным разделить ее на два класса, или вида, из которых один содержал бы определенные таким образом предложения, а другой объединял бы высказывания совсем иной природы, где мы находим один термин, а затем глагол, играющий в других предложениях роль связки; но вовсе не обнаруживаем второго термина, который соединялся бы с первым посредством связки. Здесь перед нами не два вида одного рода, но (если, по крайней мере, согласиться с дефиницией рассматриваемого рода) два класса высказываний, которые никак не могут входить в один и тот же род. Нельзя определять предложение как атрибуцию предиката субъекту посредством связки — и одновременно помещать в разряд предложений высказывания, в которых имеется субъект и глагол, но нет ни предиката, ни связки. Либо нужно изменить классическое определение логического предложения, либо признать, что экзистенциальные высказывания, называемые de secundo adiacente, не являются предложениями.