The ANALYTICS package of computer-assisted instruction programs for the Apple II Plus 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. This manual attempts to provide a conceptual framework for understanding the curricula of the programs and the applications of what they help teach. ANALYTICS// provides instructions for running the SYMBOL and TRUTH programs, with illustrative interactions. ANALYTICS/// does the same for the ARGUE program
Keywords No keywords specified (fix it)
Categories (categorize this paper)
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 54,410
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

No references found.

Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles

Ethics Programs and Their Dimensions.Steven N. Brenner - 1992 - Journal of Business Ethics 11 (5-6):391-399.
Toward Computer-Aided Induction: A Brief Review of Currently Implemented Aqval Programs.Ryszard Stanisław Michalski - 1977 - Dept. Of Computer Science, University of Illinois at Urbana-Champaign.
Fallacies and Formal Logic in Aristotle.David Hitchcock - 2000 - History and Philosophy of Logic 21 (3):207-221.


Added to PP index

Total views
6 ( #1,050,615 of 2,368,001 )

Recent downloads (6 months)
1 ( #556,092 of 2,368,001 )

How can I increase my downloads?


My notes