V Пример. Первая форма означает утверждение о наличии свойства у имени с одним элементом в объёме (единичное имя)

Первая форма означает утверждение о наличии свойства у имени с одним элементом в объёме (единичное имя), например, «Автор «Категорий» является представителем периода расцвета античной философии», а вторая — утверждение об отсутствии свойства у имени с одним элементом в объёме, например, «Озеро Байкал не является высокогорным». В третьей и четвёртой формах происходит, соответственно, утверждение и отрицание наличия свойства у всех элементов, входящих в объём общего имени, например, «Всякий религиозный человек верит в бога» и «Ни один атеист не верит в бога». Суждения пятой и шестой форм несут информацию о том, что конкретное свойство присутствует или отсутствует хотя бы у некоторых элементов класса.

Следует обратить внимание на то, что перечисленные формы могут иметь место и в том случае, если предикат суждения является не только единичным или общим, но и пустым именем, а также универсумом (универсальным именем), что как раз и допускается аристотелевской силлогистикой. На смену последней пришла силлогистика традиционная, требующая, чтобы термины категорических атрибутивных высказываний при их интерпретации на некотором универсуме были знаками таких имён, которые не являются пустыми и универсальными. Представленные выше 1-я и 2-я формы категорических атрибутивных суждений принято сводить к формам: 1). Общеутвердительной, обозначаемой латинской заглавной или прописной «а» (от первой гласной в латинском слове affirmo — утверждаю), поскольку единично-утвердительное высказывание трактуется как утверждение о наличии свойства у «всех» элементов объёма P, которых ровно один. 2). Общеотрицательной, обозначаемой латинской заглавной или прописной «e» (от первой гласной в латинском слове nego — отрицаю), поскольку единично-отрицательное высказывание трактуется как отрицание наличия свойства у «всех» элементов объёма P, которых ровно один. В свою очередь, частноутвердительное категорическое атрибутивное суждение получило обозначение «i» (от второй гласной в слове affirmo), а частноотрицательное— «о» (от второй гласной в слове nego). С применением введённой символики данные формы могут быть записаны как силлогистические формулы: 1). SaP — общеутвердительное.2). SiP— частноутвердительное. 3). SeP — общеотрицательное. 4). SoP — частноотрицательное.