Аристотель(Ар.) вперше виділив логіку в самостійну науку. Логіку він назвав аналітикою і дав загальний аналіз відкритого ним поняття силогізму як особливої форми умовиводу. Аристотель розкрив також сутність доведення, прийомів доведення і поділу, визначив різницю між науковим і ненауковим знанням, виклав 3 основні закони ФЛ: закон тотожності, закон несуперечності, закон виключення третього. Логічні твори Аристотеля: «Аналітики I i II», «Топіка», «Категорії» і т.д. Ар. У своїх творах основну увагу звертав на дослідження силогізму.