Аристотеля считают основоположником логики. В определении Аристотеля логика представляет собой науку о выводе одних умозаключений из других сообразно их логической форме. В соответствии с этим логику Аристотеля называют формальной. В своих трудах Аристотель впервые обосновал один из важнейших разделов логики – учение о суждениях и силлогизмах. В своих трактатах Аристотель обстоятельно исследовал терминологию логики, подробно разобрал теорию умозаключений и доказательств, описал ряд логических операций, сформулировал основные законы мышления, в том числе законы противоречия и исключения третьего. Еще сам Аристотель заметил, что между созданной им наукой и математикой (тогда она именовалась арифметикой) много общего. Он пытался соединить эти две науки, а именно свести размышление, вернее, умозаключение, к вычислению на основании исходных положений. В одном из своих трактатов Аристотель вплотную приблизился к одному из разделов математической логики - теории доказательств.
Логическое учение Аристотеля последовательно рассматривает отдельное имя (Категории), суждение как связь имен (Герменевтика), доказательство как особая связь суждений (Аналитики – научная силлогистика, Софистические опровержения – диалектическая силлогистика). В первом трактате корпуса Аристотель определяет десять основных категорий (предикатов), с помощью которых происходит описание и выяснение смысла предмета: сущность, количество, качество, место, время, отношение, состояние, обладание, действие, страдание. Аристотель вошел в историю как создатель научной силлогистической логики. Доказательство – силлогизм – есть специфический метод науки, в отличие от опыта и искусства, основанных преимущественно на наблюдении. Те первоначала, из которых исходит силлогизм, сами недоказуемы и могут быть даны только в непосредственном умосозерцании или из опыта путем индуктивного обобщения.
Знание связано со знанием первопричин вещи. Аристотелевское противопоставление - «первое для нас» и «первое по природе» - связано с противопоставлением вещей, более понятных и очевидных «нам» как познающим субъектам – а таковы вещи единичные, воспринимаемые чувствами, сложные по своему составу – и вещей, менее понятных для нас, но более близких к фундаментальным основам бытия, «первым по природе». По Аристотелю, таково простое, общее, постигаемое разумом, а не чувствами. Таковы начала и причины.