Силлогистика — учение о силло­гистическом умозаключении, истори­чески первая, сформулированная еще Аристотелем, логическая систе­ма дедукции. Осн. задача С. — выяс­нить общие условия, когда из сужде­ний, содержащих утверждение о присущности или неприсущности предиката субъекту и выступающих в качестве посылок вывода, с необ­ходимостью следует определенное заключение, а когда не следует. Вся­кий силлогизм состоит из трех су­ждений: двух посылок и заключе­ния. Суждения, содержащие термин, не входящий в заключение (его наз. средним термином), составляют по­сылки силлогизма. В зависимости от положения среднего термина в по­сылках все силлогизмы делятся на четыре фигуры, в к-рых в зависи­мости от вида логических констант («присуще всем», «не присуще ни одному», «присуще некоторым», «не присуще некоторым»), связываю­щих термины, выделяются модусы (Фигуры и модусы силлогизма). На­ряду с ассерторической С. еще Ари­стотелем были заложены основы мо­дальной С. (Модальность), логиче­скими константами к-рой выступают связи о действительно, необходимо, возможно и случайно присущем пли неприсущем. С точки зрения совр. формальной логики ассерторическая С. представляет собой сравнительно узкую теорию дедукции. Использо­ванием средств и методов математи­ческой логики достигается система­тическое построение С. как фор­мально-логической системы. Осуще­ствляется ее строгая аксиоматиза­ция, доказываются непротиворечи­вость, полнота и разрешимость этой системы.