(от греч. syllogistikos - выводящий умозаключение)исторически первое, созданное Аристотелем учение о логической дедукции, в котором рассматриваются рассуждения в форме силлогизмов.