Да, всю логику можно условно поделить на учения Аристотеля, Лейбница, Джорджа Буля и Лотфи Заде. 19

Учение Аристотеля известно как силлогистическая логика, оно направлено на создание метода обоснованных рассуждений. 4 Аристотель разработал систему, основанную на дедуктивном рассуждении, и сформулировал базовые логические законы. 47

Логика Лейбница закономерно вытекает из его философии. 5 Философ исходит из божественного попечительства над миром, из чего следует универсальная, неразрывная связь всего со всем. 5 Лейбниц утверждал фундаментальный принцип непрерывности и принцип тождественности неразличимых вещей, который в логике трактовал как запрет на противоречия (закон непротиворечия). 510

Джордж Буль — английский математик и логик, один из основателей математической логики. 6 Он не считал логику разделом математики, но находил глубокую аналогию между символическим методом алгебры и символическим методом представления логических форм и силлогизмов. 26

Лотфи Заде — американский математик и логик, автор термина «нечёткая логика» и один из основателей теории нечётких множеств. 8 Предложенная им «нечёткая логика» была попыткой связать математику с интуитивным способом коммуникации, к которому люди обращаются, руководствуются в общении и взаимодействуют с миром. 8