Аннотация:В статье осуществляются две различные формализации силлогистики Джона Венна с пятью нестандартными исходными силлогистическими константами. Первая из них, основанная на диаграммной семантике атрибутивных высказываний, оказывается рекурсивно эквивалентной силлогистике Лукасевича (современному варианту традиционной позитивной силлогистики). Другая, базирующаяся на алгебраической интерпретации атрибутивных высказываний, рекурсивно эквивалентна фундаментальной силлогистике (системе Шефердсона). Установлено, что в обоих силлогистических исчислениях доказуемы одни и те же силлогизмы и правила обращения, которые имеют место в силлогистике Венна.