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