Aristotelian Logic

Aristotelian Logic teaches techniques for solving semantic problems -- problems caused by confusion over terminology. It teaches the theory of definition -- the different kinds of definition and the criteria by which each is judged. It also teaches that definitions are like tools in that some are better suited for a particular task than others.

Several chapters are devoted to informal fallacies. A new classification is given for them, and the concept of proof is presented, without which some of the traditional informal fallacies cannot be explained adequately. Another chapter is devoted to division and classification, which occurs in all of the sciences.

Other topics covered include the square of opposition, immediate inferences, and the syllogistic and chain arguments.