Силлогистическая теория, в которой рассматриваются атрибутивные высказывания не только с общими и позитивными, но и с негативными и единичными терминами, и при этом, (1) единичные термины могут быть только субъектами атрибутивных высказываний, (2) единичные атрибутивные высказывания рассматриваются как отдельные виды высказываний, что при формализации передается введением в формальный язык отдельных редикаторов для них, и (3) негативные термины могут образовываться только из общих.
Примеры негативных сингулярных силлогистик аристотелевского типа:
CA – негативное сингулярное расширение аристотелевского типа аристотелевско-оккамовской силлогистики C2;
CA+ – негативное сингулярное расширение аристотелевского типа аристотелевско-оккамовской силлогистики C2;
NC2sa – негативное сингулярное расширение аристотелевского типа аристотелевско-оккамовской силлогистики C2;
NFCsa – негативное сингулярное расширение аристотелевского типа фундаментальной силлогистики FC.