COS2661 LANGUAGE, PROOF AND LOGIC JON BARWISE & JOHN ETCHEMENDY In collabora tion with Gerard Allwein Dave Barker-Plummer Albert Liu
5 views 0 purchase
Course
COS2661 - Formal Logic II
Institution
University Of South Africa
iv / Acknowledgements
their financialsupport ofthe project.Finally, we are gratefulto our two
publishers, Dikran Karagueuzian of CSLI Publications and Clay Glad of Seven
Bridges Press, for their skill and enthusiasm about LPL.
Acknowledgements
Contents
Acknowledgements iii
Introduction 1
Th...
Library of Congress Cataloging-in-Publication Data
Barwise, Jon.
Language, proof and logic / Jon Barwise and John Etchemendy ;
in collaboration with Gerard Allwein, Dave Barker-Plummer, and
Albert Liu.
p. cm.
ISBN 1-889119-08-3 (pbk. : alk. paper)
I. Etchemendy, John, 1952- II. Allwein, Gerard, 1956-
III. Barker-Plummer, Dave. IV. Liu, Albert, 1966- V. Title.
IN PROCESS
99-41113
CIP
, Acknowledgements
Our primary debt ofgratitude goes to our three main collaborators on this
project:Gerry Allwein,Dave Barker-Plummer, and Albert Liu. They have
worked with us in designing the entire package, developing and implementing
the software, and teaching from and refining the text.
Without their intelli-
gence, dedication,and hard work,LPL would neither exist nor have most of
its other good properties.
In addition to the five of us, many people have contributed directly and in-
directly to the creation of the package. First, over two dozen programmers have
worked on predecessors of the software included with the package, both earlier
versions of Tarski’s World and the program Hyperproof, some of whose code
has been incorporated into Fitch. We want especially to mention Christopher
Fuselier, Mark Greaves, Mike Lenz, Eric Ly, and Rick Wong, whose outstand-
ing contributions to the earlier programs provided the foundation of the new
software. Second, we thank several people who have helped with the develop-
ment of the new software in essential ways: Rick Sanders, Rachel Farber, Jon
RussellBarwise,Alex Lau, Brad Dolin,Thomas Robertson, Larry Lemmon,
and Daniel Chai. Their contributions have improved the package in a host of
ways.
Prerelease versions LPL
of have been tested at several colleges and uni-
versities. In addition, other colleagues have provided excellent advice that we
have tried to incorporate into the final package. We thank Selmer Bringsjord,
Renssalaer Polytechnic Institute; Tom Burke,University ofSouth Carolina;
Robin Cooper, Gothenburg University; James Derden, Humboldt State Uni-
versity; Josh Dever, SUNY Albany; Avrom Faderman, University of Rochester;
James Garson,University of Houston; Ted Hodgson, Montana State Univer-
sity; John Justice, Randolph-Macon Women’s College; Ralph Kennedy, Wake
Forest University; Michael O’Rourke, University of Idaho; Greg Ray, Univer-
sity of Florida; Cindy Stern, California State University, Northridge; Richard
Tieszen, San Jose State University; Saul Traiger, Occidental College; and Lyle
Zynda, Indiana University at South Bend. We are particularly grateful to John
Justice,Ralph Kennedy, and their students (as well as the students at Stan-
ford and Indiana University), for their patience with early versions the
of
software and for their extensive comments and suggestions.
We would also like to thank Stanford’s Center for the Study of Language
and Information and Indiana University’s CollegeArts of and Sciences for
iii
The benefits of buying summaries with Stuvia:
Guaranteed quality through customer reviews
Stuvia customers have reviewed more than 700,000 summaries. This how you know that you are buying the best documents.
Quick and easy check-out
You can quickly pay through credit card or Stuvia-credit for the summaries. There is no membership needed.
Focus on what matters
Your fellow students write the study notes themselves, which is why the documents are always reliable and up-to-date. This ensures you quickly get to the core!
Frequently asked questions
What do I get when I buy this document?
You get a PDF, available immediately after your purchase. The purchased document is accessible anytime, anywhere and indefinitely through your profile.
Satisfaction guarantee: how does it work?
Our satisfaction guarantee ensures that you always find a study document that suits you well. You fill out a form, and our customer service team takes care of the rest.
Who am I buying these notes from?
Stuvia is a marketplace, so you are not buying this document from us, but from seller Excellentstudyresources001. Stuvia facilitates payment to the seller.
Will I be stuck with a subscription?
No, you only buy these notes for $5.00. You're not tied to anything after your purchase.
