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 ﬁles, 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 ﬁles thus completed to an Internet-based
grading service called the Grade Grinder. The Grade Grinder receives the ﬁles sent by Submit, and then returns an assessment of
those ﬁles 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 ﬁles.) 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 ﬁgure 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
Consult the ReadMe ﬁle 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.
- Winter '14