Aristotle's "Analysts" are the main and best of his works on logic. In the "First Analytics" Aristotle sets forth mainly the doctrine of syllogism, in the "Second Analytics," important for studying Aristotle's views on logic, his theory of proof is contained.