Abstract

The ANALYTICS package of computer-assisted instruction programs for IBM or Apple micro-computers presently consists of the following three programs: SYMBOL, which generates symbolization exercises (with answers) in sentential logic; TRUTH, which generates exercises (and guidance) in the truth-functional analysis of sentential connectives; and ARGUE, which provides guidance in formal derivations and the reconstruction of English arguments in valid deductive form. Each of these programs provides guided practice with tools and techniques of formal logic that are essential not only to learning the apparatus of elementary symbolic logic but also to understanding the formal dimensions of argument reconstruction and analysis. The Appendix of this manual provides a conceptual framework for understanding the curricula of the programs and the applications of what they help teach