Силлогистика (Кузнецов, 2007)
СИЛЛОГИСТИКА (от греч. σιλλογισtικόσ - рассчитываю, считаю) — кванторная теория дедуктивных рассуждений, в которой исследуются логические связи между атрибутивными высказываниями, т.е. высказываниями, в которых утверждается или отрицается наличие у предметов некоторого атрибута (от лат. attributum — свойство). Впервые силлогистика была построена древнегреческим философом Аристотелем и явилась не только самой первой логической теорией, но и одной из первых известных в истории науки теорий вообще.