Первое и отнюдь не маловажное затруднение касается смысла и самой возможности такого различения. В самом деле: оно предполагает, что различенные таким образом предложения образуют два вида одного и того же рода, в то время как исходное определение рода приложимо фактически лишь к одному из этих видов. Если предложение, как повторяют за Аристотелем, есть высказывание, утверждающее или отрицающее некоторую вещь о некоторой другой вещи, то оно с необходимостью состоит из двух терминов, каждый из которых обозначает одну из указанных вещей, плюс глагола-связки, утверждающей или отрицающей одну вещь применительно к другой. Коль скоро природа предложения такова, представляется невозможным разделить ее на два класса, или вида, из которых один содержал бы определенные таким образом предложения, а другой объединял бы высказывания совсем иной природы, где мы находим один термин, а затем глагол, играющий в других предложениях роль связки; но вовсе не обнаруживаем второго термина, который соединялся бы с первым посредством связки. Здесь перед нами не два вида одного рода, но (если, по крайней мере, согласиться с дефиницией рассматриваемого рода) два класса высказываний, которые никак не могут входить в один и тот же род. Нельзя определять предложение как атрибуцию предиката субъекту посредством связки — и одновременно помещать в разряд предложений высказывания, в которых имеется субъект и глагол, но нет ни предиката, ни связки. Либо нужно изменить классическое определение логического предложения, либо признать, что экзистенциальные высказывания, называемые
Более или менее смутное ощущение данного затруднения выразилось в целом ряде попыток подогнать высказывания этого типа под канон нормального предложения, т. е. в попытках спасти классическое определение предложения. Первый способ достигнуть этого — показать, что в действительности они тоже состоят из субъекта, связки и предиката, хотя и представляют собой сокращенный вариант нормального предложения. Такая редукция кажется тем более законной, что в самом деле существует хорошо известный класс ложных предложений