Логика как особая наука берет свое начало в исследованиях Аристотеля, великого философа древности.
«Аналитики» Аристотеля являются основным и лучшим из его произведений по логике, объединенных под общим названием «Органон». В «Первой аналитике» Аристотель излагает главным образом учение о силлогизме, во «Второй аналитике», важной для изучения взглядов Аристотеля на логику, содержится его теория доказательства.