Силлогистика
СИЛЛОГИСТИКА (от греч. συλλογίζομαι – рассчитываю, считаю) – кванторная теория дедуктивных умозаключений, в которой исследуются логические связи между атрибутивными высказываниями, т.е. высказываниями, в которых утверждается или отрицается наличие у предметов некоторого атрибута. Первый пример силлогистики был построен Аристотелем (384–322 годы до н. э.). Его система явилась не только первой логической теорией, но и одной из первых известных в истории науки теорий вообще.