Першим почав оперувати логічними поняттями й визначеннями, класифікував судження, один із засновників індуктивної логіки, застосував закон виключеного третього, використовував метод аналогії, досліджував гіпотезу, правильно поставив питання про предмет логіки як науки про мислення
Сократ (469-399 рр. до н.е.)
Створив метод продукування знання, використовуючи такі засоби дослідження як індукція та дефініція
Платон
(427–347 рр. до н.е.)
Розробляв питання щодо визначення понять, співвідношення змісту й обсягу, роду та виду, знав прийом дихотомічного поділу обсягу поняття, розвивав теорію дедукції та доведення
Арістотель
(384–322 рр. до н.е.)
“Аналітики перша і друга”,
“Топіка”, “Категорії”,
“Про тлумачення”,
“Спростування
софістичних умовиводів”
Створив формальну логіку як окрему філософську науку. Розробляв вчення про судження, ділення суджень за модальністю, створив теорію модальних силогізмів, сформулював три закони формальної логіки