Маркин* ФОРМАЛЬНЫЕ РЕКОНСТРУКЦИИ СИЛЛОГИСТИКИ ВЕННА В статье осуществляются две различные формализации силлогистики Джона Венна с пятью нестандартными исходными силлогистическими константами. <...> Первая из них, основанная на диаграммной семантике атрибутивных высказываний, оказывается рекурсивно эквивалентной силлогистике Лукасевича (современному варианту традиционной позитивной силлогистики). <...> Другая, базирующаяся на алгебраической интерпретации атрибутивных высказываний, рекурсивно эквивалентна фундаментальной силлогистике (системе Шефердсона). <...> Установлено, что в обоих силлогистических исчислениях доказуемы одни и те же силлогизмы и правила обращения, которые имеют место в силлогистике Венна. <...> Formal reconstructions of Venn’s syllogistic We implement two different formalizations of John Venn’s syllogistic with five non-standard initial syllogistic constants. <...> The first formalization based on the diagram semantics of attributive propositions is recursively equivalent to Łukasiewicz’s syllogistic. <...> The second one based on algebraic interpretation of attributive propositions is recursively equivalent to “fundamental” syllogistic (J.C. <...> We demonstrate that the same syllogisms and conversion rules of Venn’s syllogistic are provable in both syllogistic calculi. <...> Многие предшественники и основоположники современной символической логики не обходили своим вниманием и силлогистику — созданную гением Аристотеля исторически первую дедуктивную логическую теорию. <...> Брентано была создана так называемая «фундаментальная» силлогистика, выражавшая взгляд новой логики на смыслы силлогистических констант «все… есть», «некоторые… есть» и др. и допускавшая неограниченное оперирование пустыми терминами. <...> 939-18-46; e-mail: markin@philos.msu.ru 63 строения силлогистики, с одной стороны, на базе арифметической интерпретации атрибутивных высказываний, с другой — на основе интенсиональной трактовки их субъектов и предикатов, когда указанные термины репрезентируют не объемы понятий (множества предметов), а содержания понятий (совокупности признаков). <...> Больцано, предложив семантический постулат, гласящий, что любое атрибутивное суждение с пустым субъектом ложно <...>