Scribd
Upload
161 views2 pages

About PDF

Uploaded by

AmirLj
Copyright
© © All Rights Reserved
We take content rights seriously. If you suspect this is your content, claim it here.
Available Formats
Download as PDF, TXT or read online on Scribd
161 views2 pages

About PDF

Uploaded by

AmirLj
Copyright
© © All Rights Reserved
We take content rights seriously. If you suspect this is your content, claim it here.
Available Formats
Download as PDF, TXT or read online on Scribd
You are on page 1/ 2

LOGIC 2010: A Workbook

============================================================

Logic 2010: A Workbook, © David Kaplan, is a product of the UCLA Logic Software
Project in association with the Center for Digital Humanities. The Logic Software
Project was founded by David Kaplan and Robert Martin.

Current Author ..... David Kaplan Principal Programming: Logic 2010


[email protected] Skef Iterum Rob Johnson
Co-Manager ......... Steven Levy [email protected] [email protected]
[email protected] Principal Programming: Logic 2000
Rob Johnson

The program provides exercises -- and automated correction -- for elementary


symbolic logic. The system of derivation is in the style of the textbook:

LOGIC: Techniques of Formal Reasoning, Second Edition


by Kalish, Montague and Mar
Published by Harcourt Brace Jovanovich, 1980
[Henceforth, KM&M]

However, the program diverges from this textbook in a several respects. The online
textbook:

An Introduction to Symbolic Logic


by Terrence Parsons
[Henceforth, The TerryText]

is more closely keyed to the program and is currently available to users of the
program without charge.

The program itself is not, and does not aim to be, a self-contained instruction
package. It is for this reason that we term it a "workbook". It supplements study of
a text by providing a large number of new exercises and making use of the
computer's facility for immediate evaluation.

Different modules allow the student to pursue work on different kinds of exercises
including Parsing, Symbolization, Derivation, Truth Tables, and Invalidity (in finite
models).

Work done within the program is corrected by the program. Erroneous steps are
indicated, and explanations of the error are provided. Students may correct their
work, and recheck it before submitting it.

About.doc Rev 9/20/10 6:05:00 PM p 1


Student work is submitted over the Internet to the LOGIC 2010 database where it is
correlated with ASSIGNMENTS constructed by the instructor. The database
provides reports, organized by assignment, to each student regarding his or her
own work, and to instructors regarding the work submitted by all students.
Students can access assignments and reports on their own work through the
program.

It is also possible to submit work by printing a hard copy.

Several EXAM MODES are provided in which corrections and error messages are
partially or totally disabled.

The program runs on the Windows, MAC, and Linux operating systems. It requires
Java SE 6 or higher and a PDF reader.

About.doc Rev 9/20/10 6:05:00 PM p 2

You might also like