Abstract

Logic is the systematic study of patterns of correct inference. The first treatise on logic is Aristotle's Prior Analytics , written around 350 B.C. and there are remarkable similarities between the way he presented his theory of valid arguments and the way it is still taught today. He analyzes the form of various inferences and then illustrates them with concrete examples. He begins with very simple cases.