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


К СПИСКУ СЛОВ В НАЧАЛО СЛОВАРЯ

НА ГЛАВНУЮ