Составные высказывания силлогизма

как Аристотель определяет силлогизм

О силлогизмах было сказано уже достаточно много, но мы еще не сообщили о том, как Аристотель определяет термин «силлогизм». Силлогизм, говорит он,— это высказывание, в котором при утверждении чего-либо необходимо вытекает из него нечто отличное от утвержденного и в силу того, что это есть. Трудно дать вполне точный перевод текста оригинала. Но это не столь уж важно, поскольку это определение не играет роли в построении системы силлогистики. При этом оно явно слишком широкое, ибо не говорит ни о числе посылок и терминов, ни о распределении терминов.

Среди составных высказываний силлогизма Аристотель различает высказывания о том, что присуще, или о том, что необходимо присуще, или о том, что возможно присуще. Таким образом, различение высказываний, в которых сказуемое выражено через имя, по модальности, или способу бытия, принадлежит Аристотелю, хотя соответствующие названия — «ассерторические», «аподиктические», «проблематические» высказывания — мы находим л ишь в «Критике чистого разума» Канта. В целях краткости выражения мы будем пользоваться здесь этими техническими терминами, получившими ныне повсеместное распространение. В начале своей «Первой аналитики» Аристотель развивает силлогистику только ассерторических высказываний, рассматривая виды силлогизмов, в которых как посылки, так и вывод являются ассерторическими высказываниями. Согласуется ли такая характеристика рассматриваемых в этом произведении силлогизмов с приведенным выше общим определением силлогизма и с тем, что при выражении любого силлогизма, даже обычного модуса Barbara, выводу предшествует слово «необходимо», заменяемое в польском языке через «musi» в замещающих выражениях?Несогласованности здесь нет, поскольку это слово «должно», употребляемое в выводе, является только заменителем слова «необходимо», не входящего в состав вывода, но лишь указывающего, что он логически следует из посылок, и играющего как бы роль общего квантификатора, который бы говорил о том, что построенный таким образом вывод имплицируется построенными таким образом посылками при любых подстановках общих имен на место именных переменных.