Четыре отношения между классами, обозначаемыми терминами «дворник» и «бедняк», характеризуют четыре категорических суждения (в каждом из которых субъект представлен термином «дворник») и схематично могут быть выражены следующим образом:
Круг с буквой «S» означает класс «дворники» (субъект), а круг с буквой «Р» означает класс «бедняки» (предикат).
Иногда удобно пользоваться другим методом, выражающим структуру категорических суждений. Его разработал английский логик Джон Венн. Сначала мы усматриваем то, что каждое суждение неявно указывает на некоторый контекст, в рамках которого оно является значимым. Так, суждение «Гамлет убил Полония» указывает на пьесу Шекспира. Назовем область указания предметной областью (универсумом рассуждения) и представим его на схеме в виде прямоугольника. Читатель может видеть, что два класса, вместе с их отрицаниями, образуют лишь четыре комбинации. (Под термином «отрицание класса» понимается что угодно в предметной области, не входящее в данный класс.) Например, в предметной области, состоящей только из людей, существуют объекты, являющиеся и дворниками, и бедняками (символически выраженные как SP), или которые являются дворниками, но не бедняками (
Поэтому изобразим два пересекающихся круга внутри прямоугольника. Мы автоматически получим четыре различных сектора, по одному на каждую из указанных логических возможностей. Поскольку в суждении типа А утверждается, что все дворники включены в класс бедняков, класс дворников, не являющихся бедняками, не может содержать никаких членов. Чтобы проявить это на схеме, договоримся заштриховывать соответствующий сектор. Таким образом, на схеме для суждения типа А будет показано, что сектор
В случае с суждением типа I процедура его выражения – несколько иная. Если мы зададимся вопросом о том, что, собственно, утверждается в суждении «некоторые дворники – бедняки», то обнаружим, что в нем не утверждается, что существуют индивиды, являющиеся дворниками, но не бедняками (здесь читатель может вспомнить, что нами было сказано выше относительно