Можно сказать, что форма предложения является объектом грамматики, поскольку она получает характеристику через описание состава языковых средств, выражающих структурную законченность мысли. Она является и объектом логики, поскольку характеризуется через описание элементов строения мысли, получающих актуальное существование и определенность через выражение их средствами языка.

Может быть, этим объясняется то обстоятельство, что в логике для обозначения того, что мы описали как суждение, пользуются как термином «суждение» (judicium), так и термином «предложение» (propositio), причем традиция термина «предложение» более стара, особенно если принять во внимание терминологию Аристотеля, называвшего всякое выражение законченной мысли речью, а выражение суждения «высказыванием». Вторая традиция оказывалась в истории логики более устойчивой, ибо термин «суждение» часто привносил психологический аспект в проблемы логики, термин же «предложение» заставлял ограничиваться объективно данной смысловой стороной речи.

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