These four applications are designed to be used with

Info iconThis preview shows page 1. Sign up to view the full content.

View Full Document Right Arrow Icon
This is the end of the preview. Sign up to access the rest of the document.

Unformatted text preview: signed to be used with the textbook Language, Proof and Logic, and are contained on the cd-rom that comes packaged with the text. We refer to these applications collectively as “the LPL software”. This manual simply tells you how to use the software, not about the logical concepts behind the software. For that you need to read, and complete exercises from, the text. This manual assumes that you know the basics about using your computer, things like plugging it in, starting applications, opening and saving files, using menus, basic editing, muttering quietly when things go wrong, and quitting. If you don’t, you should ask a friend, consultant, your instructor or a younger sibling to get you started. We will focus on what is special about the packaged applications. Tarski’s World, Fitch, and Boole are used for completing exercises interspersed through the text. Submit, by contrast, is used for submitting the exercise files thus completed to an Internet-based grading service called the Grade Grinder. The Grade Grinder receives the files sent by Submit, and then returns an assessment of those files to you (and to your instructor, if you so choose). To submit exercises, you will need the unique Book ID that comes with the package and your computer must be able to access the Internet. (If you can browse the Web from your computer, then you will also be able to submit files.) 1 2 / LPL Software Manual This manual should be used as a reference when you are working through the textbook. When you start using one of the applications, you should read through enough of the corresponding chapter of the manual to get started. Then, if you have trouble with some feature, or can’t figure out how to do something, you should try to look it up in the manual. 1.1 System requirements All four of the applications run on ◦ Macintosh computers running Mac OS 10.5 or later, ◦ computers equipped with Microsoft Windows XP, Windows Vista, or Windows 7, and, ◦ the Ubuntu, SUSE and Fedora Linux systems.1 All of the applications are written using Java, and so require that your computer have the appropriate Java software installed on it. All the required software, including the necessary Java software, is included on the cd-rom, though it may require installation. ◦ Windows (all versions) Java is installed with the Language, Proof and Logic software. ◦ Linux (all versions) Java is installed with the Language, Proof and Logic software. ◦ Macintosh (Mac OS X) Java is part of the Mac OS X operating system. For best results you should ensure that any updates to the operating system are installed. You can do this by using Apple’s Software Update application which is pre-installed. Consult the ReadMe file on the cd-rom if you have problems getting the applications to run. 1 Older versions of our software have, and current software may still, run on: Windows NT/98/ME/2000, MacOS 8.5-8.6, MacOS 9.x, 10.1–10.3 and the Classic environment on Mac OS X but we no longer supp...
View Full Document

This document was uploaded on 01/26/2014.

Ask a homework question - tutors are online