Exam (elaborations)

COS2661 LANGUAGE, PROOF AND LOGIC JON BARWISE & JOHN ETCHEMENDY In collabora tion with Gerard Allwein Dave Barker-Plummer Albert Liu

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...

[Show more]

Preview 4 out of 598 pages

View example

Uploaded on September 5, 2022
Number of pages 598
Written in 2022/2023
Type Exam (elaborations)
Contains Questions & answers

cos2661 language
proof and logic jon barwise amp john etchemendy in collabora tion with gerard allwein dave barker plummer albert liu

Excellentstudyresources001 Member since 3 year 1037 documents sold

COS2661 LANGUAGE,
PROOF AND
LOGIC
JON BARWISE & JOHN ETCHEMENDY
In collabora
tion with
Gerard Allwein
Dave Barker-Plummer
Albert Liu

,LANGUAGE,
PROOF AND
LOGIC
JON BARWISE & JOHN ETCHEMENDY

In collaboration with
Gerard Allwein
Dave Barker-Plummer
Albert Liu
7

SEVEN BRIDGES PRESS
7

NEW YORK • LONDON

,Copyright © 1999
CSLI Publications
Center for the Study of Language and Information
Leland Stanford Junior University
03 02 01 00 99 54321

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 EFT, 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 this summary 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 this summary for R94,60. You're not tied to anything after your purchase.

Can Stuvia be trusted?

4.6 stars on Google & Trustpilot (+1000 reviews)

69052 documents were sold in the last 30 days

Founded in 2010, the go-to place to buy summaries for 15 years now

Start selling

Seller

Exam (elaborations) ·

Exam (elaborations)

COS2661 LANGUAGE, PROOF AND LOGIC JON BARWISE & JOHN ETCHEMENDY In collabora tion with Gerard Allwein Dave Barker-Plummer Albert Liu

Document information

Subjects

Written for