Аристотелю приписывают самое раннее исследование формальной логики, и его концепция была доминирующей формой западной логики до достижений математической логики XIX века. Кант заявил в «Критике чистого разума», что теория логики Аристотеля полностью объясняет суть дедуктивного вывода.
Аристотель - отец логики.