Deductive Logic: An Introduction to Evaluation Techniques and Logical Theory

This introduction to the basic forms of deductive inference as evaluated by methods of modern symbolic logic is de­signed for sophomore-junior-level stu­dents ready to specialize in the study of deductive logic. It can be used also for an introductory logic course. The inde­pendence of many sections allows the instructor utmost flexibility.

The text consists of eight chapters, the first six of which are designed to intro­duce the student to basic topics of sen­tence 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.

D. S. Clarke, Jr., is Professor of Philosophy at Southern Illinois University at Carbondale. Among his most recent works are Principles of Semiotic and Rational Acceptance and Purpose.