Both Plato and Aristotle conceived of logic as the study of argument and from a concern with correctness of argumentation. Aristotle produced six works on logic, known collectively as the Organon, the first of these, the Prior Analytics, being the first explicit work in formal logic.