Силлогистические теории

Монография является итогом многолетних исследований силлогистических теорий с точки зрения символической логики. Дается детальная классификация систем силлогистики в зависимости от выразительных возможностей их языков и принимаемых в них условий истинности категорических высказываний. Осуществляется формальная реконструкция ряда имеющихся в истории логики силлогистик — силлогистик Аристотеля, Л. Кэрролла, Б. Больцано, Дж. Венна, Н.А. Васильева, а также традиционной и фундаментальной силлогистики. Устанавливаются метатеоретические взаимосвязи между различными системами силлогистики, а также между силлогистиками и современными логическими теориями. Для нескольких систем силлогистики предлагаются адекватные интенсиональные семантики. Впервые ставится и исследуется проблема полноты множества логических констант в силлогистической теории.