This introduction to the basic forms of deductive inference as evaluated by methods of modern symbolic logic is designed for sophomore-junior-level students ready to specialize in the study of deductive logic. It can be used also for an introductory logic course. The independence of many sections allows the instructor utmost flexibility.The text consists of eight chapters, the first six of which are designed to introduce the student to basic topics of sentence and predicate logic. The last two chapters extend the procedures of the first six to alethic modal logic, the logic of imperatives, and deontic logic. Throughout the text there is an attempt to relate symbolic techniques to issues in the philosophy of logic."